The british nationality act as a logic program

Communications of the ACM

Volumn 29, Issue 5, 1986, Pages 370-386

  Sergot, M J ^a   Sadri, F ^a   Kowalski, R A ^a   Kriwaczek, F ^a   Hammond, P ^a   Cory, H T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

British citizenship; legislation; rule based systems

Indexed keywords

ARTIFICIAL INTELLIGENCE - APPLICATIONS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

LOGIC PROGRAMMING; PROLOG;

LEGISLATION;

EID: 0022715548     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/5689.5920     Document Type: Article

References (42)

1. Allen, L.E. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale Law J. 66 (May 1957). 833-879.
2. Bench-Capon, T., and Sergot, M.J. Towards a rule-based representation of open texture in Law. Rep., Dept. of Computing, Imperial College, London, 1985. 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. Artif. Intell. 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. Chan, 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. Gallaire and J. Minker, Eds. Plenum, New York, 1978, pp. 293–322.
8. Clark, K.L., and McCabe, F.G. Micro-PROLOG: Programming in Logic. Prentice-Hall. Englewood Cliffs, N.J., 1984.
9. de Marco, T. Structured Analysis and System Specification. Prentice-Hall, Englewood Cliffs, N.J., 1979.
10. Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976.
11. Feigenbaum, E.A., and McCorduck, P. The Fifth Generation. Addison-Wesley, Reading, Mass., 1983.
12. Fuchi, K. The direction the FGCS project will take. New Generation Comput. 1 (1983). 3-9.
13. Gardner, A.V.D.L. An artificial intelligence approach to legal reasoning. Rep. STAN-CS-85-1045. Dept. of Computing Science, Stanford Univ., 1984. To be published by Bradford Books/MIT Press.
14. Gardner, A.V.D.L. Overview of an artificial intelligence approach to legal reasoning. In Computing Power and 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 Univ., 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/26, Dept. of Computing, Imperial College, London, 1982. pp. 225–235. Also in Proceedings of the 3rd BCS 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 Expert Systems Conference. British Computer Society, Cambridge, Dec. 1983, pp. 95–104.
19. Hammond, P., and Sergot, M.J. APES Reference 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 Computer Science and Law, B. Niblett. Ed. Cambridge University Press. New York, 1980, pp. 157–169.
23. Jones, S., Mason, P., and Stamper. R. LEGOL 2.0: A relational specification language for complex rules. Inf. Syst. 4, 4 (Dec. 1979), 293-305.
24. Kowalski, R.A. Logic for Problem Solving. Elsevier North-Holland, New York, 1979.
25. Kowalski, R.A. Logic programming. In Proceedings IFIP-83 Congress. Elsevier North-Holland, New York, 1983, pp. 133–145.
26. Kowalski, R.A. Software engineering and knowledge-based systems in new generation computing. Future Generation Comput. Syst. 1, 1 (1984), 39-49.
27. Lakatos, I. Proofs and refutations. Br. J. Philos. Sci. 14 (1963), 1-25, 120-139, 221-243, 296-342.
28. Lloyd. J.W., and Topor, R.W. Making Prolog more expressive, J. Logic Program. 1. 3 (Oct. 1984), 225-240.
29. Lowes, D. Assistance to industry: A logical approach. M.S. thesis, Dept. of Computing, Imperial College, London, 1984.
30. MacRae, C.D. User control knowledge in a tax consulting system. In 2nd International 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 the Canadian Society for Computational Studies of Intelligence (Victoria, B.C.). Canadian Society for Computational Studies of Intelligence, 1980, pp. 304–311.
33. Meldman. J.A. A structural model for computer-aided legal analysis. Rutgers J. Comput. 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 College, London, 1980.
36. Sergot. M.J. Representing legislation as logic programs. Rep., Dept. of Computing. Imperial College. Aug. 1985. To be published in Machine Intelligence 11.
37. Sharpe, W.P. Logic programming for the law. In Research and Development in Expert Systems: Proceedings of the 4th Technical Conference of the British Computer Society Specialist Group on Expert 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. Sussman, G., Winograd, T., and Charniak, E. Micro-Planner reference manual (revised). A.I. Memo 203A, Artificial Intelligence Laboratory, M.I.T., Cambridge, Mass., 1971.
41. Szolovits, P., Hawkinson, L.B., and Martin, W.A. An overview of OWL, a language for knowledge representation. MIT/LCS/TM-86. Laboratory for Computer Science, M.I.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.