A Calculus for MAS Interaction Protocol

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4088)


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.


Interaction protocol Multi-agent Dialogue protocol π-Calculus 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Searle, J.R.: Speech acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)Google Scholar
  2. 2.
    FIPA: FIPA Communicative Act Library Specification(SC00037). Foundation for Intelligent Physical Agents (2002),
  3. 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. 4.
    Pitt, J., Mamdani, A.: Communication Protocols in MAS. In: Workshop On Specifying and Implementing Conversation Policies, pp. 39–48 (1999)Google Scholar
  5. 5.
    Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Journal of Autonomous Agents and MAS 3(1), 9–31 (2000)CrossRefGoogle Scholar
  6. 6.
    Labrou, Y.: Semantics for an Agent Communication Language. Ph.D Thesis, University of Maryland, USA (1997)Google Scholar
  7. 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. 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. 9.
    Singh, M.P.: Agent Communication Languages: Rethinking the Principles, pp. 40–47. IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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. 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. 13.
    MacKenzie, J.: Question-begging in Non-cumulative Systems. Journal of Philosophical Logic (8), 117–133 (1979)Google Scholar
  14. 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)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 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. 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. 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. 18.
    FIPA: FIPA ACL Message Structure Specification(SC00061G). Foundation for Intelligent Physical Agents,
  19. 19.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  20. 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. 21.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Information and Computation 100(1), 1–77 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Goltz, U., Gorrieri, R., Rensink, A.: Comparing Syntactic and Semantic Action Refinement. Information and Computatio 125(2), 118–143 (1996)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  1. 1.State Key Laboratory for Novel Software TechnologyNanjing UniversityNanjingChina

Personalised recommendations