A drosophila for computational dialectics

ABSTRACT

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.

REFERENCES

• 1: M. Ashburner. Drosophila: A Laboratory Handbook. Cold Spring Harbor Laboratory Press, 1989.
• 2: A. Cayley. Open problem. Proceedings of the London Mathematical Society, 9:148, 1878.
• 3: Roderic A. Girle, Commands in Dialogue Logic, Proceedings of the International Conference on Formal and Applied Practical Reasoning, p.246-260, June 03-07, 1996
• 4: C. L. Hamblin. Fallacies. Methuen and Co. Ltd., 1970.
• 5: Calico Jack Ltd. http://www.calicojack.co.uk, 2005.
• 6: Sun Microsystems Ltd. http://java.sun.com, 2005.
• 7: J. D. Mackenzie. Question begging in non-cumulative systems. Journal Of Philosophical Logic, 8:117--133, 1979.
• 8: Peter McBurney , Simon Parsons , Michael Wooldridge, Desiderata for agent argumentation protocols, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1, July 15-19, 2002, Bologna, Italy [doi>10.1145/544741.544836]
• 9: J. McCarthy. Ai as sport. Science, 276(5318):1518--1519, 1997.
• 10: J. McCarthy. Elaboration tolerance, 1998.
• 11: C. Reed and G. Rowe. Araucaria: "software for puzzles in argument diagramming and xml. Technical report, University Of Dundee, 2001.
• 12: C. Reed and D. Walton. Towards a formal and implemented model of argumentation schemes in agent communication. In I. Rahwan, P. Moraitis, and C. Reed, editors, First International Workshop on Argumentation in Multi-Agent Systems, 2004.
• 13: H. Simon and J. Schaeffer. The game of chess, 1992.
• 14: D. Walton. Argumentation Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, 1996.
• 15: D. N. Walton and E. C. W. Krabbe. Commitment in Dialogue. SUNY series in Logic and Language. State University of New York Press, 1995.
• 16: S. Wells and C. Reed. Formal dialectic specification. In I. Rahwan, P. Moraitis, and C. Reed, editors, First International Workshop on Argumentation in Multi-Agent Systems, 2004.