Skip to main content

A Calculus for MAS Interaction Protocol

  • Conference paper
Agent Computing and Multi-Agent Systems (PRIMA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4088))

Included in the following conference series:

  • 988 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Searle, J.R.: Speech acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  2. FIPA: FIPA Communicative Act Library Specification(SC00037). Foundation for Intelligent Physical Agents (2002), http://www.fipa.org/spec

  3. Sadek, D.: A Study in the Logic of Intentions. In: 3rd Conf. on Principles of Knowledge Representation and Reasoning, pp. 462–473 (1992)

    Google Scholar 

  4. Pitt, J., Mamdani, A.: Communication Protocols in MAS. In: Workshop On Specifying and Implementing Conversation Policies, pp. 39–48 (1999)

    Google Scholar 

  5. Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Journal of Autonomous Agents and MAS 3(1), 9–31 (2000)

    Article  Google Scholar 

  6. Labrou, Y.: Semantics for an Agent Communication Language. Ph.D Thesis, University of Maryland, USA (1997)

    Google Scholar 

  7. Labrou, Y., Finin, T.: Semantics and Conversation for an Agent Communication Language. In: Readings in Agents, pp. 235–242. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  8. Dignum, F., Greaves, M.: Issues in Agent Communication: an Introduction. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 1–16 (2000)

    Google Scholar 

  9. Singh, M.P.: Agent Communication Languages: Rethinking the Principles, pp. 40–47. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. Singh, M.P.: A Social Semantics for Agent Communication Language. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 31–45 (2000)

    Google Scholar 

  12. Amgoud, L., Maudet, N., Parsons, N.: Modelling Dialogues Using Argumentation. In: Proceeding of the 4th International Conference on MAS, pp. 31–38 (2000)

    Google Scholar 

  13. MacKenzie, J.: Question-begging in Non-cumulative Systems. Journal of Philosophical Logic (8), 117–133 (1979)

    Google Scholar 

  14. 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)

    Article  MATH  MathSciNet  Google Scholar 

  15. 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)

    Google Scholar 

  16. Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Proceedings of Agents 1999, May 1999, Seattle, Washington (1999)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. FIPA: FIPA ACL Message Structure Specification(SC00061G). Foundation for Intelligent Physical Agents, http://www.fipa.org/spec

  19. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  20. 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)

    Google Scholar 

  21. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Information and Computation 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  22. Goltz, U., Gorrieri, R., Rensink, A.: Comparing Syntactic and Semantic Action Refinement. Information and Computatio 125(2), 118–143 (1996)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics