Показать сокращенную информацию
Satisfiability in a Temporal Multi-valueted Logic Based on Z
Автор | Kiyatkin, Vladimir R. | en |
Автор | Kosheleva, Anna V. | en |
Автор | Кияткин, Владимир Р. | ru_RU |
Автор | Кошелева, Анна В. | ru_RU |
Дата внесения | 2021-12-16T03:08:20Z | |
Дата, когда ресурс стал доступен | 2021-12-16T03:08:20Z | |
Дата публикации | 2022-02 | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/144947 | |
Аннотация | In this paper we continue the series of papers by V. V. Rybakov devoted to properties of multi-valueted logics and where he propose a new approach for modelling knowledge and reasoning of agents in a multi-agent system. We prove that the satisfiability problem is decidable in a temporal multi-valueted logic based on Z | en |
Аннотация | Статья продолжает серию работ В. В. Рыбакова, посвященных свойствам логик с мультиозначиванием и в которых предложен новый подход для моделирования знаний и рассуждений агентов в мультиагентной среде. В нашей работе доказано, что проблема выполнимости во временной логике с мультиозначиванием, основанной на Z, разрешима | ru_RU |
Язык | en | en |
Издатель | Сибирский федеральный университет. Siberian Federal University | en |
Тема | temporal logic | en |
Тема | multi-agent logic | en |
Тема | epistemic modal logic | en |
Тема | multi-valueted logic | en |
Тема | satisfiability | en |
Тема | decidability in logic | en |
Тема | knowledge representation and reasoning | en |
Тема | multi-agent systems | en |
Тема | временная логика | ru_RU |
Тема | мультиозначивание | ru_RU |
Тема | логика знаний | ru_RU |
Тема | мультиагентная логика | ru_RU |
Тема | проблема выполнимости в логике | ru_RU |
Тема | разрешающие алгоритмы | ru_RU |
Тема | представления знаний | ru_RU |
Тема | мультиагентные системы | ru_RU |
Название | Satisfiability in a Temporal Multi-valueted Logic Based on Z | en |
Альтернативное название | Выполнимость во временной логике с мультиозначиванием, основанной на Z | ru_RU |
Тип | Journal Article | en |
Контакты автора | Kiyatkin, Vladimir R.: Siberian Federal University Krasnoyarsk, Russian Federation; kiyatkinvr@mail.ru | en |
Контакты автора | Kosheleva, Anna V.: Siberian Federal University Krasnoyarsk, Russian Federation; koshelevaa@mail.ru | en |
Контакты автора | Кияткин, Владимир Р.: Сибирский федеральный университет Красноярск, Российская Федерация | ru_RU |
Контакты автора | Кошелева, Анна В.: Сибирский федеральный университет Красноярск, Российская Федерация | ru_RU |
Страницы | 56–74 | ru_RU |
DOI | 10.17516/1997-1397-2022-15-1-56-74 | |
Журнал | Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2022, 15 (1) | en |