Describing evolutions of multi-agent systems

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.

Official URL: https://doi.org/10.1007/978-3-642-04595-0_5

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.

Item Type:	Conference or Workshop Item (Paper)
Published Proceedings:	Knowledge-Based and Intelligent Information and Engineering Systems
Number:	5711
Peer-reviewed:	Yes
Date Deposited:	03 Mar 2010 12:23
Publisher:	Springer
Additional Information:	The original publication is available at http://www.springer.com/
Divisions:
URI:	https://e-space.mmu.ac.uk/id/eprint/93522
DOI:	https://doi.org/10.1007/978-3-642-04595-0_5
ISSN	0302-9743
e-ISSN	1611-3349

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

366Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Repository staff only

Edit record