Abstract
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge. However, modelling discretionality to act and other vague concepts such as ambiguity cannot be expressed in top-down execution models based on Prolog, and in bottom-up execution models based on ASP the justifications are incomplete and/or not scalable. We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns. We have implemented a framework, called s(LAW), to model, reason, and justify the applicable legislation and validate it by translating (and benchmarking) a representative use case, the criteria for the admission of students in the “Comunidad de Madrid”.
Similar content being viewed by others
Notes
Organic Law 2/2006, May 3, last modified by Organic Law 3/2020, December 29.
Decree 29/2013, of 11 April, amended by Decree 244/2021, of 29 December, of the “Consejo de Gobierno”, on freedom of choice of school in the “Comunidad de Madrid” and updating the admission criteria and their weighting; Order 1240/2013, of 17 April, of the “Departamento de Educación, Juventud y Deportes” of the “Comunidad de Madrid”, amended by Order 1534/2019, of May 17 and by Order 592/2022, of 18 March, of the “Consejería de Educación e Investigación” of the “Comunidad de Madrid”; Resolution of July 31, 2013, of the “Dirección General para la Mejora de la Calidad de la Educación” (in relation to bilingual education); and Joint Resolution of the “Viceconsejería de política educativa” and “Viceconsejería organización educativa” by which instructions are issued to carry out the actions prior to the process of admission of students in centers supported with public funds for the 2022/2023 academic year, of November 25, 2022. (https://www.comunidad.madrid/sites/default/files/doc/educacion/resolucion_conjunta_admision_regimen_general_2023-2024_.pdf).
Preliminary results has been presented by Arias et al. (2021).
We discuss later on that, under different assumptions, students 3 and 4 do not obtain a place.
SDEv4 is available at http://130.56.246.229.
Example available at https://catala-lang.org/en/examples/family-benefits.
In the near future, it may become necessary advance in the direction of the first option as well. In this sense, we note the need to offer mixed curricula, Law and Artificial Intelligence (Rodríguez-García and Moreno-Rebato 2018).
References
Aravanis TI, Demiris K, Peppas P (2018) Legal Reasoning in Answer Set Programming. In: IEEE 30th International conference on tools with artificial intelligence, ICTAI 2018. IEEE, pp 302–306, https://doi.org/10.1109/ICTAI.2018.00055
Arias J, Carro M, Salazar E et al (2018) Constraint answer set programming without grounding. Theory Pract Logic Program 18(3–4):337–354. https://doi.org/10.1017/S1471068418000285
Arias J, Carro M, Chen Z, et al (2020) Justifications for goal-directed constraint answer set programming. In: Proceedings 36th international conference on logic programming (technical communications), EPTCS, vol 325. Open Publishing Association, pp 59–72, https://doi.org/10.4204/EPTCS.325.12
Arias J, Moreno-Rebato M, Rodriguez-García JA, et al (2021) Modeling administrative discretion using goal-directed answer set programming. In: Advances in artificial intelligence, CAEPIA 20/21. Springer International Publishing, Cham, pp 258–267, https://doi.org/10.1007/978-3-030-85713-4_25
Bench-Capon T (2012) Open texture and argumentation: what makes an argument persuasive? In: Logic Programs, Norms and action: essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Springer, pp 220–233, https://doi.org/10.1007/978-3-642-29414-3_12
Billi M, Calegari R, Contissa G, et al (2021) Argumentation and defeasible reasoning in the law. J, 4(4):897–914. https://doi.org/10.3390/j4040061
Branting L (2017) Data-centric and logic-based models for automated legal problem solving. Artif Intell Law 25(1):5–27. https://doi.org/10.1007/s10506-017-9193-x
Cabalar P, Fandinno J, Fink M (2014) Causal graph justifications of logic programs. Theory Pract Logic Program 14(4–5):603–618. https://doi.org/10.1017/S1471068414000234
Cobbe J (2019) Administrative law and the machines of government: judicial review of automated public-sector decision-making. Leg Stud 39(4):636–655. https://doi.org/10.1017/lst.2019.9
Cosculluela Montaner L (2021) Manual de Derecho Administrativo. Thomson Reuters Civitas pp 333–ff. ISBN: 978-84-1125-550-9
Garcia de Enterría E (1962) La lucha contra las inmunidades del poder en el derecho administrativo". Revista de Administración Pública 38:159–208. http://www.cepc.gob.es/sites/default/files/2021-12/222271962038159.pdf
Garcia de Enterría E, Fernández TR (2020) Curso de Derecho Administrativo. Civitas ISBN: 978-84-1125-553-0
Gelder AV, Ross K, Schlipf J (1991) The well-founded semantics for general logic programs. J ACM 38:620–650. https://doi.org/10.1145/116825.116838
Gelfond M (1994) Logic programming and reasoning with incomplete information. Ann Math Artif Intell 12(1):89–116. https://doi.org/10.1007/BF01530762
Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: 5th International conference on logic programming, pp 1070–1080, http://www.cse.unsw.edu.au/~cs4415/2010/resources/stable.pdf
Genesereth M (2015) Computational Law. The cop in the backseat. Codex: The center for legal informatics, Stanford University
Huber H (1953) Niedergang des Rechts und Krise des Rechtsstaat. Festgabe für Z Giacometti, Zürich pp 66
Huergo Lora A (2020) Una aproximación a los algoritmos desde el Derecho Administrativo, La regulación de los algoritmos. Aranzadi Thomson Reuters, ISBN: 978-84-1345-094-0
Huggins A (2021) Addressing disconnection: automated decision-making, administrative law and regulatory reform. UNSW Law J 44(3):1048–1077. https://doi.org/10.53637/WCGG2401
Huttner L, Merigoux D (2022) Catala: moving towards the future of legal expert systems. Artificial intelligence and law pp 1–24. https://doi.org/10.1007/s10506-022-09328-5
Kannai R, Schild U, Zeleznikow J (2007) Modeling the evolution of legal discretion. an artificial intelligence approach. Ratio Juris 20(4):530–558
Kowalski RA (2021) Logical English = Logic + English + Compupting. https://utdallas.app.box.com/s/ngsyloscj5sk24uh3axexxz451o74z0u, HackReason Opening Ceremony. Last accessed September 2023
Licato J (2021) How Should AI Interpret Rules? A Defense of Minimally Defeasible Interpretive Argumentation. arXiv https://arxiv.org/pdf/2110.13341.pdf
Liebwald D (2015) On transparent law, good legislation and accessibility to legal information: towards an integrated legal information system. Artif Intell Law 23(3):301–314. https://doi.org/10.1007/s10506-015-9172-z
Lim HK, Mahajan A, Strecker M, et al (2022) Automating defeasible reasoning in law with answer set programming. In: Proceedings of the international conference on logic programming 2022 Workshops (ICLP 2022), vol 3193. CEUR-WS.org, https://ceur-ws.org/Vol-3193/paper3GDE.pdf
Marple K, Salazar E, Gupta G (2017) Computing stable models of normal logic programs without grounding. arXiv:1709.00501
Cerrillo i Martínez A (2020) ¿Son fiables las decisiones de las Administraciones públicas adoptadas por algoritmos? European review of digital administration & law 1(1):18–36
Merigoux D, Chataing N, Protzenko J (2021) Catala: a programming language for the law. Proceedings of the ACM on programming languages 5(ICFP):1–29. https://doi.org/10.1145/3473582
Moreno Rebato M (2021) Inteligencia artificial (Umbrales éticos, Derecho y Administraciones públicas), Thomson Reuters, Aranzadi, pp 120–ff. ISBN: 978-84-1391-029-1
Morris J (2021) Constraint answer set programming as a tool to improve legislative drafting: a rules as code experiment. In: ICAIL ’21: Eighteenth International conference for artificial intelligence and law. ACM, pp 262–263, https://doi.org/10.1145/3462757.3466084
Mowbray A, Chung P, Greenleaf G (2023) Representing legislative rules as code: reducing the problems of scaling up. Comput Law Secur Rev 48(105):772. https://doi.org/10.1016/j.clsr.2022.105772
Otenyo E (2016) Administrative Discretion. In: Farazmand A (ed) Global encyclopedia of public administration, Public Policy, and Governance. Springer, https://doi.org/10.1007/978-3-319-31816-5_955-1
Perry M (2017) iDecide: Administrative decision-making in the digital world. Aust Law J 91(1):29
Pontelli E, Son TC, El-Khatib O (2009) Justifications for logic programs under answer set semantics. Theory Pract Logic Program 9(1):1–56. https://doi.org/10.1017/S1471068408003633
Purnell K, Schwitter R (2022) User-defined smart contracts using answer set programming. In: AI 2021: Advances in Artificial Intelligence—34th Australasian joint conference, AI 2021, vol 13151. Springer, pp 291–303, https://doi.org/10.1007/978-3-030-97546-3_24
Ramakrishna S, Górski Ł, Paschke A (2016) A dialogue between a lawyer and computer scientist: the evaluation of knowledge transformation from legal text to computer-readable format. Appl Artif Intell 30(3):216–232. https://doi.org/10.1080/08839514.2016.1156952
Rissland EL, Ashley KD, Branting LK (2005) Case-based reasoning and law. Knowl Eng Rev 20(3):293–298. https://doi.org/10.1017/S0269888906000701
Rodríguez-García JA, Moreno-Rebato M (2018) ¡El futuro ya está aquí! Derecho e inteligencia artificial. Revista Aranzadi de Derecho y nuevas tecnologías 48. ISSN: 1696-0351
Schild UJ, Zeleznikow J (2005) A taxonomy for modelling discretionary decision making in the legal domain. In: Proceedings of the 10th international conference on artificial intelligence and law, pp 60–64, https://doi.org/10.1145/1165485.1165495
Schulz C, Toni F (2016) Justifying answer sets using argumentation. Theory Pract Logic Program 16(1):59–110. https://doi.org/10.1017/S1471068414000702
Sergot MJ, Sadri F, Kowalski RA et al (1986) The british nationality act as a logic program. Commun ACM 29(5):370–386. https://doi.org/10.1145/5689.5920
Sourdin T (2021) Judges, technology and artificial intelligence: The artificial judge, Edward elgar publishing limited, pp 228–ff. https://doi.org/10.4337/9781788978262
Suksi M (2021) Administrative due process when using automated decision-making in public administration: some notes from a finnish perspective. Artif Intell Law 29(1):87–110. https://doi.org/10.1007/s10506-020-09269-x
Susskind R (2017) Tomorrow’s Lawyers: An introduction to your future, 2nd edn. Oxford University Press, ISBN: 978-01-9879-663-3
Swift T, Warren DS (2012) XSB: Extending prolog with tabled logic programming. Theory Pract Logic Program 12(1–2):157–187. https://doi.org/10.1017/S1471068411000500
Sánchez Morón M (2021) Derecho Administrativo. Parte General. Tecnos pp 91–ff. ISBN: 978-84-309-8529-6
Vestri G (2021) La inteligencia artificial ante el desafío de la transparencia algorítmica: Una aproximación desde la perspectiva jurídico-administrativa. Revista Aragonesa de Administración Pública 56:368–398
Wong MW (2020) Rules as code: Seven levels of digitisation. In: Research collection Yong Pung how school of law. CCLAW-SMU, https://ink.library.smu.edu.sg/sol_research/3093/
Zhou YC, Zheng Z, Lin JR et al (2022) Integrating NLP and context-free grammar for complex rule interpretation towards automated compliance checking. Comput Ind 142(103):746. https://doi.org/10.1016/j.compind.2022.103746
Acknowledgements
This work has been supported by grant VAE: TED2021-131295B-C33 funded by MCIN/AEI/ 10.13039/501100011033 and by the “European Union NextGenerationEU/PRTR”, by grant COSASS: PID2021-123673OB-C32 funded by MCIN/AEI/ 10.13039/501100011033 and by “ERDF A way of making Europe”, and by grant 2023/00004/004 s(LAW) funded by URJC.
Funding
Ministerio de Ciencia e Innovación (TED2021-131295B-C33, PID2021-123673OB-C32).
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.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Arias, J., Moreno-Rebato, M., Rodriguez-García, J.A. et al. Automated legal reasoning with discretion to act using s(LAW). Artif Intell Law (2023). https://doi.org/10.1007/s10506-023-09376-5
Accepted:
Published:
DOI: https://doi.org/10.1007/s10506-023-09376-5