Abstract
There are cases in which the literal interpretation of statutes may lead to counterintuitive consequences. When such cases go to high courts, judges may handle these counterintuitive consequences by identifying problematic rule conditions. Given that the law consists of a large number of rule conditions, it is demanding and exhaustive to figure out which condition is problematic. For solving this problem, our work aims to assist judges in civil law systems to resolve counterintuitive consequences using logic program representation of statutes and Legal Debugging. The core principle of Legal Debugging is to cooperate with a user to find a culprit, a root cause of counterintuitive consequences. This article proposes an algorithm to resolve a culprit. Since the statutes are represented by logic rules but changes in law are initiated by cases, we adopt a prototypical case with judgement specified by a set of rules. Then, to resolve a culprit, we reconstruct a program so that it provides reasons as if we applied case-based reasoning to a new set of prototypical cases with judgement, which include a new set of facts relevant to a considering case.
Similar content being viewed by others
Notes
Definitions and examples in this article are mostly based on propositions without variables for ease of exposition. We provide the revision of definitions for first-order atoms in the “Appendix”.
This list of requisites and exceptions is adapted for ease of exposition.
In this article, we use the word \(`{ground}'\) in the sense of variable-free.
References
Aleven V (1997) Teaching case-based argumentation through a model and examples. Ph.D. thesis, University of Pittsburgh
Aleven V (2003) Using background knowledge in case-based legal reasoning: a computational model and an intelligent learning environment. Artif Intell 150(1–2):183–237
Araszkiewicz M, Płeszka K (2015) The concept of normative consequence and legislative discourse. Springer International Publishing, pp 253–297. Legisprudence Library
Athakravi D, Satoh K, Law M, Broda K, Russo A (2015) Automated inference of rules with exception from past legal cases using asp. In: International conference on logic programming and nonmonotonic reasoning. Springer, pp 83–96
Bain M, Muggleton S (1992) Non-monotonic learning. Inductive Logic. Program 38:145153
Berman DH, Hafner CD (1995) Understanding precedents in a temporal context of evolving legal doctrine. In: Proceedings of the 5th international conference on Artificial intelligence and law, pp 42–51
Branting LK (1991) Building explanations from rules and structured cases. Int J Man Mach Stud 34(6):797–837
Chorley A, Bench-Capon T (2005) Agatha: using heuristic search to automate the construction of case law theories. Artif Intell Law 13(1):9–51
Cyras K, Satoh K, Toni F (2016) Abstract argumentation for case-based reasoning. In: Fifteenth international conference on the principles of knowledge representation and reasoning
Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321–357
Fungwacharakorn W, Satoh K (2018) Legal debugging in propositional legal representation. In: JSAI international symposium on artificial intelligence. Springer, pp 146–159
Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: ICLP\(/\)SLP, vol 88, pp 1070–1080
Healy MP (2001) Communis opinio and the methods of statutory interpretation: interpreting law or changing law. Wm Mary L Rev 43:539
Henderson J, Bench-Capon T (2019) Describing the development of case law. In: Proceedings of the seventeenth international conference on artificial intelligence and law, pp 32–41
Levi EH (2013) An introduction to legal reasoning. University of Chicago Press
Li T, Balke T, De Vos M, Padget J, Satoh K (2013) A model-based approach to the automatic revision of secondary legislation. In: Proceedings of the fourteenth international conference on artificial intelligence and law, pp 202–206
Možina M, Žabkar J, Bench-Capon T, Bratko I (2005) Argument based machine learning applied to law. Artif Intell Law 13(1):53–73
Plotkin GD (1970) A note on inductive generalization. Mach Intell 5(1):153–163
Prakken H (1991) A tool in modelling disagreement in law: preferring the most specific argument. In: Proceedings of the 3rd international conference on Artificial intelligence and law, pp 165–174
Rigoni A (2015) An improved factor based approach to precedential constraint. Artif Intell Law 23(2):133–160
Rissland EL, Ashley KD (1987) A case-based system for trade secrets law. In: Proceedings of the 1st international conference on Artificial intelligence and law, pp 60–66
Rissland EL, Friedman MT (1995) Detecting change in legal concepts. In: Proceedings of the 5th international conference on Artificial intelligence and law, pp 127–136
Rissland EL, Skalak DB (1991) Cabaret: rule interpretation in a hybrid architecture. Int J Man Mach Stud 34(6):839–887
Satoh K, Tojo S, Suzuki Y (2007) Formalizing a switch of burden of proof by logic programming. In: Proceedings of the first international workshop on Juris-informatics (JURISIN 2007), pp 76–85
Satoh K, Kubota M, Nishigai Y, Takano C (2009) Translating the Japanese presupposed ultimate fact theory into logic programming. In: Proceedings of the 2009 conference on legal knowledge and information systems: JURIX 2009: the twenty-second annual conference. IOS Press, Amsterdam, The Netherlands, The Netherlands, pp 162–171
Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British Nationality Act as a logic program. Commun ACM 29(5):370–386
Shapiro EY (1983) Algorithmic program debugging. MIT Press, Cambridge
Sherman DM (1987) A prolog model of the income tax act of Canada. In: Proceedings of the 1st international conference on artificial intelligence and law. ACM, pp 127–136
Tamaki H, Sato T (1984) Unfold/fold transformation of logic programs. Proceedings of the second international conference on logic programming pp 127–138
Thielscher M (2001) The qualification problem: a solution to the problem of anomalous models. Artif Intell 131(1–2):1–37
Verheij B (2016) Formalizing value-guided argumentation for ethical systems design. Artif Intell Law 24(4):387–407
Walton D, Sartor G, Macagno F (2018) Statutory interpretation as argumentation. Springer, Netherlands, Dordrecht, pp 519–560
Wardeh M, Bench-Capon T, Coenen F (2009) Padua: a protocol for argumentation dialogue using association rules. Artif Intell Law 17(3):183–215
Acknowledgements
We would like to thank Tiago Oliveira and anonymous reviewers at AI and Law for their extensive comments. Funding was provided by Japan Society for the Promotion of Science (Grant Nos. Challenging Research (Pioneering) Grant Number JP19H05470, Challenging Research (Pioneering) Grant Number JP17H06103).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported by JSPS KAKENHI Grant Numbers, JP17H06103 and JP19H05470.
Appendix: First-order definitions
Appendix: First-order definitions
Throughout this article, we present most definitions based on propositional representation for ease of exposition. In “Appendix”, we present some revision of definitions when considering a first-order representation.
First of all, since each claim must have a rule, we must add one constraint to a program that for every rule atom A occurring in a program, there must be a rule R in a program such that head(R) is substitutable to A.
We extend AA-CBR to support a first-order case base by introducing an abstraction to deal with a first-order case base as follows.
Definition 11
(Abstraction and subsumption)
-
Let B be an atom, a set of atoms, a tuple of atoms, or a rule. An abstraction of B, denoted by abs(B), is obtained by constructing an injective mapping \(\{c_1/v_1,\ldots ,\) \(c_n/v_n\}\) for all constants in B and replacing every constant \(c_i\) in B by a new distinct variable \(v_i\) \((1 \le i \le n)\). For instance, \(abs({}) = {}\).
-
Let C and D be a set of atoms. We say C subsumes D () if there is a substitution \(\theta \) such that \(C\theta \subseteq D\) (Plotkin 1970). We denote such \(C\theta \) by \([C]_D\). We say C is substitutable to D (\(C \sqsupseteq D\)) if there is a substitution \(\theta \) such that \(C\theta = D\). C non-substitutably subsumes D () if but \(C \not \sqsupseteq D\).
Let CB be a finite set of first-order cases with judgement called a first-order case base. We assume that a first-order case base is consistent, that is no pair \((X,J_x),(Y,J_y) \in CB\) such that \(abs(X) \sqsupseteq Y\) but \(J_x \ne J_y\). We say a case with judgement \((N,{\bar{J}})\) is a trumping case with judgement to (C, J) w.r.t. CB when , and no other \((N',{\bar{J}}) \in CB\) such that and .
We also extend how AA-CBR predicts a judgement for a case N (called an analogous prediction) by constructing an analogous case base of CB w.r.t. N, denoted by .
An analogously predicted judgement of N is \(J_0\) if \((\{\},J_0)\) is in the ground extension of an argumentation framework corresponding to \(CB_N\). Otherwise, an analogously predicted judgement of N is \(\bar{J_0}\) .
A theory construction for a first-order case base is revised as follows.
Definition 12
(Theory-cons in first-order) Given a ground atom \(g_0\) with a rule predicate, a first-order critical case base CB with a default judgement \(`{-}'\), and (CB, attacks) as its corresponding argumentation framework, is defined by
-
(1)
Let \(pos_t(X,Y) = X\setminus [abs(Y)]_X\).
-
(2)
Let \(head_t(X,Y)\) be a ground atom with a new reified rule predicate \(p_{X,Y}\) and arguments from all arguments occurring in \(pos_t(X,Y)\).
-
(3)
Let \(var_t(A,B,C) = A_2\) when there is a substitution \(\theta \) such that \(abs(\langle A,B\rangle )\theta = (\langle A_2,[abs(B)]_C\rangle )\).
-
(4)
Let \(neg_t(X,Y)= \{not~var_t(head_t(Z,X),pos_t(X,Y),Z)| (X,J) \leadsto (Y,{\bar{J}}) \in attack\) and \((Z,{\bar{J}}) \leadsto (X,J) \in attack\}\).
-
(5)
Then, .
Theorem 2
Let CBbe a first-order case base and \(g_0\)be a ground rule atom. is an analogous theory of CB w.r.t. \(g_0\), namely an analogously predicted judgement of a case Nis \(`{+}'\)if and only if \(T \cup N \vdash g\)for some\(abs(g_0) \sqsupseteq g\).
Proof
Let \(CB_N\) be an analogous case base of CB w.r.t. N, \(T_N\) be a program T inserting all ground fact atoms from C as fact rules, P be a ground instantiation of \(T_N\), and \(P_N = \{R \in P| pos(R) \subseteq N\}\). We get that there is g for some \(abs(g_0) \sqsupseteq g\) such that \(CB_N\) is an analogous case base of . Hence, is an analogous theory of CB w.r.t. \(g_0\) \(\square \)
In Algorithm 2, one point that needs to be revised is to construct a new rule using \(abs(p :- N)\) and \(abs(Culp :- N\setminus [abs(C)]_N)\) instead of \(p :- N\) and \(Culp :- N\setminus C\) respectively. We also get a similar theorem to Theorem 1 with a proof in the same manner.
Theorem 3
Given a first-order program Trepresenting statutes, an initial counterintuitive consequence pand a case with judgement \(cj_n = (N,J)\)where Nis a set of relevant facts and Jis \(`{+}'\)if p shall be valid and \(`{-}'\)otherwise. Let . If , then the reconstructed theory \(T'\)according to Algorithm 2is ananalogous theory of \(CB' = CB \cup \{cj_n\}\).
Proof
We get that since for \(cj_n\), new rules are introduced corresponding to the definition of (Definition 12) for all \((C,{\bar{J}}) \in CB\) such that \(cj_n\) is a trumping case with judgement to \((C,{\bar{J}})\) w.r.t. CB. Since \(T' = \), \(T'\) is an analogous theory of \(CB'\). \(\square \)
Rights and permissions
About this article
Cite this article
Fungwacharakorn, W., Tsushima, K. & Satoh, K. Resolving counterintuitive consequences in law using legal debugging. Artif Intell Law 29, 541–557 (2021). https://doi.org/10.1007/s10506-021-09283-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10506-021-09283-7