Abstract
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems and new standards are emerging such as FIPA ACL. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous Multi-Agent Systems. In this paper we present an asynchronous ACL which provide high-level mechanisms to deal with crash failures, one-to-many communication primitives and supports a fault-tolerant anonymous interaction protocol. To illustrate the expressive power of the language we show how it can be effectively used for the specification of fault tolerant protocols.
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.
Similar content being viewed by others
References
Chaib-draa, B., Dignum, F.: Trends in Agent Communication Language. Computational Intelligence 2 (2002)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31, 40–47 (1998)
Luck, M., McBurney, P., Preist, C.: Manifesto for Agent Technology: Towards Next Generation Computing. Autonomous Agents and Multi-Agent Systems 9, 203–252 (2004)
Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Software Agents, pp. 291–316. MIT Press, Cambridge (1997)
Foundation for Intelligent Physical Agents: Communicative Act Library Specification (2001), http://www.fipa.org/specs/fipa00037
Gaspari, M.: Concurrency and Knowledge-Level Communication in Agent Languages. Artificial Intelligence 105, 1–45 (1998)
Mullender, S.: Distributed Systems. Addison Wesley, Reading (1993)
Singhal, M.: Deadlock Detection in Distributed Systems. IEEE Computer 22, 37–48 (1989)
Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM 43, 225–267 (1996)
Dragoni, N., Gaspari, M.: Fault Tolerant Knowledge Level Communication in Open Asynchronous Multi-Agent Systems. Technical Report UBLCS-2005-10, Department of Computer Science, University of Bologna, ITALY (2005)
Dragoni, N., Gaspari, M.: An Object Based Algebra for Specifying A Fault Tolerant Software Architecture. Journal of Logic and Algebraic Programming 63, 271–297 (2005)
Gaspari, M., Zavattaro, G.: An Algebra of Actors. In: Proceedings of IFIP Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 3–18. Kluwer Academic Publishers, Dordrecht (1999)
Agha, G.: Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
Smith, R.G.: The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers 29, 1104–1113 (1980)
Shah, N., Chao, K., Anane, R., Godwin, N.: A Flexible Approach to Exception Handling in Open Multi-agent Systems. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003) Challenges 2003 Workshop, pp. 7–10 (2003)
Parsons, S., Klein, M.: Towards Robust Multi-Agent Systems: Handling Communication Exceptions in Double Auctions. In: AAMAS, pp. 1482–1483. IEEE Computer Society, Los Alamitos (2004)
Klein, M., RodrÃguez-Aguilar, J.A., Dellarocas, C.: Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death. Autonomous Agents and Multi-Agent Systems 7, 179–189 (2003)
Dragoni, N., Gaspari, M., Guidi, D.: Integrating Knowledge-Level Agents in the (Semantic) Web: an Agent-based Open Service Architecture. In: Proceedings of the 18th International FLAIRS Conference. AAAI Press, Menlo Park (2005)
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
Dragoni, N., Gaspari, M., Guidi, D. (2005). An ACL for Specifying Fault-Tolerant Protocols. In: Bandini, S., Manzoni, S. (eds) AI*IA 2005: Advances in Artificial Intelligence. AI*IA 2005. Lecture Notes in Computer Science(), vol 3673. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558590_24
Download citation
DOI: https://doi.org/10.1007/11558590_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29041-4
Online ISBN: 978-3-540-31733-3
eBook Packages: Computer ScienceComputer Science (R0)