The pleadings game: formalizing procedural justice

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Robert Alexy's discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl's non-monotonic logic, conditional entailment. Discourse is focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of the Uniform Commercial Code.

[1]  Karl Branting.  Representing and reusing explanations of legal precedents , 1989, ICAIL '89.

[2]  Carl J. Posy.  Review: Dirk van Dalen, Intuitionistic Logic; Walter Felscher, Dialogues as a Foundation for Intuitionistic Logic , 1992 .

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

[4]  John B. Smith,et al.  Author's Argumentation Assistant (AAA): A Hypertext-Based Authoring Tool for Argumentative Texts , 1992, ECHT.

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

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

[7]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[8]  M. Menlowe,et al.  Procedural Justice: Allocating to Individuals , 1990 .

[9]  Thomas F. Gordon,et al.  An Abductive Theory of Legal Issues , 1991, Int. J. Man Mach. Stud..

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

[11]  Trevor J. M. Bench-Capon,et al.  A dialogue game for dialectical interaction with expert systems , 1992 .

[12]  L. Thorne McCarty,et al.  Clausal Intuitionistic Logic II - Tableau Proof Procedures , 1988, J. Log. Program..

[13]  Jaap Hage,et al.  A DIALOGICAL MODEL OF LEGAL REASONING , 1992 .

[14]  William Chen,et al.  An Argument Game , 1992 .

[15]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

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