Hierarchically organised formalisations

ABSTRACT

Formalisations to date have tended to ignore a salient feature of statutes: they exhibit a multi-layered logical structure. This, rather than the unsuitability of logic for representing statute law, is at the root of at least some of the knowledge representation problems researchers have uncovered. In addition, the failure of any formalisation to mirror this kind of structure means that it inevitably will be an impoverished translation of the original article.

REFERENCES

• A: Allen L.E., "Language, Law arid Logic: Plain Legal Drafting for the Electronic Age" in Niblett B. (ed.) Computer Science andtheL,aw, CUP: Cambridge (1980)
• BC: T. J. M. Bench-Capon, Representing counterfactual conditionals, Proceedings of the Seventh Conference (AISB89) on Artificial Intelligence and Simulation of Behaviour, p.51-60, June 1989, Sussex, United Kingdom
• BK: Bowen K.A. & Kowalski R. "Amalgamating Language and Meta-Language in Logic Programming" in Logic Programming (eds.) Clark K.L. & Tamlund S.A. Academic Press: London (1981)
• BNA: Sergot M.J. et al, "Formalisation of the British Nationality Act" in Yearbook of Law Computers & Technology, Volume Two, Butterworths: London (1986)
• CF: Routen T.W. & Bench-Capon T.J.M., "Counterfactuals in Logic Programs", Logic Programming Group Research Report, Dept. of Computing, Imperial College, (1986)
• GO: Gordon Thomas F., 'The Importance of Non-Monotonicity for Legal Reasoning" in Expert Systems in Law: Impacts on Legal Theory and Corr~uter Law (eds.) Fiedler H., Haft F. & Traunmuller T. Attempto Verlag: Tubingen (1988)
• GI: M I Ginsberg , M L Ginsberg, Counterfactuals, Artificial Intelligence, v.30 n.1, p.35-80, Oct. 1986 [doi>10.1016/0004-3702(86)90067-6]
• K: Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
• KS: Kowalksi R., & Sergot M., 'The Use of Logical Models in Legal Problem Solving", Logic Programming Group Research Report, Dept. of Computing, Imperial College, (1986)
• S: Stud~cki F., "Computational Aspects of Legal Intepretation" in Computing Power and Legal Reasoning, Walter C. (ed.) West: St. Paul (1985)
• SB: T. J. M. Bench-Capon , G. O. Robinson , T. W. Routen , M. J. Sergot, Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation, Proceedings of the 1st international conference on Artificial intelligence and law, p.190-198, May 27-29, 1997, Boston, Massachusetts, United States [doi>10.1145/41735.41757]
• W: Welham B. "Interpreters and Meta-Level inference" in Meta- Level Architectures and Reflection, (ed.) Maes P., & Nardi D., North-Holland: Amsterdam (1988)

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Law

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Predicate logic

General Terms:
Design, Legal Aspects, Theory