Сибирский федеральный университет 
- Номер
- Журнал СФУ. Математика и физика. 2022 15 (1)
- Авторы
- Кияткин, Владимир Р.; Кошелева, Анна В.
- Контактная информация
- Кияткин, Владимир Р.: Сибирский федеральный университет Красноярск, Российская Федерация; Кошелева, Анна В.: Сибирский федеральный университет Красноярск, Российская Федерация
- Ключевые слова
- temporal logic; multi-agent logic; epistemic modal logic; multi-valueted logic; satisfiability; decidability in logic; knowledge representation and reasoning; multi-agent systems; временная логика; мультиозначивание; логика знаний; мультиагентная логика; проблема выполнимости в логике; разрешающие алгоритмы; представления знаний; мультиагентные системы
- Аннотация
Статья продолжает серию работ В. В. Рыбакова, посвященных свойствам логик с мультиозначиванием и в которых предложен новый подход для моделирования знаний и рассуждений агентов в мультиагентной среде. В нашей работе доказано, что проблема выполнимости во временной логике с мультиозначиванием, основанной на Z, разрешима
- Страницы
- 56–74
- DOI
- 10.17516/1997-1397-2022-15-1-56-74
- Статья в архиве электронных ресурсов СФУ
- https://elib.sfu-kras.ru/handle/2311/144947
Журнал СФУ. Математика и физика / Выполнимость во временной логике с мультиозначиванием, основанной на Z
Полный текст (.pdf)