Библиографическое описание:Kiyatkin, Vladimir. Satisfiability in a Temporal Multi-valueted Logic Based on Z = Выполнимость во временной логике с мультиозначиванием, основанной на Z / V. R. Kiyatkin, A. V. Kosheleva. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2022. - Т. 15, № 1. - С. 56-74. - Библиогр.: с. 72-74. - ISSN 1997-1397.
Аннотация:Статья продолжает серию работ В. В. Рыбакова, посвященных свойствам логик с мультиозначиванием и в которых предложен новый подход для моделирования знаний и рассуждений агентов в мультиагентной среде. В нашей работе доказано, что проблема выполнимости во временной логике с мультиозначиванием, основанной на Z, разрешима.
Ключевые слова:временная логика, логика знаний, мультиагентная логика, мультиагентные системы, мультиозначивание, представления знаний, проблема выполнимости в логике, разрешающие алгоритмы
