Multi-agent logic with distances, uncertainty and interaction based on linear temporal frames

Описание

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

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

Персоны

  • Rybakov V. (Institute of Mathematics,Siberian Federal University)