Explanation-based interpretation of open-textured concepts in logical models of legislation

In this paper we discuss a view of the Machine Learning technique called Explanation-Based Learning (EBL) or Explanation-Based Generalization (EBG) as a process for the interpretation of vague concepts in logic-based models of law.The open-textured nature of legal terms is a well-known open problem in the building of knowledge-based legal systems. EBG is a technique which creates generalizations of given examples on the basis of background domain knowledge. We relate these two topics by considering EBG's domain knowledge as corresponding to statute law rules, and EBG's training example as corresponding to a precedent case.By making the interpretation of vague predicates as guided by precedent cases, we use EBG as an effective process capable of creating a link between predicates appearing as open-textured concepts in law rules, and predicates appearing as ordinary language wording for stating the facts of a case.Standard EBG algorithms do not change the deductive closure of the domain theory. In the legal context, this is only adequate when concepts vaguely defined in some law rules can be reformulated in terms of other concepts more precisely defined in other rules. We call ‘theory reformulation’ the process adopted in this situation of ‘complete knowledge’.In many cases, however, statutory law leaves some concepts completely undefined. We then propose extensions to the EBG standard that deal with this situation of ‘incomplete knowledge’, and call ‘theory revision’ the extended process. In order to fill in ‘knowledge gaps’ we consider precedent cases supplemented by additional heuristic information. The extensions proposed treat heuristics represented by abstraction hierarchies with constraints and exceptions.In the paper we also precisely characterize the distinction between theory reformulation and theory revision by stating formal definitions and results, in the context of the Logic Programming theory.We offer this proposal as a possible contribution to cross fertilization between machine learning and legal reasoning methods.

[1]  Karl Branting,et al.  Rules and Precedents as Complementary Warrants , 1991, AAAI.

[2]  Kedar Cabelli.  Explanation - based Generalization as resolution theorem proving , 1987 .

[3]  Luc De Raedt,et al.  Explanation Based Program Transformation , 1989, IJCAI.

[4]  Donald A. Watermam,et al.  Models of legal decisionmaking , 1986 .

[5]  Gaetano Aurelio Lanzarone,et al.  Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law , 1994, ICLP Workshop: Legal Application of Logic Programming.

[6]  R. Mooney,et al.  Explanation-Based Learning: An Alternative View , 1986, Machine Learning.

[7]  Tom M. Mitchell,et al.  Explanation-Based Generalization: A Unifying View , 1986, Machine Learning.

[8]  M. J. Maher.  Equivalences of logic programs: Extended abstract , 1986 .

[9]  Michael J. Maher.  Eqivalences of Logic Programs , 1986, ICLP.

[10]  Trevor J. M. Bench-Capon,et al.  Towards a rule-based representation of open texture in law , 1985 .

[11]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[12]  Tom Michael Mitchell,et al.  Explanation-based generalization: A unifying view , 1986 .

[13]  Ryszard S. Michalski,et al.  Inferential Theory of Learning: Developing Foundations for Multistrategy Learning , 1992 .

[14]  이종원,et al.  Explanation - Based Generalization 의 문제점 및 이의 해결방안 , 1986 .

[15]  Jack Mostow,et al.  PROLEARN: Towards a Prolog Interpreter that Learns , 1987, AAAI.

[16]  Anja Oskamp,et al.  PROLEXS divide and rule: a legal application , 1989, ICAIL '89.

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

[18]  Edwina L. Rissland,et al.  Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach , 1989, IJCAI.

[19]  Gaetano Aurelio Lanzarone,et al.  A metalogic programming approach: language, semantics and applications , 1994, J. Exp. Theor. Artif. Intell..

[20]  Marek Sergot,et al.  The Use of Logical Models in Legal Problem Solving , 1990 .

[21]  Thomas Ellman,et al.  Explanation-based learning: a survey of programs and perspectives , 1989, CSUR.

[22]  Richard E. Susskind,et al.  Expert systems in law , 1987 .

[23]  Emilia Oikarinen,et al.  On the Equivalence of Logic Programs , 2002 .

[24]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[25]  Mark Peterson,et al.  Rule-Based Models of Legal Expertise , 1980, AAAI.

[26]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[27]  Haym Hirsh,et al.  Explanation-based Generalization in a Logic-Programming Environment , 1987, IJCAI.

[28]  Terry Winograd,et al.  FRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY , 1975 .

[29]  Alan Bundy,et al.  Explanation-Based Generalisation = Partial Evaluation , 1988, Artif. Intell..

[30]  Béatrice Duval,et al.  A Tool for the Management of Incomplete Theories: Reasoning about Explanation , 1990 .