Abstract
Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.
The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a ‘declarative’, or ‘relational’ approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of ‘procedural’, or ‘dialectical’ models of legal argument.
Similar content being viewed by others
References
Ashley, K.D. 1990. Modeling legal argument: reasoning with cases and hypotheticals. Cambridge, MA: MIT Press, 1990.
Bondarenko, A., Toni, F. & Kowalski, R.A. 1993. An assumption-based framework for non-monotonic reasoning. Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning, 1993, 171–189, Lisbon: MIT Press.
Brewka, G. 1994a. Reasoning about priorities in default logic. Proceedings AAAI-94, 247–260. Seattle.
Brewka, G. 1994b. A logical reconstruction of Rescher's theory of formal disputation based on default logic. Proceedings of the 11th European Conference on Artificial Intelligence, 366–370. Amsterdam: Wiley.
Brewka, G. 1996. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4, 19–36.
Dung, P .M. 1993. An argumentation semantics for logic programming with explicit negation. Proceedings of the Tenth Logic Programming Conference, 1993, 616–630. MIT Press.
Dung, P.M. 1994. Logic programming as dialogue games. Unpublished paper.
Dung, P.M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence 77, 321–357.
Farley, A.M. and Freeman, K. 1995. Burden of Proof in Legal Argumentation. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 156–164. College Park, MD: ACM Press.
Geffner, H. and Pearl, J. 1992. Conditional entailment: bridging two approaches to default reasoning. Artificial Intelligence 53, 209–244.
Gordon, T.F. 1994. The Pleadings Game: An Exercise in Computational Dialectics. Artificial Intelligence and Law 2: 239–292.
Gordon, T.F. 1995. The Pleadings Game. An Artificial Intelligence Model of Procedural Justice. Kluwer, 1995.
Hage, J.C. Teleological reasoning in reason-based logic. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 11–20. College Park, MD: ACM Press.
Hage, J.C., Leenes, R. & Lodder, A.R. 1994. Hard cases: a procedural approach. Artificial Intelligence and Law 2: 113–167.
Hamfelt, A. & Barklund, J. 1989. Metalevels in legal knowledge and their runnable representation in logic. Preproceedings of the III International Conference on “Logica, Informatica, Diritto”, Vol. TI, 557–576. Florence.
Horty, J.F., Thomasson, R.H. & Touretzky, D.S. 1990. A skeptical theory of inheritance in nonmonotonic semantic networks. Artificial Intelligence 42, 311–348.
Kowalski, R.A. & Sadri, F. 1990. Logic programs with exceptions. Proceedings of the Seventh International Logic Programming Conference, 598–613. MIT Press.
Laenens. E. & Vermeir, D. 1990. A fixed points semantics for ordered logic. Journal of Logic and Computation Vol. 1 No. 2, 159–185.
Lodder, A.R. & Herczog, A. 1995. DiaLaw: A dialogical framework for modelling legal reasoning. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 146–155. College Park, MD: ACM Press.
Loui, R.P. 1987. Defeat among arguments: a system of defeasible inference. Computational Intelligence 2, 100–106.
Loui, R.P. 1993. Process and policy: resource-bounded non-demonstrative reasoning. Report WUCS92-43, Washington-University-in-St-Louis, 1993. To appear in Computational Intelligence.
Loui, R.P. & Norman, J. 1995. Rationales and argument moves. Artificial Intelligence and Law 3: 159–189.
Loui, R.P., Norman, J., Olson, J. & Merrill, A. 1993. A design for reasoning with policies, precedent, and rationales. Proceedings of Fourth International Conference on Artificial Intelligence and Law, 202–211. Amsterdam: ACM Press.
McCarty, L.T. & Sridharan, N.N. 1982. A computational theory of legal argument. Technical Report LRP-TR-13, Laboratory for Computer Science Research, Rutgers University, 1982.
Nitta, K. et al. 1995. New HELIC-II: a software tool for legal reasoning. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 287–296. College Park, MD: ACM Press.
Nute, D.N. 1994. A decidable quantified defeasible logic. In D. Prawitz, B. Skyrms and D. Westerståhl (eds.): Logic, Methodology and Philosophy of Science IX. Elsevier Science B.V., 1994, 263–284.
Pollock, J.L. 1992. How to reason defeasibly. Artificial Intelligence 57, 1–42.
Prakken, H. 1991. A tool in modelling disagreement in law: preferring the most specific argument. Proceedings of the Third International Conference on Artificial Intelligence and Law, 165–174. Oxford: ACM Press.
Prakken, H. 1993. Logical tools for modelling legal argument. Doctoral Dissertation Free University Amsterdam, 1993.
Prakken, H. 1995a. A semantic view on reasoning about priorities (extended abstract). Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning, 152–159. Utrecht.
Prakken, H. 1995b. From logic to dialectics in legal argument. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 165–174. College Park, MD: ACM Press.
Prakken, H. & Sartor, G. 1995. On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1–9. College Park, MD: ACM Press.
Prakken & Sartor, G. 1996a. A system for defeasible argumentation, with defeasible priorities. Proceedings of the International Conference on Formal Aspects of Practical Reasoning, Springer Lecture Notes in AI 1085, 510–524. Bonn: Springer Verlag.
Prakken & Sartor, G. 1996b. Argument-based extended logic programming with defeasible priorities. To appear in Journal of Applied Non-classical Logics.
Raz, J. 1975. Practical reason and norms. Princeton University Press, 1975.
Rescher, N. 1977. Dialectics: a controversy-oriented approach to the theory of knowledge. State University of New York Press, Albany, 1977.
Rissland, E.L. & Skalak, D.B. 1991. CABARET: statutory interpretation in a hybrid architecture. International Journal of Man-Machine Studies 34, 839–887.
Routen, T. 1989. Hierarchically organised formalisations. Proceedings of the Second International Conference on Artificial Intelligence and Law, 242–250. Vancouver: ACM Press.
Sartor, G. 1993. A simple computational model for nonmonotonic and adversarial legal reasoning. Proceedings of the Fourth International Conference on Artificial Intelligence and Law, 192–201. Amsterdam: ACM Press.
Sartor, G. A formal model of legal argumentation. Ratio Juris 7, 212–226.
Simari, G.R. & R.P. Loui, R.P. 1992. A mathematical treatment of defeasible argumentation and its implementation. Artificial Intelligence 53, 125–157.
Skalak, D.B. & Rissland, E.L. 1992. Arguments and Cases. An Inevitable Intertwining. Artificial Intelligence and Law, 3–44.
St-Vincent, P., Poulin, D. & Bratley, P. 1995. A Computational Framework for Dialectical Reasoning. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 137–145. College Park, MD: ACM Press.
Vreeswijk, G. 1993a. Studies in defeasible argumentation. Doctoral dissertation Free University Amsterdam, 1993.
Vreeswijk, G. Defeasible dialectics: a controversy-oriented approach towards defeasible argumentation. Journal of Logic and Computation, Vol. 3, No. 3, 317–334.
Yoshino, H. 1995. The systematization of legal meta-inference. Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 266–275. College Park, MD: ACM Press.
Yoshino, H. and Kithahara, M. 1988. Les-Project. In H. Fiedler, F. Haft, R. Traunmüller (eds.): Expert systems in law. Impacts on legal theory and computer law. Attempto Verlag, Tübingen, 1988, 47–65.
Author information
Authors and Affiliations
Additional information
Supported by a research fellowship of the Royal Netherlands Academy of Arts and Sciences, and by Esprit WG 8319 ‘Modelage’.
Rights and permissions
About this article
Cite this article
Prakken, H., Sartor, G. A dialectical model of assessing conflicting arguments in legal reasoning. Artif Intell Law 4, 331–368 (1996). https://doi.org/10.1007/BF00118496
Issue Date:
DOI: https://doi.org/10.1007/BF00118496