Skip to main content
SpringerLink
Log in
Book cover

Logic Programming Summer School

LPSS 1992: Logic Programming in Action pp 203–230Cite as

Legislation as logic programs

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 636))

Abstract

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.

In addition to the resemblance between legislation and programs, the law has other important similarities with computing. It needs for example to validate legislation against social and political specifications, and it needs to organise, develop, maintain and reuse large and complex bodies of legal codes and procedures. Such parallels between computing and law suggest that it might be possible to transfer useful results and techniques in both directions between these different fields. One possibility explored in this paper is that the linguistic structures of an appropriately extended logic programming language might indicate ways in which the language of legislation itself could be made simpler and clearer.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, L. E., and Saxon, C.S. [1984] “Computer Aided Normalizing and Unpacking: Some Interesting Machinc-Proccssable Transformation of Legal Rules”, Computing Power and Legal Reasoning (C. Walter, ed.) West Publishing Company, pp. 495–572.

    Google Scholar 

  2. Bench-Capon, T.J.M. [1987]: “Support for policy makers: formulating legislation with the aid of logical models”, Proc. of the First International Conference on AI and Law, ACM Press, pp. 181–189.

    Google Scholar 

  3. Bench-Capon, T. [1989] “Representing Counterfactual Conditionals”. Proceedings of Artificial Intelligence and the Simulation of Behaviour (A. Cohn, Ed.) Pitman Publishing Co.

    Google Scholar 

  4. Bowen, K. A. and Kowalski, R. A. [1982]: “Amalgamating Language and Metalanguage in Logic Programming”, in Logic Programming (Clark, K.L. and Tärnlund, S.-Å., editors), Academic Press, pp. 153–173.

    Google Scholar 

  5. Bry, F., Decker, H., and Manthey, R. [1988] “A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases”, Proceedings of Extending Database Technology, pp. 488–505.

    Google Scholar 

  6. Clark, K. L. [1978]: “negation by failure”, in “Logic and databases”, Gallaire, H. and Minker, J. [eds], Plenum Press, pp. 293–322.

    Google Scholar 

  7. Gallagher, J. [1986] “Transforming Logic Programs by Specializing Interpreters”, Proc. of 7th European Conference on Artificial Intelligence, pp. 109–122.

    Google Scholar 

  8. Gelfond, M. and Lifschitz, V. [1990]: “Logic programs with classical negation”, Proceedings of the Seventh International Conference on Logic Programming, MIT Press, pp. 579–597.

    Google Scholar 

  9. Gordon, T. F. [1987] “Oblog-2 a Hybrid Knowledge Representation System for Defeasible Reasoning” Proc. First International Conference on Artificial Intelligence and Law. ACM Press, pp. 231–239.

    Google Scholar 

  10. H.M.S.O. [1981]: “British Nationality Act 1981”, Her Majesty's Stationery Office, London.

    Google Scholar 

  11. Kowalski, R. A. and Sergot, M. J. [1986]: “A logic-based calculus of events”, New Generation Computing, Vol. 4, No. 1, pp. 67–95.

    Google Scholar 

  12. Kowalski, R. A. [1989]: “The treatment of negation in logic programs for representing legislation”, Proceedings of the Second International Conference on Artificial Intelligence and Law, pp. 11–15.

    Google Scholar 

  13. Kowalski [1990] “English as a Logic Programming Language”, New Generation Computing, Volume 8, pp. 91–93.

    Google Scholar 

  14. Kowalski, R. A. and Sadri, F. [1990], “Logic programs with exceptions”, Proceedings of the Seventh International Conference on Logic Programming, MIT Press, pp. 598–613.

    Google Scholar 

  15. Kowalski, R. A., Sergot, M. J. [1990]: “The use of logical models in legal problem solving”, Ratio Juris, Vol. 3, No. 2, pp. 201–218.

    Google Scholar 

  16. Lloyd, J. W. and Topor, R. W. [1984]: “Making Prolog more expressive”, Journal of Logic Programming, Vol. 3, No. 1, pp. 225–240.

    Google Scholar 

  17. Lloyd, J. W. and Topor, R. W. [1985] “A Basis for Deductive Database Systems”, J. Logic Programming, Volume 2, Number 2, pp. 93–109.

    Google Scholar 

  18. Mitchell, T. M., Keller, R. M. and Kedar-Cabelli [1986] “Explanation-based Generalization: A Unifying View” Machine Learning, Volume 1, pp. 47–80.

    Google Scholar 

  19. Newell, A. and Simon, H. A. [1972] “Human problem solving”, Prentice-Hall.

    Google Scholar 

  20. Nitta, K., Nagao, J., and Mizutori, T., [1988] “A Knowledge Representation and Inference System for Procedural Law”, New Generation Computing, pp. 319–359.

    Google Scholar 

  21. Reiter, R. [1990]: “On asking what a database knows”, Proc. Symposium on Computational Logic, Springer-Verlag.

    Google Scholar 

  22. Sadri, F. and Kowalski, R. A. [1987]: “A theorem proving approach to database integrity”, In Foundations of deductive databases and logic programming (J. Minker, editor), Morgan Kaufmann, pp. 313–362.

    Google Scholar 

  23. Schank, R. C. [1983] “The current state of AI: One man's opinion”, AI Magazine, Volume 4, No. 1, pp. 1–8.

    Google Scholar 

  24. Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P. and Cory, H. T. [1986]: “ The British Nationality Act as a logic program”, CACM, Vol. 29, No. 5, pp. 370–386.

    Google Scholar 

  25. Sripada, S. M. [1991] “Temporal Reasoning in Deductive Databases”. Department of Computing, Imperial College, London.

    Google Scholar 

  26. Takeuchi, A. and Furukawa, K. [1986] “Partial evaluation of PROLOG programs and its application to metaprogramming”, Proc. of IFIP 86, North-Holland, pp. 415–420.

    Google Scholar 

  27. Waterman, D. A. and Hayes-Roth [1978] “Pattern-directed Inference Systems”, Academic Press, New York.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science, Technology and Medicine, SW7 2BZ, London, UK

    Robert A. Kowalski

Authors
  1. Robert A. Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Comyn N. E. Fuchs M. J. Ratcliffe

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kowalski, R.A. (1992). Legislation as logic programs. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-55930-2_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55930-6

  • Online ISBN: 978-3-540-47312-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation