Wijnand van Woerkom
ABSTRACT
In recent work, theories of case-based legal reasoning have been applied to the development of explainable artificial intelligence methods, through the analogy of training examples as previously decided cases. One such theory is that of precedential constraint. A downside of this theory with respect to this application is that it performs single-step reasoning, moving directly from the case base to an outcome. For this reason we propose a generalization of the theory of precedential constraint which allows multi-step reasoning, moving from the case base through a series of intermediate legal concepts before arriving at an outcome. Our generalization revolves around the notion of factor hierarchy, so we call this hierarchical precedential constraint. We present the theory, demonstrate its applicability to case-based legal reasoning, and perform a preliminary analysis of its theoretical properties.
- Vincent Aleven. 1997. Teaching Case-Based Argumentation Through a Model and Examples. Ph.D. Dissertation. University of Pittsburgh.Google Scholar
- Vincent Aleven and Kevin D. Ashley. 1997. Evaluating a learning environment for case-based argumentation skills. In Proceedings of the 6th International Conference on Artificial Intelligence and Law, 170--179.Google Scholar
- Kevin D. Ashley. 1991. Reasoning with cases and hypotheticals in HYPO. International Journal of Man-Machine Studies, 34, 6, 753--796.Google ScholarDigital Library
- Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, and Stefan Woltran. 2013. Abstract dialectical frameworks revisited. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, 803--809.Google ScholarDigital Library
- Ilaria Canavotto. 2022. Precedential constraint derived from inconsistent case bases. In Legal Knowledge and Information Systems. JURIX 2022: The Thirty-fifth Annual Conference. Enrico Francesconi, Georg Borges, and Christoph Sorge, (Eds.) IOS Press, 23--32.Google ScholarCross Ref
- Oana Cocarascu, Andria Stylianou, Kristijonas Čyras, and Francesca Toni. 2020. Data-empowered argumentation for dialectically explainable predictions. In Proceedings of the 24th European Conference on Artificial Intelligence. Giuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, and Jérôme Lang, (Eds.) IOS Press, 2449--2456.Google Scholar
- Kristijonas Čyras, David Birch, Yike Guo, Francesca Toni, Rajvinder Dulay, Sally Turvey, Daniel Greenberg, and Tharindi Hapuarachchi. 2019. Explanations by arbitrated argumentative dispute. Expert Systems with Applications, 127, 141--156.Google ScholarDigital Library
- Kristijonas Čyras, Ken Satoh, and Francesca Toni. 2016. Explanation for case-based reasoning via abstract argumentation. In Computational Models of Argument, Proceedings of COMMA 2016. Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, and Manfred Stede, (Eds.) IOS Press, 243--254.Google Scholar
- Siegfried Gottwald. 2022. Many-Valued Logic. In The Stanford Encyclopedia of Philosophy. (Summer 2022 ed.). Edward N. Zalta, (Ed.) Metaphysics Research Lab, Stanford University.Google Scholar
- John Horty. 2019. Reasoning with dimensions and magnitudes. Artificial Intelligence and Law, 27, 3, 309--345.Google ScholarDigital Library
- John F. Horty. 2011. Rules and reasons in the theory of precedent. Legal Theory, 17, 1, 1--33.Google ScholarCross Ref
- Xinghan Liu, Emiliano Lorini, Antonino Rotolo, and Giovanni Sartor. 2022. Modelling and explaining legal case-based reasoners through classifiers. In Knowledge and Information Systems. JURIX 2022: The Thirty-fifth Annual Conference. Enrico Francesconi, Georg Borges, and Christoph Sorge, (Eds.) IOS Press, 83--92.Google ScholarCross Ref
- Henry Prakken. 2021. A formal analysis of some factor- and precedent-based accounts of precedential constraint. Artificial Intelligence and Law, 29, 4, 559--585.Google ScholarDigital Library
- Henry Prakken and Rosa Ratsma. 2022. A top-level model of case-based argumentation for explanation: formalisation and experiments. Argument & Computation, 13, 2, 159--194.Google ScholarCross Ref
- Abraham Cornelis Roth. 2003. Case-based reasoning in the law. A formal theory of reasoning by case comparison. Dissertation. Universiteit Maastricht.Google Scholar
- Bram Roth and Bart Verheij. 2004. Dialectical arguments and case comparison. In Legal Knowledge and Information Systems. JURIX 2004: The Seventeenth Annual Conference. T.F. Gordon, (Ed.), 99--108.Google Scholar
- Christian Strasser and G. Aldo Antonelli. 2019. Non-monotonic Logic. In The Stanford Encyclopedia of Philosophy. (Summer 2019 ed.). Edward N. Zalta, (Ed.) Metaphysics Research Lab, Stanford University.Google Scholar
- Wijnand van Woerkom, Davide Grossi, Henry Prakken, and Bart Verheij. 2022. Landmarks in case-based reasoning: from theory to data. In HHAI2022: Augmenting Human Intellect. Stefan Schlobach, María Pérez-Ortiz, and Myrthe Tielman, (Eds.) IOS Press, 212--224.Google ScholarCross Ref
- Bart Verheij. 2020. Artificial intelligence as law. Artificial Intelligence and Law, 28, 2, 181--206.Google ScholarDigital Library
- Bart Verheij. 2003. Deflog: on the logical interpretation of prima facie justified assumptions. Journal of Logic and Computation, 13, 3, 319--346.Google ScholarCross Ref
Index Terms
- Hierarchical Precedential Constraint
Recommendations
A formal analysis of some factor- and precedent-based accounts of precedential constraint
AbstractIn this paper several recent factor- and dimension-based models of precedential constraint are formally investigated and an alternative dimension-based model is proposed. Simple factor- and dimension-based syntactic criteria are identified for ...
Precedential constraint: the role of issues
ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and LawHorty, Rigoni and Prakken have developed formal characterisations of precedential constraint based on dimensions and factors as introduced in HYPO and CATO. We discuss the relation between dimensions and factors and also describe the current models of ...
A factor-based definition of precedential constraint
This paper describes one way in which a precise reason model of precedent could be developed, based on the general idea that courts are constrained to reach a decision that is consistent with the assessment of the balance of reasons made in relevant ...
Comments