On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities

This paper investigates how of legal language determine tack and defend argu rnents argumentation framework in the logical aspects possibilities to atin a dispute. An logic-programming style is presented which can cope with the hterplay between assumptions, applicability statements and reasoning about, preference relations between norms. The theory is given a solid semantic foundation, and can be used to formalise a wide range of realistic legal examples.

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

[2]  Roland Traunmüller,et al.  Expert systems in law : impacts on legal theory and computer law , 1988 .

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

[4]  D. Warren.  An argumentation semantics for logic programming with explicit negation , 1993 .

[5]  Jaap Hage,et al.  Reason-based logic: a logic for reasoning with rules and reasons , 1994 .

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

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

[8]  Giovanni Sartor,et al.  A Formal Model of Legal Argumentation , 1994 .

[9]  Dov M. Gabbay,et al.  Credulous vs. Sceptical Semantics for Ordered Logic Programs , 1991, KR.

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

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

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

[13]  J. Raz.  Practical Reason and Norms , 1975 .

[14]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

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