Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KRR 1992), Boston, MA (1992)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: van Hoe, R. (ed.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)
Arisha, K.A., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: a Platform for Collaborating Agents. IEEE Intelligent Systems 14, 64–72 (1999)
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The kgp model of agency. In: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI (2004)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Proceedings of the Third International Workshop on AgentOriented Software Engineering at AAMAS 2002 (2002)
Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: A language for coordinating abductive reasoning among logic agents. Computer Languages 27, 137–161 (2002)
Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling declaratively multi-agent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 53–68. Springer, Heidelberg (2005)
Nash, J.: Equilibrium points in n-person games. Proceedings of the National Accademy of Science (1950)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, vol. B, pp. 493–574. Elsevier Science Publishers, Amsterdam (1990)
Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 37, 65–91 (2003)
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Computing environment-aware agent behaviours with logic program updates. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol. 2372, pp. 216–232. Springer, Heidelberg (2002)
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)
Lomuscio, A., Sergot, M.: Deontic interpreted systems. In: van der Hoek, W., Wooldridge, M. (eds.) Studia Logica, vol. 75. Kluwer Academic Publishers, Dordrecht (2003); Special Issue on The Dynamics of Knowledge
Wooldridge, M., Lomuscio, A.: A logic of visibility, perception, and knowledge: completeness and correspondence results. Journal of the IGPL 9 (2001)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Abramsky, S.: Semantics of Interaction (Technical report), Available at, http://www.dcs.ed.ac.uk/home/samson/coursenotes.ps.gz
Viroli, M., Omicini, A.: Multi-agent systems as composition of observable systems. In: Omicini, A., Viroli, M. (eds.) AI*IA/TABOO Joint Workshop - Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA) (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bracciali, A., Mancarella, P., Stathis, K., Toni, F. (2005). Engineering Stable Multi-agent Systems. In: Gleizes, MP., Omicini, A., Zambonelli, F. (eds) Engineering Societies in the Agents World V. ESAW 2004. Lecture Notes in Computer Science(), vol 3451. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11423355_23
Download citation
DOI: https://doi.org/10.1007/11423355_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27330-1
Online ISBN: 978-3-540-31887-3
eBook Packages: Computer ScienceComputer Science (R0)