{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:23:55Z","timestamp":1768353835644,"version":"3.49.0"},"reference-count":85,"publisher":"Frontiers Media SA","license":[{"start":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T00:00:00Z","timestamp":1693785600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["frontiersin.org"],"crossmark-restriction":true},"short-container-title":["Front. Artif. Intell."],"abstract":"<jats:p>This article investigates the conceptual connection between argumentation and explanation in the law and provides a formal account of it. To do so, the methods used are conceptual analysis from legal theory and formal argumentation from AI. The contribution and results are twofold. On the one hand, we offer a critical reconstruction of the concept of legal argument, justification, and explanation of decision-making as it has been elaborated in legal theory and, above all, in AI and law. On the other hand, we propose some definitions of explanation in the context of formal legal argumentation, showing a connection between formal justification and explanation. We also investigate the notion of stable normative explanation developed elsewhere in Defeasible Logic and extend some complexity results. Our contribution is thus mainly conceptual, and it is meant to show how notions of explanation from literature on explainable AI and legal theory can be modeled in an argumentation framework with structured arguments.<\/jats:p>","DOI":"10.3389\/frai.2023.1130559","type":"journal-article","created":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T13:20:41Z","timestamp":1693833641000},"update-policy":"https:\/\/doi.org\/10.3389\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Argumentation and explanation in the law"],"prefix":"10.3389","volume":"6","author":[{"given":"Antonino","family":"Rotolo","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"Sartor","sequence":"additional","affiliation":[]}],"member":"1965","published-online":{"date-parts":[[2023,9,4]]},"reference":[{"key":"B1","volume-title":"The Nature of Explanation","author":"Achinstein","year":"1983"},{"key":"B2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7118-9","author":"Alchourron","year":"1971","journal-title":"Normative Systems. LEP Library of Exact Philosophy"},{"key":"B3","first-page":"170","article-title":"\u201cEvaluating a learning environment for case-based argumentation skills,\u201d","volume-title":"Proceedings of the Sixth International Conference on Artificial Intelligence and Law (ICAIL-97)","author":"Aleven","year":"1997"},{"key":"B4","volume-title":"A Theory of Legal Argumentation: The Theory of Rational Discourse as Theory of Legal Justification","author":"Alexy","year":"1989"},{"key":"B5","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.artint.2008.11.006","article-title":"Using arguments for making and explaining decisions","volume":"173","author":"Amgoud","year":"2009","journal-title":"Artif. Intell"},{"key":"B6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","article-title":"Representation results for defeasible logic","volume":"2","author":"Antoniou","year":"2001","journal-title":"ACM Trans. Comput. Log"},{"key":"B7","first-page":"42","article-title":"\u201cToward and intelligent tutoring system for teaching law students to argue with cases,\u201d","volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law (ICAIL)","author":"Ashley","year":"1991"},{"key":"B8","volume-title":"Modeling Legal Argument: Reasoning with Cases and Hypotheticals","author":"Ashley","year":"1990"},{"key":"B9","doi-asserted-by":"publisher","first-page":"103387","DOI":"10.1016\/j.artint.2020.103387","article-title":"Explanation in AI & Law: past, present and future","volume":"289","author":"Atkinson","year":"2020","journal-title":"Artif. Intell"},{"key":"B10","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1016\/j.artint.2007.04.009","article-title":"Practical reasoning as presumptive argumentation using action based alternating transition systems","volume":"171","author":"Atkinson","year":"2007","journal-title":"Artif. Intell"},{"key":"B11","volume-title":"The Moral Point of View","author":"Baier","year":"1958"},{"key":"B12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-0-387-98197-0_2","article-title":"\u201cSemantics of abstract argument systems,\u201d","volume-title":"Argumentation in Artificial Intelligence","author":"Baroni","year":"2009"},{"key":"B13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1019501830692","article-title":"A note on dimensions and factors","volume":"10","author":"Bench-Capon","year":"2002","journal-title":"Artif. Intell. Law"},{"key":"B14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(03)00108-5","article-title":"A model of legal reasoning with cases incorporating theories and values","volume":"150","author":"Bench-Capon","year":"2003","journal-title":"Artif. Intell"},{"key":"B15","first-page":"13","article-title":"\u201cArgument schemes for reasoning with legal cases using values,\u201d","volume-title":"Proceedings of the 14th International Conference on Artificial Intelligence and Law","author":"Bench-Capon","year":"2013"},{"key":"B16","first-page":"50","article-title":"\u201cRepresenting teleological structure in case-based reasoning: the missing link,\u201d","volume-title":"Proceedings of the Fourth International Conference on Artificial Intelligence and Law (ICAIL)","author":"Berman","year":"1993"},{"key":"B17","doi-asserted-by":"publisher","first-page":"200118","DOI":"10.1016\/j.iswa.2022.200118","article-title":"Explaining semantics and extension membership in abstract argumentation","volume":"16","author":"Besnard","year":"2022","journal-title":"Intell. Syst. Appl"},{"key":"B18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-48238-5_8","article-title":"Revising nonmonotonic theories: the case of defeasible logic","volume":"1701","author":"Billington","year":"1999","journal-title":"Lect. Notes Comput. Sci"},{"key":"B19","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10849-016-9244-9","article-title":"Agm contraction and revision of rules","volume":"25","author":"Boella","year":"2016","journal-title":"J. Log. Lang. Inf"},{"key":"B20","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-9452-0","author":"Bongiovanni","year":"2018","journal-title":"Handbook of Legal Reasoning and Argumentation"},{"key":"B21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MIS.2021.3053102","article-title":"A basic framework for explanations in argumentation","volume":"36","author":"Borg","year":"","journal-title":"IEEE Intell. Syst"},{"key":"B22","first-page":"183","article-title":"\u201cExplaining arguments at the dutch national police,\u201d","volume-title":"AI Approaches to the Complexity of Legal Systems XI-XII","author":"Borg","year":"2020"},{"key":"B23","first-page":"45","article-title":"\u201cNecessary and sufficient explanations for argumentation-based conclusions,\u201d","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"Borg","year":""},{"key":"B24","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.artint.2018.11.002","article-title":"Strong inconsistency","volume":"267","author":"Brewka","year":"2019","journal-title":"Artif. Intell"},{"key":"B25","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-030-22102-7_6","article-title":"\u201cStrong explanations for nonmonotonic reasoning,\u201d","volume-title":"Description Logic, Theory Combination, and All That, Volume 11560 of LNCS","author":"Brewka","year":"2019"},{"key":"B26","first-page":"40","article-title":"\u201cBurdens of persuasion and standards of proof in structured argumentation,\u201d","volume-title":"Logic and Argumentation 4th International Conference, CLAR 2021 Hangzhou, China, October 20-22, 2021. Proceedings","author":"Calegari","year":"2021"},{"key":"B27","doi-asserted-by":"publisher","first-page":"149","DOI":"10.3233\/AAC-200523","article-title":"Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines","volume":"12","author":"Cyras","year":"","journal-title":"Argum. Comput"},{"key":"B28","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/600","article-title":"\u201cArgumentative XAI: a survey,\u201d","author":"Cyras","year":"","journal-title":"Proc. IJCA I-2021"},{"key":"B29","first-page":"3039","article-title":"Handling norms in multi-agent systems by means of formal argumentation","volume":"4","author":"da Costa Pereira","year":"2017","journal-title":"FLAP"},{"key":"B30","doi-asserted-by":"publisher","first-page":"685","DOI":"10.2307\/2023177","article-title":"Actions, reasons, and causes","volume":"60","author":"Davidson","year":"1963","journal-title":"J. Philos"},{"key":"B31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-019-09253-0","article-title":"Evidence and decision making in the law: theoretical, computational and empirical approaches","volume":"28","author":"Di Bello","year":"2020","journal-title":"Artif. Intell. Law"},{"key":"B32","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artif. Intell"},{"key":"B33","doi-asserted-by":"publisher","first-page":"1496","DOI":"10.1609\/aaai.v29i1.9420","article-title":"On computing explanations in argumentation","volume":"29","author":"Fan","year":"2015","journal-title":"Proc. AAAI Conf. Artif. Intell"},{"key":"B34","volume-title":"The Pleadings Game. An Artificial Intelligence Model of Procedural Justice","author":"Gordon","year":"1995"},{"key":"B35","doi-asserted-by":"crossref","DOI":"10.1145\/3594536.3595175","article-title":"\u201cDeontic ambiguities in legal reasoning,\u201d","volume-title":"ICAIL 2023","author":"Governatori","year":"2023"},{"key":"B36","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","article-title":"Changing legal systems: legal abrogations and annulments in defeasible logic","volume":"18","author":"Governatori","year":"2010","journal-title":"Log. J. IGPL"},{"key":"B37","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","article-title":"Argumentation semantics for defeasible logics","volume":"14","author":"Governatori","year":"2004","journal-title":"J. Log. Comput"},{"key":"B38","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.ijar.2018.10.020","article-title":"Revision of defeasible preferences","volume":"104","author":"Governatori","year":"2019","journal-title":"Int. J. Approx. Reason"},{"key":"B39","article-title":"\u201cFrom defeasible logic to counterfactual reasoning,\u201d","volume-title":"Proc. Declarative AI 2022","author":"Governatori","year":""},{"key":"B40","first-page":"245","article-title":"\u201cInference to the stable explanations,\u201d","volume-title":"LPNMR 2022","author":"Governatori","year":""},{"key":"B41","first-page":"43","article-title":"\u201cStable normative explanations,\u201d","volume-title":"Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbr\u00fccken, Germany, 14-16 December 2022, volume 362 of Frontiers in Artificial Intelligence and Applications","author":"Governatori","year":""},{"key":"B42","first-page":"81","article-title":"\u201cTwo faces of strategic argumentation in the law,\u201d","volume-title":"JURIX-2014","author":"Governatori","year":"2014"},{"key":"B43","first-page":"657","article-title":"\u201cLogic and the law: philosophical foundations, deontics, and defeasible reasoning,\u201d","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"Governatori","year":"2021"},{"key":"B44","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8873-7","volume-title":"Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic","author":"Hage","year":"1997"},{"key":"B45","volume-title":"The Concept of Law","author":"Hart","year":"1994"},{"key":"B46","volume-title":"Causation in Law","author":"Hart","year":"1959"},{"key":"B47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1352325211000036","article-title":"Rules and reasons in the theory of precedent","volume":"10","author":"Horty","year":"2011","journal-title":"Legal Theory"},{"key":"B48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-89391-0_13","article-title":"\u201cThe burden of persuasion in abstract argumentation,\u201d","volume-title":"Clar-01","author":"Kampik","year":"2021"},{"key":"B49","first-page":"271","article-title":"\u201cExplanation semantics for abstract argumentation,\u201d","volume-title":"Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020, volume 326 of Frontiers in Artificial Intelligence and Applications","author":"Liao","year":"2020"},{"key":"B50","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10506-019-09246-z","article-title":"Arguing about causes in law: a semi-formal framework for causal arguments","volume":"28","author":"Liepina","year":"2020","journal-title":"Artif. Intell. Law"},{"key":"B51","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S1358246100005130","article-title":"Contrastive explanation","volume":"27","author":"Lipton","year":"1990","journal-title":"R. Inst. Philos. Suppl"},{"key":"B52","first-page":"83","article-title":"\u201cModelling and explaining legal case-based reasoners through classifiers,\u201d","volume-title":"Legal Knowledge and Information Systems - JURIX 2022: The Thirty-fifth Annual Conference, Saarbr\u00fccken, Germany, 14-16 December 2022, Volume 362 of Frontiers in Artificial Intelligence and Applications","author":"Liu","year":""},{"key":"B53","doi-asserted-by":"crossref","DOI":"10.3233\/FAIA220451","article-title":"\u201cModelling and explaining legal case-based reasoners through classifiers,\u201d","volume-title":"Proc. JURIX 2022","author":"Liu","year":""},{"key":"B54","volume-title":"Legal Reasoning and Legal Theory","author":"MacCormick","year":"1978"},{"key":"B55","volume-title":"Interpreting Statutes: A Comparative Study","author":"MacCormick","year":"1991"},{"key":"B56","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","article-title":"Propositional defeasible logic has linear complexity","volume":"1","author":"Maher","year":"2001","journal-title":"Theory Pract. Log. Program"},{"key":"B57","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/3462757.3466143","article-title":"\u201cA dynamic model for balancing values,\u201d","volume-title":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, S\u00e3o Paulo Brazil, June 21\u201325, 2021","author":"Maranh\u00e3o","year":"2021"},{"key":"B58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","article-title":"Explanation in artificial intelligence: insights from the social sciences","volume":"267","author":"Miller","year":"2019","journal-title":"Artif. Intell"},{"key":"B59","volume-title":"Artificial Intelligence Journal: Special Issue on Explainable Artificial Intelligence (XAI), Volume 307","author":"Miller","year":"2022"},{"key":"B60","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-8381-5","volume-title":"On Law and Reason","author":"Peczenik","year":"1989"},{"key":"B61","volume-title":"The New Rhetoric: A Treatise on Argumentation","author":"Perelman","year":"1969"},{"key":"B62","volume-title":"Theories of Explanation","author":"Pitt","year":"1988"},{"key":"B63","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1887.001.0001","volume-title":"Cognitive Carpentry: A Blueprint for How to Build a Person","author":"Pollock","year":"1995"},{"key":"B64","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","article-title":"An abstract framework for argumentation with structured arguments","volume":"1","author":"Prakken","year":"2010","journal-title":"Argum. Comput"},{"key":"B65","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/AAC-210009","article-title":"A top-level model of case-based argumentation for explanation: formalisation and experiments","volume":"13","author":"Prakken","year":"2022","journal-title":"Argum. Comput"},{"key":"B66","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1023\/A:1008278309945","article-title":"Modelling reasoning with precedents in a formal dialogue game","volume":"6","author":"Prakken","year":"1998","journal-title":"Artif. Intell. Law"},{"key":"B67","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.artint.2015.06.005","article-title":"Law and logic: a review from an argumentation perspective","volume":"227","author":"Prakken","year":"2015","journal-title":"Artif. Intell"},{"key":"B68","doi-asserted-by":"crossref","DOI":"10.1145\/3594536.3595129","article-title":"\u201cA formal framework for combining legal reasoning methods,\u201d","volume-title":"ICAIL 2023","author":"Prakken","year":"2023"},{"key":"B69","first-page":"218","author":"Prakken","year":"2002"},{"key":"B70","first-page":"176","article-title":"\u201cPresumptions and burdens of proof,\u201d","volume-title":"Proceedings of the Nineteenth Annual Conference on Legal Knowledge and Information Systems (JURIX)","author":"Prakken","year":"2006"},{"key":"B71","first-page":"60","article-title":"\u201cA case-based system for trade secrets law,\u201d","volume-title":"Proceedings of the First International Conference on Artificial Intelligence and Law (ICAIL)","author":"Rissland","year":"1987"},{"key":"B72","first-page":"324","article-title":"\u201cHeuristics in argumentation: a game-theoretical investigation,\u201d","volume-title":"Computational Models of Argument. Proceedings of COMMA-08","author":"Riveret","year":"2008"},{"key":"B73","first-page":"81","article-title":"\u201cStrategic argumentation: a game theoretical investigation,\u201d","volume-title":"Proceedings of the Eleventh International Conference on Artificial Intelligence and Law","author":"Roth","year":"2007"},{"key":"B74","first-page":"99","article-title":"\u201cDeontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments,\u201d","volume-title":"Proceedings of the 15th International Conference on Artificial Intelligence and Law (ICAIL'05)","author":"Rotolo","year":"2015"},{"key":"B75","volume-title":"Legal Reasoning: A Cognitive Approach to the Law","author":"Sartor","year":"2005"},{"key":"B76","doi-asserted-by":"crossref","DOI":"10.1111\/raju.12389","volume-title":"Interpretation, Argumentation, and the Determinacy of Law","author":"Sartor","year":"2023"},{"key":"B77","doi-asserted-by":"publisher","first-page":"1","DOI":"10.26556\/jesp.v1i3.15","article-title":"Cudworth and normative explanations","volume":"1","author":"Schroeder","year":"2005","journal-title":"J. Ethics Soc. Philos"},{"key":"B78","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2012.09.010","article-title":"A generalised framework for dispute derivations in assumption-based argumentation","volume":"195","author":"Toni","year":"2013","journal-title":"Artif. Intell"},{"key":"B79","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1111\/nous.12283","article-title":"Normative explanation and justification","volume":"55","author":"V\u00e4yrynen","year":"2021","journal-title":"No\u00fbs"},{"key":"B80","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1093\/lpr\/mgv013","article-title":"Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning","volume":"15","author":"Verheij","year":"2016","journal-title":"Law Probab. Risk"},{"key":"B81","volume-title":"Legal Argumentation and Evidence. Legal Argumentation and Evidence","author":"Walton","year":"2002"},{"key":"B82","first-page":"173","volume-title":"Dialectical Explanation in AI","author":"Walton","year":"2005"},{"key":"B83","doi-asserted-by":"crossref","DOI":"10.1017\/9781108554572","volume-title":"Statutory Interpretation. Pragmatics and Argumentation","author":"Walton","year":"2021"},{"key":"B84","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511802034","volume-title":"Argumentation Schemes","author":"Walton","year":"2008"},{"key":"B85","volume-title":"The Case Study","author":"Wambaugh","year":"1894"}],"container-title":["Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1130559\/full","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T23:53:28Z","timestamp":1703116408000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1130559\/full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,4]]},"references-count":85,"alternative-id":["10.3389\/frai.2023.1130559"],"URL":"https:\/\/doi.org\/10.3389\/frai.2023.1130559","relation":{},"ISSN":["2624-8212"],"issn-type":[{"value":"2624-8212","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,4]]},"article-number":"1130559"}}