A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems

  • Matthias Baaz
  • Gerald Quirchmayr
Conference paper

Abstract

Formal models of decision making, and especially of legal reasoning, have with very few exceptions, so far largely ignored the importance of analogical reasoning. The goal of this paper is to describe how a model of analogical reasoning as it is used in legal decision making can be built around Gentzen’s LK-calculus.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Baaz, M., Quirchmayr, G.: A logic based model of legal decision making. Proc. of the 10th Int. Workshop on Expert Systems and their Applications, Avignon, 1990.Google Scholar
  2. [2]
    Chang, C.-L., Lee, R. C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York and London, 1973.MATHGoogle Scholar
  3. [3]
    Cross, R.: Precedent in English Law. Clarendon Press, Oxford 1979.Google Scholar
  4. [4]
    Dugdale, T., Furmston, M., Jones, F., Sherrin, C., Stanton, K.: ’A’ level law. London, Edinburgh, 1988.Google Scholar
  5. [5]
    Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift, Vol. 39 (1934) 176–210 and 405–431.Google Scholar
  6. [6]
    Hall, R. P.: Computational approaches to analogical reasoning: a comparative analysis. Artificial Intelligence 39 (1989) 39–120.MathSciNetMATHCrossRefGoogle Scholar
  7. [7]
    Hart, H. L.: The Concept of Law. Oxford University Press, 1981.Google Scholar
  8. [8]
    Kappes, C. A. and Quirchmayr. G.: Artificial intelligence application in law and hypermedia. In: Artificial Intelligence, Application and Neural Network, Zürich 1930, p. 231 ff.Google Scholar
  9. [9]
    Kowalski, R. A.: Directions for Logic Programming. In: Brauer/Wahlster: Wissensbasierte Systeme. Springer IFB 155, Munchen, 1987.Google Scholar
  10. [10]
    Marsh, S. B. and Soulby, J.: O tlines of English Law. 4th edition, McGraw-Hill, London, 1987.Google Scholar
  11. [11]
    Parikh, R.: Some results on the length of proofs. TAMS 177 (1973) 29–36.MathSciNetMATHCrossRefGoogle Scholar
  12. [12]
    Takeuti, G.: Proof Theory. North-Holland, Amsterdam, 1975.Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Matthias Baaz
    • 1
  • Gerald Quirchmayr
    • 2
  1. 1.Institut für Algebra und Diskrete MathematikTechnische Universität WienWienAustria
  2. 2.Forschungsinstitut für anwendungsorientierte, Wissensverarbeitung (FAW)Johannes Kepler UniversitätLinzAustria

Personalised recommendations