Agent Communication Frameworks and Verification

This paper develops a general agent communication framework which allows us to define several different notions of verification and to investigate if an agent communication language is verifiable. The framework is sufficiently general to accommodate communication languages based on agents’ mental states as well as those based on social states of the multi-agent system. For this purpose an existing computational model is employed to represent agent states and extended to represent social states. We use this framework to identify the types of languages that are verifiable in open systems where agents’ internals are kept private.

[1]  W. Hamilton,et al.  The Evolution of Cooperation , 1984 .

[2]  Frank Guerin,et al.  Denotational semantics for agent communication language , 2001, AGENTS '01.

[3]  Jeremy V. Pitt,et al.  A Protocol-Based Semantics for an Agent Communication Language , 1999, IJCAI.

[4]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[5]  Julian A. Padget,et al.  Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems , 2002, Lecture Notes in Computer Science.

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

[7]  Michael Wooldridge,et al.  Verifiable semantics for agent communication languages , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[8]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[9]  Frank S. de Boer,et al.  A Verification Framework for Agent Communication , 2003, Autonomous Agents and Multi-Agent Systems.

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

[11]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[12]  Zohar Manna,et al.  Verifying Clocked Transition Systems , 1995, Hybrid Systems.

[13]  J. Searle.  What is a Speech Act , 1996 .

[14]  Jeremy V. Pitt,et al.  Some Remarks on the Semantics of FIPA's Agent Communication Language , 1999, Autonomous Agents and Multi-Agent Systems.

[15]  Frank Guerin,et al.  Guaranteeing Properties for E-commerce Systems , 2002, AMEC.

[16]  Michael Wooldridge,et al.  Verifying that Agents Implement a Communication Language , 1999, AAAI/IAAI.