Abstract
Formal description and verification of the interaction protocols between agents is a very valuable reserch in development of MAS. In the paper we have defined a calculus for description interaction protocols of MAS based on dialogue. The calculus is founded on process algebra and is designed to be independent of any particular model of rational agency. This makes the verification applicable to heterogeneous agent systems. With the state of session environment and formal semantics of calculus, we can verify some properties of session protocols, e.g. termination, deadlock. Our approach does not suffer from the semantic verification problem because the states of the session dialogue are defined in the protocol itself, and it is straightforward to verify that an agent is or not acting in accordance with the protocol and does not suffer from state-space explosion.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Searle, J.R.: Speech acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
FIPA: FIPA Communicative Act Library Specification(SC00037). Foundation for Intelligent Physical Agents (2002), http://www.fipa.org/spec
Sadek, D.: A Study in the Logic of Intentions. In: 3rd Conf. on Principles of Knowledge Representation and Reasoning, pp. 462–473 (1992)
Pitt, J., Mamdani, A.: Communication Protocols in MAS. In: Workshop On Specifying and Implementing Conversation Policies, pp. 39–48 (1999)
Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Journal of Autonomous Agents and MAS 3(1), 9–31 (2000)
Labrou, Y.: Semantics for an Agent Communication Language. Ph.D Thesis, University of Maryland, USA (1997)
Labrou, Y., Finin, T.: Semantics and Conversation for an Agent Communication Language. In: Readings in Agents, pp. 235–242. Morgan Kaufmann, San Francisco (1998)
Dignum, F., Greaves, M.: Issues in Agent Communication: an Introduction. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 1–16 (2000)
Singh, M.P.: Agent Communication Languages: Rethinking the Principles, pp. 40–47. IEEE Computer Society Press, Los Alamitos (1998)
Maudet, N., Chaib-draa, B.: Commitment-based and Dialogue-game based Protocols: News Trends in Agent Communication Language. The Knowledge Engineering Review 17(2), 157–179 (2002)
Singh, M.P.: A Social Semantics for Agent Communication Language. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31–45 (2000)
Amgoud, L., Maudet, N., Parsons, N.: Modelling Dialogues Using Argumentation. In: Proceeding of the 4th International Conference on MAS, pp. 31–38 (2000)
MacKenzie, J.: Question-begging in Non-cumulative Systems. Journal of Philosophical Logic (8), 117–133 (1979)
McBurney, P., Parsons, S.: Games that Agents Play: A formal Framework for Dialogues between Autonomous Agents. Journal of Logic, Language and Informatio 11(3), 315–334 (2002)
Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model Checking Multiagent Systems with MABLE. In: Proceedings of AAMAS-2002, July 2002, Bologna, Italy (2002)
Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Proceedings of Agents 1999, May 1999, Seattle, Washington (1999)
Labrou, Y., Finin, T.: Semantics and Conversations for an Agent Communication Language. In: Proceedings of IJCAI-1997, August 1997, Nagoya, Japan, pp. 584–591 (1997)
FIPA: FIPA ACL Message Structure Specification(SC00061G). Foundation for Intelligent Physical Agents, http://www.fipa.org/spec
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Gaspari, M., Motta, E.: Symbol-level Requirements for Agent-level Programming. In: Cohn, A. (ed.) ECAI 1994 the 11th European Conference on Artificial Intelligence, pp. 364–368 (1994)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Information and Computation 100(1), 1–77 (1992)
Goltz, U., Gorrieri, R., Rensink, A.: Comparing Syntactic and Semantic Action Refinement. Information and Computatio 125(2), 118–143 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, H., Yang, Q., Xu, M. (2006). A Calculus for MAS Interaction Protocol. In: Shi, ZZ., Sadananda, R. (eds) Agent Computing and Multi-Agent Systems. PRIMA 2006. Lecture Notes in Computer Science(), vol 4088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802372_6
Download citation
DOI: https://doi.org/10.1007/11802372_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36707-9
Online ISBN: 978-3-540-36860-1
eBook Packages: Computer ScienceComputer Science (R0)