From logic to dialectics in legal argument

Tlis paper investigates the relation between declarative and procedural accounts of adversar-ial legal argument. A three-leveled model is proposed , where a formal argumentation framework is built around a logical system and itself embedded in a dialectical protocol for dispute, in such a way that, each time a party adds or retracts information, the argumentation framework reassesses the resulting state of the dispute. The proposed link between the first, logical level and an argumentation framework obviates the need for nonrnonotonic logics at the first level, while the proposed link between declarative and procedural models of argumentation enables us to regard induction and analogy not as forms of inference but as heuristics for introducing premises.

[1]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

[2]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

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

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

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

[6]  Francesca Toni,et al.  An Assumption-Based Framework for Non-Monotonic Reasoning , 1993, LPNMR.

[7]  Gerard Vreeswijk,et al.  Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation , 1993, J. Log. Comput..

[8]  T. Gordon,et al.  How to Buy a Porsche: An Approach to Defeasible Decision Making , 1994 .

[9]  T. Gordon The Pleadings Game , 1993, ICAIL '93.

[10]  Nicholas Asher,et al.  Commonsense Entailment: A Modal Theory of Non-monotonic Reasoning , 1991, IJCAI.

[11]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[12]  N. Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. , 1979 .

[13]  Thomas F. Gordon,et al.  Pleadings game - an artificial intelligence model of procedural justice , 1995 .

[14]  Gerhard Brewka Reasoning about Priorities in Default Logic , 1994, AAAI.

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

[16]  Gerhard Brewka,et al.  A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic , 1994, ECAI.

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

[18]  Edwina L. Rissland,et al.  Artificial Intelligence and Law: Stepping Stones to a Model of Legal Reasoning , 1990 .

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