Desiderata for agent argumentation protocols

Designers of agent communications protocols are increasingly using formal dialogue games, adopted from argumentation theory, as the basis for structured agent interactions. We propose a set of desiderata for such protocols, drawing on recent research in agent interaction, on recent criteria for assessment of automated auction mechanisms and on elements of argumentation theory and political theory. We then assess several recent dialogue game protocols against our desiderata, revealing that each protocol has serious weaknesses. For comparison, we also assess the FIPA Agent Communications Language (ACL), thereby showing FIPA ACL to have limited applicability to dialogues not involving purchase negotiations. We conclude with a suggested checklist for designers of dialogue game protocols for agent interactions.

[1]  L. Gary,et al.  ABELL F. Dereck, Defining The Business. The Starting Point of Strategic Planning . USA, Prentice Hall, Englewood Cliffs, New Jersey, 1980. , 1996 .

[2]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[3]  Sarit Kraus,et al.  Strategic Negotiation in Multiagent Environments , 2001, Intelligent robots and autonomous agents.

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

[5]  Patsy Healey,et al.  The deliberative practitioner: Encouraging participatory planning processes. , 2001 .

[6]  Joris Hulstijn,et al.  Dialogue Models for Inquiry and Transaction , 2000 .

[7]  Erik C. W. Krabbe,et al.  The Problem Of Retraction In Critical Discussion , 2001, Synthese.

[8]  Barbara Dunin-Keplicz,et al.  Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.

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

[10]  Barbara Dunin-Keplicz,et al.  Agent Theory for Team Formation by Dialogue , 2000, ATAL.

[11]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[12]  F. Toni,et al.  Logic agents , dialogues and negotiation : an abductive approach , 2001 .

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

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

[15]  Jeffrey S. Rosenschein,et al.  Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .

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

[17]  S. Parsons,et al.  A Framework for Deliberation Dialogues , 2001 .

[18]  Peter McBurney,et al.  A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions , 2001, Electron. Notes Theor. Comput. Sci..

[19]  Simon Parsons,et al.  Arguments, Dialogue, and Negotiation , 2000, ECAI.

[20]  Tuomas Sandholm,et al.  Distributed rational decision making , 1999 .

[21]  Peter McBurney,et al.  Representing Epistemic Uncertainty by Means of Dialectical Argumentation , 2001, Annals of Mathematics and Artificial Intelligence.

[22]  F. H. Eemeren,et al.  Argumentation, Communication, and Fallacies: A Pragma-dialectical Perspective , 1992 .

[23]  Peter McBurney,et al.  A Dialogue Game Protocol for Agent Purchase Negotiations , 2003, Autonomous Agents and Multi-Agent Systems.

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

[25]  Trevor J. M. Bench-Capon,et al.  A method for the computational modelling of dialectical argument with dialogue games , 2000, Artificial Intelligence and Law.

[26]  J. Bohman,et al.  Deliberative Democracy: Essays on Reason and Politics , 1997 .

[27]  Pablo Noriega,et al.  A Framework for Argumentation-Based Negotiation , 1997, ATAL.