Logic-Based Agent Communication Protocols

An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occurring in open societies, the problem of checking an agent’s conformance to such a protocol is a central issue. We identify different levels of conformance (weak, exhaustive, and robust conformance) and explore, for a specific class of logic-based agents and an appropriate class of protocols, how to check an agent’s conformance to a protocol a priori, purely on the basis of the agent’s specification.

[1]  Nicolas Maudet,et al.  Aspects of protocol conformance in inter-agent dialogue , 2003, AAMAS '03.

[2]  Munindar P. Singh.  A Customizable Coordination Service for Autonomous Agents , 1997, ATAL.

[3]  Wamberto Weber Vasconcelos,et al.  Expressive global protocols via logic-based electronic institutions , 2003, AAMAS '03.

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

[5]  Paolo Torroni,et al.  Dialogues for Negotiation: Agent Varieties and Dialogue Sequences , 2001, ATAL.

[6]  Nicolas Maudet,et al.  Competent Agents and Customising Protocols , 2003, ESAW.

[7]  F. Dignum,et al.  Agent Mediated Electronic Commerce: The European AgentLink Perspective , 2001 .

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

[9]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[10]  Christos H. Papadimitriou,et al.  Elements of the Theory of Computation , 1997, SIGA.

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

[12]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 2003, Communication in Multiagent Systems.

[13]  Evelina Lamma,et al.  Specification and Verification of Agent Interaction using Social Integrity Constraints , 2004, LCMAS.

[14]  Marc Esteva,et al.  On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

[15]  Marc Esteva,et al.  On the formal specification of electronic institutions , 2001 .

[16]  Michael Wooldridge,et al.  Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings , 1998 .

[17]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[18]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[19]  Nicolas Maudet,et al.  Protocol Conformance for Logic-based Agents , 2003, IJCAI.