На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

В Национальном исследовательском университете «Московский энергетический институт» совместно с Белорусским государственным университетом информатики и радиоэлектроники (БГУИР) рассмотрена проблема разработки и реализации прототипа решателя расширенных шаговых теорий в случае, когда решения по управлению сложным техническим объектом принимаются в условиях жестких временных ограничений.

29.06.2022

При моделировании рассуждений, связанных с обработкой временных зависимостей, в частности, в многоагентных системах, важным является понятие когнитивного агента. Подходы к организации логических рассуждений агента, происходящих во времени, рассматривались в работах других авторов. Они представляют собой рассуждения о времени, то есть внесение в правила вывода темпоральных литералов и правил их обработки. В данной работе рассматривается другой подход к рассуждениям когнитивного агента – рассуждения во времени, предполагающий соотнесение результатов логического вывода агента с моментами времени, в которые они были получены.

Подробное описание дается в статье «Разработка прототипа решателя для расширенных шаговых теорий логики высказываний», авторы Фоминых И.Б., Алексеев Н.П., Гулякина Н.А., Кравченко К.С., Фомина М.В. (Национальный исследовательский университет «Московский энергетический институт», г. Москва, а также Белорусский государственный университет информатики и радиоэлектроники (БГУИР), г. Минск).