Сибирский федеральный университет

Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)

Год издания: 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