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