Isomorphism and legal knowledge based systems

Abstract

This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of the approach are discussed. The paper concludes with a case study giving a detailed example of the use of the isomorphic approach in a particular application.

This is a preview of subscription content, log in to check access.

References

  1. Allen, L. E. & Saxon C. S. 1991. More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Intepretations. In Proceedings of The Third International Conference on AI and Law, 53–61. Oxford:ACM Press.

    Google Scholar 

  2. Bench-Capon, T.J.M., Robinson, G. O. Routen, T. W. & Sergot, M. J. 1987. Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. In Proceedings of The First International Conference on AI and Law, 190–198. Boston:ACM Press.

    Google Scholar 

  3. Bench-Capon, T. J. M. 1989. Deep Models, Normative Reasoning and Legal Expert Systems. In Proceedings of The Second International Conference on AI and Law, 37–45. Vancouver:ACM Press.

    Google Scholar 

  4. Bench-Capon, T. J. M & Forder, J. M. 1991. Knowledge Representation for Legal Applications. In Knowledge Based Systems and Legal Applications, ed., T. J. M. Bench-Capon, 245–264. Academic Press.

  5. Bench-Capon, T. J. M. & Coenen, F. P. 1991. Practical Application of KBS to Law: The Crucial Role of Maintenance. In Legal Knowledge Based Systems, Aims for Research and Development, eds., C. van Noortwyk, A. H. J. Schmidt, R. G. F. Winkels, 5–17. Lelystad, The Netherlands: Koninklijke Vemande BV.

    Google Scholar 

  6. Bench-Capon, T. J. M. & Coenen F. 1991. Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. In Proceedings of The Third International Conference on AI and Law, 62–68. Oxford:ACM Press.

    Google Scholar 

  7. Bench-Capon, T. J. M. 1991. KBS Applied to Law: A Framework for Discussion. In Bench-Capon T. J. M. (ed), Knowledge Based Systems and Legal Applications, ed. T. J. M. Bench-Capon, 329–342. Academic Press.

  8. Bench-Capon, T. J. M., Coenen, F. P. & Dunne, P. E. S. Integrating Legal Support Systems Through Document Models. Expert Systems with Applications (to appear).

  9. Bratley, P., Fremont, J., Mackaay, E. & Poulin, D. 1991. Coping with Change. In Proceedings of The Third International Conference on AI and Law, 69–76. Oxford:ACM Press.

    Google Scholar 

  10. Bratley, P., Poulin, D. & Savoy, J. 1991. The Effect of Change on Legal Applications. In Proceedings of DEXA Berlin, ed. D. Karagiannis, 436–441.

  11. Coenen, F. & Bench-Capon, T. 1991. A Graphical Interactive Tool for KBS Maintenance. In Proceedings of DEXA Berlin, ed. D. Karagiannis, 166–171.

  12. Glickfield, Barnett W. 1991. Perpetuities Reasoning Captured and Automated in a Logic Program. In Proceedings of The Third International Conference on AI and Law, 128–136. Oxford:ACM Press.

    Google Scholar 

  13. Gray, J. 1986. The Rule Against Perpetuities. Boston: Little, Brown and Company.

    Google Scholar 

  14. Jackson, M.A. 1975. Principles of Program Design. Academic Press.

  15. Johnson, P. & Mead, D. 1991. Legislative Knowledge Based Systems for Public Administration — Some Practical Issues. In Proceedings of The Third International Conference on AI and Law, 108–117. Oxford: ACM Press.

    Google Scholar 

  16. Karpf, Jorgen. 1989. Quality Assurance of Legal Expert Systems. Jurimatics No 8, Copenhagen Business School.

  17. Kowalski, R. A. 1989. The Treatment of Negation in Logic Programs Representing Legislation. In Proceedings of The Second International Conference on AI and Law, 11–15. Vancouver:ACM Press.

    Google Scholar 

  18. Routen, Tom 1989. Hierarchically Organised Formalisations. In Proceedings of The Second International Conference on AI and Law, 242–250. Vancouver:ACM Press.

    Google Scholar 

  19. Routen T. W. & Bench-Capon, T. J. M. 1991. Hierarchical Formalisations. International Journal of Man Machine Studies 1:69–93.

    Google Scholar 

  20. Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P. & Cory, H. T. 1986. The British Nationality Act as a Logic Program. Communications of the ACM 29:5 370–386

    Google Scholar 

  21. Sergot, M. J. 1991. The representation of Law in Computer Programs. In Knowledge Based Systems and Legal Applications, ed. T. J. M. Bench-Capon, 3–68. Academic Press.

  22. Sergot, M. J. Kamble, A. S. & Bajaj, K. K. 1991. Indian Civil Service Pension Rules: A Case Study in Applying Logic Programming to Regulations. In Proceedings of The Third International Conference on AI and Law, 118–127. Oxford:ACM Press.

    Google Scholar 

  23. Storrs, G. E. & Burton, C. P. 1989. KANT, A Knowledge Analysis Tool. ICL Technical Journal 6:572–581.

    Google Scholar 

  24. de Vey Mestdagh, C. N. J. 1990. How Artificial Should Artificial Intelligence Be? In Legal Knowledge Based Systems: An Overview of Criteria for Validation and Practical Use, eds. Kracht D., de Vey Mestdagh, C. N. J. and Svensson, J. S. 93–104. Lelystad, The Netherlands:Koninklijke Vermade.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Bench-Capon, T.J.M., Coenen, F.P. Isomorphism and legal knowledge based systems. Artif Intell Law 1, 65–86 (1992). https://doi.org/10.1007/BF00118479

Download citation

Key words

  • legal knowledge based systems
  • maintenance
  • isomorphism