A Calculus for MAS Interaction Protocol

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.

[1]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[2]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[3]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[4]  Arend Rensink,et al.  Comparing Syntactic and Semantic Sction Refinement , 1996, Inf. Comput..

[5]  Brahim Chaib-draa,et al.  Commitment-based and dialogue-game-based protocols: new trends in agent communication languages , 2002, The Knowledge Engineering Review.

[6]  Enrico Motta,et al.  Symbol-Level Requirements for Agent-Level Programming , 1994, ECAI.

[7]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[8]  Michael Wooldridge,et al.  Semantic Issues in the Verification of Agent Communication Languages , 2000, Autonomous Agents and Multi-Agent Systems.

[9]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[10]  Timothy W. Finin,et al.  Semantics and Conversations for an Agent Communication Language , 1997, IJCAI.

[11]  Frank Dignum,et al.  Issues in Agent Communication: An Introduction , 2000, Issues in Agent Communication.

[12]  Simon Parsons,et al.  Modelling dialogues using argumentation , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[13]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[14]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[15]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[16]  Jeffrey M. Bradshaw,et al.  What Is a Conversation Policy? , 2000, Issues in Agent Communication.

[17]  Peter McBurney,et al.  Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents , 2002, J. Log. Lang. Inf..

[18]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[19]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[20]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[21]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.