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, 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)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.