Describing Evolutions of Multi-Agent Systems

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

Конференция: 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, Decision algorithms, Multi-agent systems, Multi-modal logics, Satisfiability, 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

Авторы

  • Babenyshev S. (Department of Computing and Mathematics,Manchester Metropolitan University,John Dalton Building)
  • Rybakov V. (Institute of Mathematics,Siberian Federal University)

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

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

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