A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action

Abstract.We present the syntax and semantics for a multi-agent dialogue game protocol which permits argument over proposals for action. The protocol, called the Persuasive Argument for Multiple Agents (PARMA) Protocol, embodies an earlier theory by the authors of persuasion over action which enables participants to rationally propose, attack, and defend, an action or course of actions (or inaction). We present an outline of both an axiomatic and a denotational semantics, and discuss implementation of the protocol, in the context of both human and artificial agents.

[1]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[2]  Nir Oren,et al.  Policing virtual organizations , 2004 .

[3]  Trevor J. M. Bench-Capon,et al.  Computational Representation of Persuasive Argument , 2004 .

[4]  O. Oha.  Fallacies , 2005 .

[5]  Robbert-Jan Beun,et al.  A Cooperative Dialogue Game for Resolving Ontological Discrepancies , 2003, Workshop on Agent Communication Languages.

[6]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[7]  Trudy Govier,et al.  Johnson's Manifest Rationality A Pragmatic Theory of Argument , 2000 .

[8]  Michael Wooldridge,et al.  SERSE: Searching for Semantic Web Content , 2004, ECAI.

[9]  Wesley C. Salmon,et al.  Causality and Explanation , 1998 .

[10]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[11]  Trevor J. M. Bench-Capon,et al.  Justifying Practical Reasoning , 2004 .

[12]  Ch. Perelman,et al.  The New Rhetoric: A Treatise on Argumentation , 1971 .

[13]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[14]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[15]  Stephen Toulmin,et al.  Knowing and acting : an invitation to philosophy , 1977 .

[16]  Trevor J. M. Bench-Capon,et al.  Arguing about cases as practical reasoning , 2005, ICAIL '05.

[17]  D. Raven,et al.  The Enculturation of Logical Practice , 1996 .

[18]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[19]  Trevor J. M. Bench-Capon,et al.  PARMENIDES: Facilitating Democratic Debate , 2004, EGOV.

[20]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[21]  B. Sweetman.  Between Facts and Norms: Contributions to a Discourse Theory of Law and Democracy , 1997 .

[22]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[23]  Douglas Walton,et al.  The New Dialectic: Conversational Contexts of Argument , 1998 .

[24]  Trevor J. M. Bench-Capon,et al.  Identifying Audience Preferences in Legal and Social Domains , 2004, DEXA.

[25]  Tangming Yuan,et al.  Educational Human-computer Debate: a Computational Dialectics Approach , 2002 .

[26]  E. Krabbe.  Games that agents play: A formal framework for dialogues between autonomous agents , 2001 .

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

[28]  Peter McBurney,et al.  A denotational semantics for deliberation dialogues , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[29]  Trevor J. M. Bench-Capon,et al.  Towards a computational account of persuasion in law , 2003, ICAIL.

[30]  Trevor J. M. Bench-Capon,et al.  Implementation of a Dialogue Game for Persuasion Over Action , 2004 .

[31]  Robert D. Tennent,et al.  Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.

[32]  H. Richardson.  Practical Reasoning about Final Ends , 1994 .

[33]  Ralph H. Johnson.  Manifest Rationality: A Pragmatic Theory of Argument , 2000 .

[34]  Peter Gärdenfors.  The Role of Expectations in Reasoning , 1992, Logic at Work.

[35]  Sanjay Modgil,et al.  Value Added: Processing Information with Argumentation , 2005 .

[36]  Valentina Tamma,et al.  A conceptual model to facilitate knowledge sharing in multi-agent systems , 2001 .

[37]  Michael Wooldridge,et al.  SERSE: Searching for Digital Content in Esperonto , 2004, EKAW.

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

[39]  J. Searle.  Rationality in Action , 2001 .

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

[41]  Eugene Garver.  Richardson's Practical Reasoning About Final Ends , 1999 .