Limits of Constraint Satisfaction Theory of Coherence as a Theory of (Legal) Reasoning

  • Michał Araszkiewicz
Part of the Law and Philosophy Library book series (LAPS, volume 107)


The aim of this paper is to explore the limits of the constraint satisfaction theory of coherence (CsCS) as a basis for a model of legal argumentation concerning questions about norms. The main thesis defended here is that CaCS is a promising basis for such model, but it has to overcome certain important objections. This paper focuses on objections of a technical nature, related to the problems of representation of arguments and relations between arguments in the framework of CaCS. The paper outlines possible ways of dealing with these difficulties and indicates a perspective of further research on the subject.


Constraint Satisfaction Legal Reasoning Constraint Type Legal Conclusion Positive Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Aarnio, A., et al. 1998. On coherence theory in law. Lund: Juristfölager i Lund.Google Scholar
  2. Alexy, R. 2002. A theory of constitutional rights. Trans. J. Rivers. Oxford: Oxford University Press.Google Scholar
  3. Alexy, R., and A. Peczenik. 1990. The concept of coherence and its significance for discourse rationality. Ratio Juris 3(1): 130–147.CrossRefGoogle Scholar
  4. Amaya, A. 2007. Formal models of coherence and legal epistemology. Artificial Intelligence and Law 15: 429–447.CrossRefGoogle Scholar
  5. Amaya, A. 2011. Legal justification by optimal coherence. Ratio Juris 24: 304–329.CrossRefGoogle Scholar
  6. Amgoud, L., et al. 2008. On bipolarity in argumentation frameworks. International Journal of Intelligent 23: 1–32.CrossRefGoogle Scholar
  7. Araszkiewicz, M. 2010. Balancing of legal principles and constraint satisfaction. In Legal knowledge and information systems (Proceedings of the Jurix 2010 conference), ed. R.G.F. Winkels, 7–15. Amsterdam: Ios Press.Google Scholar
  8. Bex, F., and B. Verheij. 2011. Legal shifts in the process of proof. In Proceedings of the 13th international conference on artificial intelligence and law, 11–20. New York: ACMGoogle Scholar
  9. Dubois, D., and H. Prade. 2006. A bipolar possibilistic representation of knowledge and preferences and its applications. eds. I. Bloch, A. Petrosino, A. Tettamanzi, 1–10. Fuzzy Logic and Applications, 6th International Workshop, WILF 2005, Crema, Italy, 15–17 Sept. 2005, Revised Selected Papers. Lecture Notes in Computer Science 3849.Google Scholar
  10. 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(2): 321–358.CrossRefGoogle Scholar
  11. Dworkin, R. 1967. The model of rules. University of Chicago Law Review 35: 14–46.CrossRefGoogle Scholar
  12. Gordon, T.F., and D. Walton. 2006. The carneades argumentation framework—Using presumptions and exceptions to model critical questions. In Proceedings of the First International Conference on Computational Models of Argument, ed. P.E. Dunne, 195–207. Amsterdam: Ios Press.Google Scholar
  13. Hage, J.C. 2001. Formalizing legal coherence. In Proceedings of the 8th international conference on artificial intelligence and law, 22–31. New York: ACMGoogle Scholar
  14. Hage, J.C. 2003. Law and defeasibility. Artificial Intelligence and Law 11: 221–243.CrossRefGoogle Scholar
  15. Hage, J.C. 2005. Studies in legal logic. Dordrecht: Springer.Google Scholar
  16. Hesselink, M. 2001. The new European legal culture. Denventer: Kluwer.Google Scholar
  17. Joseph, S., and H. Prakken. 2009. Coherence-driven argumentation to norm consensus. In Proceedings of the 12th international conference on artificial intelligence and law, 58–77. New York: ACMGoogle Scholar
  18. MacCormick, N. 1978. Legal reasoning and legal theory. Oxford: Oxford University Press.Google Scholar
  19. MacCormick, N. 2005. Rhetoric and the rule of Law. Oxford: Oxford University Press.CrossRefGoogle Scholar
  20. MacCormick, N., and R. Summers (eds.). 1991. Interpreting statutes: A comparative study. Dartmouth: Ashgate.Google Scholar
  21. McCarty, L.T. 1997. Some arguments about legal arguments. In Proceedings of the 6th international conference on artificial intelligence and law, 215–224. New York: ACM.Google Scholar
  22. Modgil, S., and T. Bench-Capon. 2009. Metalevel argumentation. Journal of Logic and Computation 21(6): 959–1004.CrossRefGoogle Scholar
  23. Nielsen, S.H., and S. Parsons. 2007. A generalization of Dung’s abstract framework for argumentation: Arguing with sets of attacking arguments. In Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, eds. N. Maudet, S. Parsons, and I. Rahwan, 54–73. Lecture Notes in Computer Science, 4766. Berlin/New York: Springer.Google Scholar
  24. Peczenik, A. 1990. Coherence, truth and rightness in the Law. In Law, interpretation and reality: Essays in epistemology, hermeneutics and jurisprudence, ed. P. Nerhot, 275–309. Dordrecht/Boston/London: Kluwer.CrossRefGoogle Scholar
  25. Peczenik, A. 2008. On law and reason, 2nd ed. Dordrecht: Springer.Google Scholar
  26. Pollock, J.L. 1995. Cognitive carpentry: A blueprint for how to build a person. Cambridge/London: MIT Press.Google Scholar
  27. Prakken, H. 1997. Logical tools for modelling legal argument: Study of defeasible reasoning in Law. Dordrecht: Kluwer Academic.CrossRefGoogle Scholar
  28. Raz, J. 1992. The relevance of coherence. Boston University Law Review 72: 273. Also in Joseph Raz, Ethics in the Public Domain, revised edition, Oxford: Clarendon Press 1995, 77–325.Google Scholar
  29. Sartor, G. 2005. Legal reasoning, a cognitive approach to the law. Dordrecht: Springer.Google Scholar
  30. Sartor, G. 2010. Doing justice to rights and values: Teleological reasoning and proportionality. Artificial Intelligence and Law 18: 175–215.CrossRefGoogle Scholar
  31. Thagard, P. 2000. Coherence in thought and action. Cambridge, MA: MIT Press.Google Scholar
  32. Thagard, P., and K. Verbeurgt. 1998. Coherence as constraint satisfaction. Cognitive Science 22: 1–24.CrossRefGoogle Scholar
  33. Yoshino, H. 1995. The systematization of legal meta-inference. In Proceedings of the 5th international conference on artificial intelligence and law, 266–275. New York: ACM.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht. 2013

Authors and Affiliations

  1. 1.Department of Legal Theory, Faculty of Law and AdministrationJagiellonian UniversityKrakówPoland

Personalised recommendations