Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)
Год издания: 2012
Идентификатор DOI: 10.3233/978-1-61499-105-2-169
Ключевые слова: decision algorithms, distance measuring, knowledge representation, Kripke semantics, multi-agent systems, multi-modal logics, satisfiability, Computability and decidability, Formal logic, Intelligent agents, Knowledge based systems, Knowledge representation, Semantics, Decision algorithms, Distance measuring, Kripke semantics, Multi-modal logic, Satisfiability, Multi agent systems
Аннотация: Our paper studies a new temporal agents' knowledge logic TL Dist KnI,U, which expresses localised agents' knowledge, operation of knowledge via agents' interaction, operation of uncertainty and operations responsible for measuring distances. We study problems of satisfiability and decidability for TLDist KnI,U. We find an algorithm which recognizes theorems of TLDist KnI,U, this implies that TLDist KnI,U is decidable, and the satisfiability problem for TLDist KnI,U is solvable. © 2012 The authors and IOS Press. All rights reserved.
Издание
Выпуск журнала: Vol. 243
Номера страниц: 169-178
Авторы
- Rybakov V. (Institute of Mathematics,Siberian Federal University)
Вхождение в базы данных
- РИНЦ (eLIBRARY.RU) (цитирований 1)
- Ядро РИНЦ (eLIBRARY.RU)
- Scopus
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.