Журнал СФУ. Математика и физика / Мультиагентная временная логика с операциями статистического знания агентов

Полный текст (.pdf)
Номер
Журнал СФУ. Математика и физика. 2022 15 (1)
Авторы
Рыбаков, Владимир В.
Контактная информация
Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерация
Ключевые слова
temporal logic; multi-agency; non-classical logics; information; knowledge representation; deciding algorithms; decidability; computability; временная логика; мультиагентность; неклассические логики; информация; представление знаний; разрешающие алгоритмы; разрешимость; выполнимость
Аннотация

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

Страницы
114–124
DOI
10.17516/1997-1397-2022-15-1-114-124
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/144955