Abstract
This article proposes a formal analysis of a fundamental aspect of legal reasoning: dealing with normative conflicts. Firstly, examples are illustrated concerning the dynamics of legal systems, the application of rules and exceptions, and the semantic indeterminacy of legal sources. Then two approaches to cope with conflicting information are presented: the preferred theories of Brewka, and the belief change functions of Alchourrón, Gärdenfors, and Makinson. The relations between those approaches are closely examined, and some aspects of a model of reasoning with normative conflicts are outlined. Since this model takes into account an ordering of the involved regulations, criteria to order legal norms are finally specified.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alchourrón, C.E. 1982. Normative Order and Derogation. In Deontic Logic, Computational Linguistics and Legal Information Systems, ed. A.A. Martino, 51–63. Amsterdam: North Holland.
Alchourrón, C.E. 1986. Conditionality and the Representation of Legal Norms. In Automated Analysis of Legal Texts, eds. A.A. Martino & F. Socci-Natali, 175–186. Amsterdam: North Holland.
Alchourrón, C.E. & Bulygin, E. 1977. Unvollständigkeit, Widerspüchlichkeit und Unbestimmheit der Normenordnung. In Deontische Logik und Semantik. Wiesbaden: Athenaion.
Alchourrón, C.E. & Bulygin, E. 1981. The Expressive Conception of Norms. In New Studies in Deontic Logic, ed. R. Hilpinen, 95–124. Dordrecht: Reidel.
Alchourrón, C.E. & Makinson, D. 1982. On the Logic of Theory Change: Contraction Functions and their Associated Revision Functions. Theoria 48 (1): 14–37.
Alchourrón, C.E. & Makinson, D. 1985. On the Logic of Theory Change: Safe Contractions. Studia Logica: 44: 405–422.
Alchourrón, C.E., Gärdenfors, P. & Makinson, D. 1985. On the Logic of Theory Change: Partial Meet Functions for Contractions and Revisions. Journal of Symbolic Logic 50: 510–530.
Alexy, R. 1978. Theorie der juristischen Argumentation. Frankfurt: Suhrkamp.
Bench-Capon, T.J.M & Sergot M.J., 1985. Towards a Rule-based Representation of Open Texture in Law. London: Imperial College, Department of Computing.
Bobbin, N. 1958. Teoria dell' ordinamento giuridico. Torino: Giappichelli.
Brewka, G. 1991a. Belief Revision in a Framework for Default Reasoning. In The Logic of Theory Change. Workshop, Konstanz, FRG, October 13–15, 1898. Proceedings, eds. A. Fuhrmann & M. Morreau, 206–222. Berlin: Springer.
Brewka, G. 1991b. Nonmonotonic Reasoning. Logical Foundations of Commonsense. Cambridge: Cambridge University Press.
Delgrande, J.P. 1988. An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report. Artificial Intelligence 26: 63–90.
Gärdenfors, P. 1988. Knowledge in Flux. Cambridge (Massachusetts): MIT Press.
Gärdenfors, P. 1989. The Dynamics of Normative Systems. In Preproceedings of the III International Conference on Logica, Informatica, Diritto, edited by A.A. Martino, 293–299. Firenze: Istituto per la documentazione giuridica.
Gärdenfors, P. 1990. The Dynamics of Belief Systems: Foundations vs. Coherence Theories. Revue internationale de Philosophie. 172(1): 24–46.
Gärdenfors, P. & Makinson, D. 1988. Revision of Knowledge Systems Using Epistemic Entrenchment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, ed. I.Y. Vardi. Los Altos (CA): Morgan Kaufmann.
Gärdenfors, P. & Makinson, D. 1991. Relations between the Logic of Theory Change and Nonmonotonic Logic. In The Logic of Theory Change. Workshop, Konstanz, FRG, October 13–15, 1989. Proceedings, eds. A. Fuhrmann & M. Morreau, 185–205. Berlin: Springer.
Gardner, A.v.d.L. 1987. An Artificial Intelligence Approach to Legal Reasoning. Cambridge (Massachusetts): MIT Press.
Gordon, T.F. 1988. The Importance of Nonmontonicity for Legal Reasoning. In Expert Systems in Law: Impacts on Legal Theory and Computer Law, eds. H. Fiedler, F. Haft & R. Traunmüller, 111–126. Tübingen: Attempto.
Gordon, T.F. 1989. Issue Spotting in a System for Searching Interpretation Spaces. In The Second International Conference on Artificial Intelligence and Law: Proceedings of the Conference, 157–164. New York: ACM Press.
Hart, H.L.A. 1961. The Concept of Law. London: Oxford University Press.
Kowalski, R.A. & Sadri, F. 1990. Logic Programming with Exceptions. In Proceedings of the Seventh International Logic Programming Conference, 598–613. New York: MIT Press.
Levi, I. 1977. Subjunctives, Dispositions, and Change. Synthèse 34: 423–455.
Makinson, D. 1985. How to Give up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthèse 62: 347–363.
Peczenick, A. 1982. Legal Errata. In Deontic Logic, Computational Linguistics and Legal Information Systems, ed. A.A. Martino, 103–125. Amsterdam: North Holland.
Peczenick, A. 1983. The Basis of Legal Justification. Lund: Peczenik.
Peczenick, A. 1987. Legal Rules and Moral Principles. In Technischer Imperativ and Legitimationskrise des Rechts, eds. W. Krawietz, A.A. Martino & K.L. Winston, 151–167. Rechtstheorie, Beiheft 11. Berlin: Dunckner and Humblot.
Poole, D.L. 1985. One the Comparison of Theories: Preferring the Most Specific Explanation. In Proceedings IJCAI 1985, 144–147.
Poole, D.L. 1987. Variables in Hypotheses. In Proceedings IJCAI 1987, Milano.
Poole, D.L. 1988. A Logical Framework for Default Reasoning. Artificial Intelligence 36: 27–47.
Poole, D.L., Goebel, R.G. & Aleliunas, R. 1987. Theorist: A Logical Reasoning System for Defaults and Diagnosis. In The Knowledge Frontier: Essays in the Representation of Knowledge, eds. N. Cercone, & G. McCalla, 331–352. New York: Springer.
Prakken, H. 1991a. A Tool to Model Disagreement in Law: Preferring the Most Specific Argument. In The Third International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 165–174. New York: ACM Press.
Prakken, H. 1991b. Reasoning with Normative Hierarchies. In Deon'91. First International Workshop on Deontic Logic in Computer Science. Amsterdam, The Netherlands, December 11–13. Proceedings, eds. Ch. Meyer & R.J. Weiringa. Amsterdam: Vrije Universiteit Amsterdam.
Rescher, N. 1964. Hypothetical Reasoning. Amsterdam: North Holland.
Ross. W.D. 1930. The Right and the Good. Oxford: Claredon Press.
Ross, W.D. 1939. Foundations of Ethics. Oxford: Claredon Press.
Sartor, G. 1991. The Structure of Legal Norms and Nonmonotonic Reasoning in Law. In The Third International Conference on Artificial Intelligence and Law. Proceedings of the Conference, 155–164. New York: ACM Press.
Simari, G. & Loui, R.P. 1991. A Mathematical Treatment of Defeasible Reasoning and its Implementation. Artificial Intelligence 53: 125–157.
Tourezky, D.S. 1986. The Mathematics of Inheritance. London: Pitnam Research Notes in Artificial Intelligence.
Tourezky, D.S, Horty J.F., & Thomason, R.H. 1988. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. Proceedings AAAI 87.
Tourezky, D.S. & Thomason, R.H. 1988. Nonmonotonic Inheritance and Generic Reflexives. Proceedings AAAI 88.
Wroblewski, J. [1969] 1983. Justification of Legal Decisions. In Meaning and Truth in Judicial Decision, 49–70. Helsinki: A-Thieto Oy. First published in Logique et Analyse 3.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sartor, G. Normative conflicts in legal reasoning. Artif Intell Law 1, 209–235 (1992). https://doi.org/10.1007/BF00114921
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00114921