The British Nationality Act as a logic program

ABSTRACT

The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.

REFERENCES

• 1: Allen, L.E. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale Law I, 66 (May 1957). 833-879.
• 2: Bench-Cauon. T.. and Seraot. M.1. Towards a rule-based reoresentation of opkn texture in La<. Rep.. Dept. of Computing, Imperial College, London. 1965. Also presented at the 2nd International Conference on Computers and Law, Houston. Tex.. June 1985.
• 3: Bobrow, D.G., Ed. Non-monotonic logic. Special issue on. Altif. Infell. 13 (1980).
• 4: Bowen. K.A., and Kowalski. R.A. Amalgamating language and metalanguage in logic programming. In Logic Programming. K.L. Clark and S.A. Tarnlund. Eds. APIC Studies in Data Processing, vol. 16. Academic Press. New York, 1982. pp. 153-172.
• 5: Bowen. K.A., and Weinberg, T. A meta-level extension of PROLOG. In Symposium on Logic Programming (Boston. Mass.). IEEE Computer Society Press, 1985, pp. 48-53.
• 6: Ghan, D. A logic based legal expert. M.S. thesis. Dept. of Computing, Imperial College, London. 1984.
• 7: Clark, K.L. Negation as failure. In Logic and Data Bases, H. Callaire and J. Minker, Eds. Plenum, New York, 1978. pp. 293-322.
• 8: K. L Clark , F. G McCabe, Micro-PROLOG: programming in logic, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
• 9: Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
• 10: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 11: Feigenbaum, E.A.. and McCorduck, P. The Fiffh Generation. Addison- Wesley, Reading. Mass., 1983.
• 12: Fuchi. K. The direction the FGCS project will take. New Generation Comput. I (1983). 3-9.
• 13: Anne von der Lieth Gardner, An artificial intelligence approach to legal reasoning, MIT Press, Cambridge, MA, 1987
• 14: Gardner, A.V.D.L. Overview of an artificial intelligence approach to legal reasoning. In Computing Power nnd Legal Reasoning, C. Walter, Ed. West. St. Paul. Minn.. 1985. pp. 247-274.
• 15: Genesereth. M.R., Greiner, R., Grinberg, M.R., and Smith. D.E. The MRS dictionary. Memo HPP-80.24, Stanford Heuristic Programming Project. Stanford IJniv., Calif., Dec. 1980: revised Jan. 1984.
• 16: Gordon, T.F. Object-oriented predicate logic and its role in representing legal knowledge. In Computing Power and Legal Reasoning, C. Walter. Ed. West, St. Paul. Minn.. 1985. pp. 163-203.
• 17: Hammond. P. Representation of DHSS regulations as a logic program. Rep. 82/X, Dept. of Computing, Imperial College, London. 1982. pp. 225-235. Also in Proceedings offhe 3rd KS Expert Systems Conference, British Computer Society, Cambridge, Dec. 1983. pp. 225-235.
• 18: Hammond. P., and Sergot. M.J. A PROLOG shell for logic based expert systems. In Proceedings of the 3rd BCS Experf Systems Conferonce. British Computer Society. Cambridge, Dec. 1983, pp. 95-104.
• 19: Hammond, J'., and Sergot, M.J. APES Rejerence Manual. Logic Based Systems. Richmond, Surrey. England, 1984.
• 20: Her Majesty's Stationery Office. The British Nationality Act 1981. Chapter 61, London, 1981.
• 21: Hustler, A. ProgrammIng law in logic. Res. Rep. CS-82-13, Dept. of Computer Science, Univ. of Waterloo. Canada, 1982.
• 22: Jones, S. Control structures in legislation. In Compufer Science and Law, 8. Niblett. Ed. Cambridge University Press, New York, 1980. pp. 157-l 69.
• 23: Jones, S.. Mason, P., and Stamper. R. LEGOL 2.0: A relational specification language for co,mplex rules. Inf Sysf. 4, 4 (Dec. 1979). 293- 305.
• 24: Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
• 25: Kowalski, R.A. Logic programming. In Proceedings ZNP-83 Congress. Elsevier North-Holland. New York, 1983. pp. 133-145.
• 26: Robert Kowalski, Software engineering and artificial intelligence in new generaton computing, Future Generation Computer Systems, v.1 n.1, p.39-55, July 1984 [doi>10.1016/0167-739X(96)84677-2]
• 27: Lakatos, 1. Proofs and refutations. Br. J. Philos. Sci. 14 (1963). l-25, 120-139. 221-243. 296-342.
• 28: Lloyd. J.W., and Topor, R.W. Making Prolog more expressive. /. Logic Program. I. 3 (Oct. 1984). 225-240.
• 29: Lowes. D. Assistance to industry: A logical approach. MS. thesis. Dept. of Computing. Imperial College. London, 1984.
• 30: MacRae, C.D. User control knowledge in a tax consulting system. In 2nd Infernational Conference on Computers and Law (Houston. Tex.. June). 1985.
• 31: McCarthy. L.T. Reflections on TAXMAN: An experiment in artificial intelligence and legal reasoning. Harvard Law Rev. 90 (1977). 837-893.
• 32: McCarthy, L.T.. and Sridharan. N.S. The representation of an evolving system of legal concepts: I. Logical templates. In Proceedings, 3rd Biennial Conference of fhe Canadian Society for Compufafional Studies of lnfelligence (Victoria. B.C.). Canadian Society for Computational Studies of Intelligence, 1980. pp. 304-311.
• 33: Meldman. J.A. A siructural model for computer-aided legal analysis. Rufgers 1. Compuf. Law 6 (1977). 27-71.
• 34: Schlobohm, D.A. A Prolog program which analyzes income tax issues under Section 318(a) of the internal revenue code. In Computing Power and Legal Reasoning, C. Walter. Ed. West, St. Paul. Minn., 1985. pp. 765-815.
• 35: Sergot, M.J. Programming law: LEGOL as a logic programming language. Rep., Dept. of Computing, Imperial Collage, London, 1980.
• 36: M. Sergot, Representing legislation as logic programs, Machine intelligence 11, Oxford University Press, Inc., New York, NY, 1988
• 37: Sharpe, W.P. Logic programming for the law. In Research and Dewopmenf in Experf Systems: Proceedings of the 4th Technical Conference of fhe British Compufer Society Specialisf Group on Experf Systems, Warwick, M.A. Braines, Ed. Cambridge University Press, New York, Dec. 1985.
• 38: Stamper, R. LEGOL: Modelling legal rules by computer. In Computer Science and Law, B. Niblett. Ed. Cambridge University Press, New York, 1980, pp. 45-71.
• 39: Suphamongkhon. K. Towards an expert system op immigration legislation. M.S. thesis, Dept. of Computing. Imperial College, London, 1984.
• 40: Gerald Sussman , Terry Winograd, Micro-Planner Reference Manual, Massachusetts Institute of Technology, Cambridge, MA, 1970
• 41: Szolovits, P.. Hawkinson. L.B., and Martin, W.A. An overview of OWL, a language for knowledge representation. MlT/LCS/TM-86. Laboratory for Computer Science, M&T., Cambridge. Mass.. 1977.
• 42: Waterman, D.A., and Peterson. M.A. Models of legal decisionmaking. Rep. R-2717-ICJ, Institute for Civil Justice, Rand Corporation. Santa Barbara, Calif.. 1981.

INDEX TERMS

Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Law
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Predicate logic
      I.2.5 Programming Languages and Software

          Nouns: Prolog

  J. Computer Applications
  J.1 ADMINISTRATIVE DATA PROCESSING
      Subjects: Law

General Terms:
Experimentation, Human Factors, Languages, Theory