Conference Proceeding

Stable multi-agent systems


Bracciali A, Mancarella P, Stathis K & Toni F (2005) Stable multi-agent systems. In: Gleizes M, Omicini A & Zambonelli F (eds.) Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers. Lecture Notes in Computer Science, 2451. 5th International Workshop, ESAW 2004, Toulouse, France, 20.10.2004-22.10.2004. Berlin Heidelberg: Springer, pp. 322-334.

We present an abstract declarative semantics for multi-agent systems based on the idea of stable set, and argue that it can be suitably employed to describe, and to some extent verify, the dynamics of complex systems of autonomous and heterogeneous interacting agents. We view agents as black-boxes, whose semantics is abstractly understood as an input-output transformation from the agents' observations about their environment, to the actions they perform. Stable sets (of actions) characterise multi-agent systems able to reach an equilibrium point. Our semantics via stable sets takes into account the possibility that agents may fail.We illustrate how stability can characterise multi-agent systems by means of examples.We also draw considerations about how stable sets can be effectively approximated.

Title of seriesLecture Notes in Computer Science
Number in series2451
Publication date31/12/2005
Related URLs
Publisher URL
Place of publicationBerlin Heidelberg
ISSN of series0302-9743
Conference5th International Workshop, ESAW 2004
Conference locationToulouse, France