Babenyshev, Sergey and Rybakov, Vladimir V. (2009) Describing evolutions of multi-agent systems. In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.
File not available for download.Abstract
This paper 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.
Impact and Reach
Statistics
Additional statistics for this dataset are available via IRStats2.