Argument construction and reinstatement in logics for defeasible reasoning

This paper points out some problems with two recent logical systems – one due to Prakken and Sartor, the other due to Kowalski and Toni – designedfor the representation of defeasible arguments in general, but with a specialemphasis on legal reasoning.

[1]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[2]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

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

[4]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[5]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[6]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

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

[8]  David S. Touretzky,et al.  A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance , 1991, IJCAI.

[9]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.

[10]  Henry Prakken,et al.  Modelling Reasoning with Precedents in a Formal Dialogue Game , 2004, Artificial Intelligence and Law.

[11]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[12]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[13]  Francesca Toni,et al.  Abstract argumentation , 1996, Artificial Intelligence and Law.

[14]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[15]  Richmond H. Thomason,et al.  Mixing Strict and Defeasible Inheritance , 1988, AAAI.

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

[17]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[18]  Phan Minh Dung,et al.  Synthesis of Proof Procedures for Default Reasoning , 1996, LOPSTR.