Representation of knowledge and uncertainty in temporal logic LTL with since on frames Z of integer numbers

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

Год издания: 2011

Идентификатор DOI: 10.1007/978-3-642-23851-2_32

Ключевые слова: decidability, global and local knowledge, interaction agents, linear temporal logic, multi-agent logic, uncertainty, General knowledge, global and local knowledge, Hybrid logic, Integer numbers, Interacting agents, Linear temporal logic, Logical operations, Multi-agent logic, Satisfiability, Satisfiability problems, uncertainty, Computability and decidability, Knowledge based systems, Knowledge representation, Temporal logic

Аннотация: We study a new hybrid logic ?script T? script Iscript A script Zscript U using as components: LTL based on script Z with operations Since and Previous, multi-agent logic with interacting agents, and operation of logical uncertainty. The language of ?script T?script Iscript A script Zscript U contains, together with the standard operations of LTL and multi-agent logic, new knowledge operations KnI (for 'known through interaction'), GKL and GKG (for local and global general knowledge), and expressible logical operations: U - for uncertainty, and Ul for local uncertainty. We consider questions of satisfiability and decidability for ?script T?script Iscript A script Zscript U. The key result is construction of an algorithm which recognizes theorems of ?script T?script Iscript A script Zscript U (this implies that ?script T?script Iscript A script Zscript U is decidable, and the satisfiability problem for ?script T?script Iscript A script Zscript U is solvable.) © 2011 Springer-Verlag.

Ссылки на полный текст

Издание

Журнал: (12 September 2011 through 14 September 2011, Kaiserslautern

Выпуск журнала: Vol. 6881 LNAI, Is. PART 1

Номера страниц: 306-315

Авторы

  • Rybakov V.V. (School of Computing, Mathematics and IT, Manchester Metropolitan University, Manchester M1 5GD, United Kingdom; Institutes of Mathematics, Siberian Federal University, Krasonoyarsk, Russian Federation)

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

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

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