Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: International Conference on Knowledge-Based Intelligent Information and Engineering Systems; Univ Chile, Fac Phys Sci & Math, Santiago, CHILE; Univ Chile, Fac Phys Sci & Math, Santiago, CHILE
Год издания: 2009
Идентификатор DOI: 10.1007/978-3-642-04595-0_5
Ключевые слова: multi-agent systems, multi-modal logics, decision algorithms, satisfiability, Kripke semantics, Modal language, Multi-modal logic, Knowledge based systems, Knowledge engineering, Linguistics, Query languages, Semantics, Multi agent systems
Аннотация: This paper(1) focuses on the issue, of the formal logical description of evolutions of multi-agent systems (MAS). By evolution of a MAS we mean the change of inner states of the combined MAS caused by interaction of participating agents. We, introduce a general scheme of combining propositional modal languages and respective logicsПоказать полностьюinto a single language suitable for such descriptions. The method is based on the representation of multi-agent systems by Kripke-Hintikka models. The obtained description allows to study the question of verifiable specifications.
Журнал: KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS
Выпуск журнала: Vol. 5711
Номера страниц: 38-45
ISSN журнала: 03029743
Место издания: BERLIN
Издатель: SPRINGER-VERLAG BERLIN