A model of argumentation and its application to legal reasoning

We present a computational model of dialectical argumentation that could serve as a basis for legal reasoning. The legal domain is an instance of a domain in which knowledge is incomplete, uncertain, and inconsistent. Argumentation is well suited for reasoning in such weak theory domains. We model argument both as information structure, i.e., argument units connecting claims with supporting data, and as dialectical process, i.e., an alternating series of moves by opposing sides. Our model includes burden of proof as a key element, indicating what level of support must be achieved by one side to win the argument. Burden of proof acts as move filter, turntaking mechanism, and termination criterion, eventually determining the winner of an argument. Our model has been implemented in a computer program. We demonstrate the model by considering program output for two examples previously discussed in the artificial intelligence and legal reasoning literature.

[1]  Henry Prakken,et al.  A tool in modelling disagreement in law: preferring the most specific argument , 1991, ICAIL '91.

[2]  L. Karl BrantingDepartment,et al.  Reasoning with Portions of Precedents 1 , 1991 .

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

[4]  L. Karl Branting,et al.  Reasoning with portions of precedents , 1991 .

[5]  Henry Prakken,et al.  A logical framework for modelling legal argument , 1993, International Conference on Artificial Intelligence and Law.

[6]  Jaap Hage,et al.  Hard cases: A procedural approach , 1993, Artificial Intelligence and Law.

[7]  Henry Prakken,et al.  On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities , 1995, ICAIL '95.

[8]  Ray Bareiss,et al.  Concept Learning and Heuristic Classification in WeakTtheory Domains , 1990, Artif. Intell..

[9]  Judea Pearl,et al.  Embracing Causality in Formal Reasoning , 1987, AAAI.

[10]  K. Freeman.  Toward formalizing dialectical argumentation , 1993 .

[11]  Austin J. Freeley.  Argumentation and Debate: Critical Thinking for Reasoned Decision Making , 1990 .

[12]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[13]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[14]  W. B. Horner,et al.  Rhetoric in the Classical Tradition , 1988 .

[15]  John L. Pollock,et al.  How to Reason Defeasibly , 1992, Artif. Intell..

[16]  Jaap Hage.  Teleological reasoning in reason-based logic , 1995, ICAIL '95.

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

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

[19]  Kevin D. Ashley.  Modeling legal argument - reasoning with cases and hypotheticals , 1991, Artificial intelligence and legal reasoning.

[20]  Giovanni Sartor.  A simple computational model for nonmonotonic and adversarial legal reasoning , 1993, ICAIL '93.

[21]  C. C. Marshall,et al.  Representing the structure of a legal argument , 1989, ICAIL '89.

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

[23]  John L. Pollock,et al.  A theory of defeasible reasoning , 1991, Int. J. Intell. Syst..

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

[25]  Nicholas Rescher,et al.  Plausible reasoning , 1976 .

[26]  Edwina L. Rissland,et al.  Argument moves in a rule-guided domain , 1991, ICAIL '91.

[27]  G. Pólya,et al.  Mathematics and Plausible Reasoning , 1956 .

[28]  D. Kuhn.  THE SKILLS OF ARGUMENT , 2008, Education for Thinking.

[29]  G. Pólya.  Mathematics and Plausible Reasoning , 1958 .

[30]  John L. Pollock,et al.  Justification and Defeat , 1994, Artif. Intell..

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

[32]  Thomas F. Gordon,et al.  The pleadings game: formalizing procedural justice , 1993, ICAIL '93.