Eight Dialectic Benchmarks Discussed By Two Artificial Localist Disputors

Dispute types can roughly be divided in two classes. One class in whichthe notion of justification is fundamental, and one in which thenotion of opposition is fundamental. Further, for every singledispute type there exist various types of protocols to conduct such adispute. Some protocols permit local search (a process in which oneis allowed to justify claims partially, with the possibility to extendjustifications on request later), while other protocols rely on globalsearch (a process in which only entire arguments count as justifications).This paper integrates the two above-mentioned types of dispute withthe use of a protocol that permits local search. The locality aspect isrelatively new to computer scientists, while the detailed computationalelaboration of the approach is relatively new to philosophical logicians.The proposed protocol is demonstrated with the help of eight benchmarks.These benchmarks are centered around the problem that co-concludingarguments sometimes accrue, and sometimes do not.

[1]  Gerard Vreeswijk,et al.  Interpolation of Benchmark Problems in Defeasible Reasoning , 1995, WOCFAI.

[2]  Erik C. W. Krabbe,et al.  From axiom to dialogue , 1982 .

[3]  Henry Prakken,et al.  Relating Protocols For Dynamic Dispute With Logics For Defeasible Argumentation , 2000, Synthese.

[4]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[5]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[6]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[7]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[8]  Andrew S. Merrill,et al.  A design for reasoning with policies, precedents, and rationales , 1993, ICAIL '93.

[9]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[10]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[11]  Ronald Prescott Loui.  Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance , 1991, AI Mag..

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

[13]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[14]  Douglas Walton,et al.  Argument: The Logic of the Fallacies , 1982 .

[15]  Paul Thagard,et al.  Coherence as Constraint Satisfaction , 2019, Cogn. Sci..

[16]  Simon Parsons,et al.  A proof theoretic approach to qualitative probabilistic reasoning , 1998, Int. J. Approx. Reason..

[17]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[18]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[19]  Michael P. Wellman.  Fundamental Concepts of Qualitative Probabilistic Networks , 1990, Artif. Intell..

[20]  Ronald Prescott Loui,et al.  Process and Policy: Resource‐Bounded NonDemonstrative Reasoning , 1998, Comput. Intell..

[21]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[22]  Erik C. W. Krabbe,et al.  Formal systems of dialogue rules , 1985, Synthese.

[23]  Gerard Vreeswijk,et al.  Representation of formal dispute with astanding order , 2000, Artificial Intelligence and Law.

[24]  Heikki Mannila,et al.  Learning hierarchical rule sets , 1992, COLT '92.

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

[26]  Gerard Vreeswijk,et al.  IACAS: an implementation of Chisolm''s Principles of Knowledge , 1995 .

[27]  Ronald Prescott Loui,et al.  Argument and belief: Where we stand in the Keynesian tradition , 1991, Minds and Machines.

[28]  Karen L. McGraw,et al.  Knowledge Acquisition: Principles and Guidelines , 1989 .

[29]  Marek J. Druzdzel,et al.  Efficient Reasoning in Qualitative Probabilistic Networks , 1993, AAAI.

[30]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .

[31]  J. Pollock.  Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[32]  H. B. Verheij.  Rules, reasons, arguments : formal studies of argumentation and defeat , 1996 .

[33]  Bart Verheij,et al.  Accrual of arguments in defeasible argumentation , 1999 .

[34]  Vladimir Lifschitz,et al.  Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00 , 1988, NMR.

[35]  Avelino J. Gonzalez,et al.  The engineering of knowledge-based systems: theory and practice , 1993 .

[36]  Jaap Hage,et al.  An Integrated View on Rules and Principles , 1998, Artificial Intelligence and Law.

[37]  Yoram Singer,et al.  A simple, fast, and effective rule learner , 1999, AAAI 1999.

[38]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

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