Legislation as Logic Programs

The linguistic style in which legislation is normally written has many similarities with the language of logic programming. However, examples of legal language taken from the British Nationality Act 1981, the University of Michigan lease termination clause, and the London Underground emergency notice suggest several ways in which the basic model of logic programming could usefully be extended. These extensions include the introduction of types, relative clauses, both ordinary negation and negation by failure, integrity constraints, metalevcl reasoning and procedural notation.

[1]  Frederick Hayes-Roth,et al.  AN OVERVIEW OF PATTERN-DIRECTED INFERENCE SYSTEMS , 1978 .

[2]  Trevor J. M. Bench-Capon.  Support for policy makers: formulating legislation with the aid of logical models , 1987, ICAIL '87.

[3]  Trevor J. M. Bench-Capon.  Representing counterfactual conditionals , 1989 .

[4]  John P. Gallagher,et al.  Transforming Logic Programs by Specialising Interpreters , 1986, ECAI.

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

[6]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[7]  Thomas F. Gordon.  Oblog-2: A hybrid knowledge representation system for defeasible reasoning , 1987, ICAIL '87.

[8]  Roger C. Schank,et al.  The Current State of AI: One Man's Opinion , 1983, AI Mag..

[9]  Alan Bundy,et al.  Proceedings of Artificial Intelligence and Simulation of Behaviour , 1976 .

[10]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[11]  Suryanarayana M. Sripada.  Temporal Reasoning in Deductive Databases , 1991 .

[12]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[13]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

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

[15]  Raymond Reiter.  On Asking What a Database Knows , 1990 .

[16]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[17]  John W. Lloyd,et al.  A Basis for Deductive Database Systems II , 1986, J. Log. Program..

[18]  Akikazu Takeuchi,et al.  Partial Evaluation of Prolog Programs and its Application to Meta Programming , 1986, IFIP Congress.

[19]  Robert A. Kowalski,et al.  The treatment of negation in logic programs for representing legislation , 1989, ICAIL '89.

[20]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[21]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[22]  John W. Lloyd,et al.  A Basis for Deductive Database Systems , 1985, J. Log. Program..

[23]  Allen Newell,et al.  Human Problem Solving. , 1973 .