Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)
Год издания: 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, Hybrid logic, Integer numbers, Interacting agents, Logical operations, Satisfiability, Satisfiability problems, 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 opeПоказать полностьюrations 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