Chance Discovery Using Dialectical Argumentation

We propose the use of a dialectical argumentation formalism for chance discovery in domains where knowledge is distributed across a number of distinct knowledge-bases, as in a system of autonomous software agents. Each agent may have only a partial view of a problem, and may have insufficient knowledge to prove particular hypotheses; our formalism provides a means to aggregate across these partial views in a consistent manner. We identify a novel type of dialogue, which we call a discovery dialogue, and propose a formal model for its conduct. We then present locutions and rules for the implementation of these dialogues as dialogue-games.

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

[2]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[3]  David Stuart Robertson,et al.  Argument-based applications to knowledge engineering , 2000, The Knowledge Engineering Review.

[4]  F. H. Eemeren,et al.  Handboek van de argumentatietheorie. Historische achtergronden en hedendaagse ontwikkelingen [Vertaling van: 'Fundamentals of Argumentation Theory. Handbook of Historical Backgrounds and Contemporary Developments, Lawrence Erlbaum Ass., Mawhaw N.J.] , 1997 .

[5]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[6]  Douglas Walton,et al.  Fundamentals Of Argumentation Theory , 1996 .

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

[8]  Kostas Stathis,et al.  A Game-Based Architecture for Developing Interactive Components in Computational Logic , 2000 .

[9]  Nikos I. Karacapilidis,et al.  The Zeno argumentation framework , 1997, ICAIL '97.

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

[11]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[12]  Peter McBurney,et al.  Computer Decision-Support Systems for Public Argumentation: Criteria for Assessment , 2001 .

[13]  John Fox,et al.  Qualitative risk assessment fulfils a need , 1998, Applications of Uncertainty Formalisms.

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

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

[16]  David Frohlich,et al.  MIXED INITIATIVE INTERACTION , 1991 .

[17]  Andrew S. Coulson,et al.  Computer support for recording and interpreting family histories of breast and ovarian cancer in primary care (RAGs): qualitative evaluation with simulated patients , 1999, BMJ.

[18]  John Fox,et al.  Arguments, Contradicitions and Practical Reasoning , 1992, ECAI.

[19]  Dorothea Heiss-Czedik,et al.  An Introduction to Genetic Algorithms. , 1997, Artificial Life.

[20]  Peter McBurney,et al.  Risk Agoras: Dialectical Argumentation for Scientific Reasoning , 2000, UAI.

[21]  S. Toulmin.  The uses of argument , 1960 .

[22]  John Fox,et al.  Representation of Chemical Structures in Knowledge-Based Systems: The StAR System , 1997, J. Chem. Inf. Comput. Sci..

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

[24]  Robert D. Combes,et al.  The use of artificial intelligence systems for predicting toxicity , 1995 .

[25]  Henry Prakken,et al.  On Dialogue Systems with Speech Acts, Arguments, and Counterarguments , 2000, JELIA.