A drosophila for computational dialectics

Systems of argumentation or 'computational dialectic' are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of computational dialectic have been suggested and implemented to tackle specific problems but no comprehensive assessment has been made of such systems in general. Metrics by which systems of dialectic can be measured and used to provide justification for the widespread adoption of dialectic systems in inter-agent communication are needed. This paper introduces GC0, which is a scenario for dialectic testing, and the Sweetwater framework, a software implementation of GC0 for automated testing of dialectic.

[1]  Herbert A. Simon,et al.  The game of chess , 1992 .

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

[3]  O. Oha.  Fallacies , 2005 .

[4]  J. Anthony Blair.  D. N. Walton, Argumentation Schemes for Presumptive Reasoning , 1999 .

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

[6]  Michael Ashburner,et al.  Drosophila: A laboratory handbook , 1990 .

[7]  Frank Dignum,et al.  Agent architecture and theory for team formation by dialogue , 2000 .

[8]  Chris Reed,et al.  Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication , 2004, Autonomous Agents and Multi-Agent Systems.

[9]  Chris Reed,et al.  Argumentation Schemes in Argument-as-Process and Argument-as-Product , 2003 .

[10]  Nicolas Maudet,et al.  A Generic Framework For Dialogue Game Implementation , 1998 .

[11]  D. Walton,et al.  Commitment In Dialogue , 1995 .

[12]  Erik C. W. Krabbe,et al.  Profiles of Dialogue , 1999 .

[13]  Douglas Walton,et al.  Logical dialogue-games and fallacies , 1984 .

[14]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[15]  D. Walton.  Argumentation Schemes for Presumptive Reasoning , 1995 .

[16]  Michael Wooldridge,et al.  Desiderata for agent argumentation protocols , 2002, AAMAS '02.

[17]  J. McCarthy.  AI as Sport , 1997, Science.

[18]  John Woods,et al.  Question-begging and cumulativeness in dialectical games , 1982 .

[19]  Roderic A. Girle,et al.  Commands in Dialogue Logic , 1996, FAPR.

[20]  Chris Reed,et al.  Formal Dialectic Specification , 2004, ArgMAS.

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

[22]  Chris Reed,et al.  Araucaria: Software for Puzzles in Argument Diagramming and XML , 2001 .