Сибирский федеральный университет 
- Номер
- Журнал СФУ. Математика и физика. 2024 17 (5)
- Авторы
- Кияткин, Владимир Р.; Рыбаков, Владимир В.
- Контактная информация
- Кияткин, Владимир Р. : Сибирский федеральный университет Красноярск, Российская Федерация; Рыбаков, Владимир В. : Сибирский федеральный университет Красноярск, Российская Федерация
- Ключевые слова
- modal logic; temporal logic; common knowledge; deciding algorithms; multi-agent logic; модальные логики; модели Крипке; многоагентные логики; роблема разрешимости
- Аннотация
В предлагаемой статье мы изучаем нетранзитивную временную многоагентную логику с мультиозначиванием агентов и реляционные модели, представляющие надёжные состояния. Эти логики определяются семантически, как множества формул, истинных на линейных моделях с мультиозначиванием. В работе мы предложили основу для такого подхода и разработали технику для вычисления истинностных значений формул. Основной результат касается проблемы разрешимости. Доказано, что рассматриваемая логика разрешима
- Страницы
- 679–683
- EDN
- WYJIOS
- Статья в архиве электронных ресурсов СФУ
- https://elib.sfu-kras.ru/handle/2311/153264
Журнал СФУ. Математика и физика / Интервальная многоагентная логика с оператором надёжности
Полный текст (.pdf)