Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)
Год издания: 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, Semantics, Multi-modal logic, 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.
Журнал: Frontiers in Artificial Intelligence and Applications
Выпуск журнала: Vol. 243
Номера страниц: 169-178