Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our demonstration of a Prolog logical judge reasoning on an armed robbery case. Although the implemented logical judge is just an exercise of knowledge representation and simple deductive reasoning, a practical demonstration of an automated reasoning tool to such a large audience of potential end-users represents a first and unique attempt in Italy and, to the best of our knowledge, in the international panorama. In this paper we present the case addressed by the logical judge - a real case already addressed by a human judge in 2015 - and the feedback on the demonstration collected from the attendees.

[1]  Mohamad Khalil,et al.  Towards a Legal Rule-Based System Grounded on the Integration of Criminal Domain Ontology and Rules , 2017, KES.

[2]  Xavier Parent,et al.  Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support , 2019, Artif. Intell..

[3]  Douglas Walton,et al.  Legal Reasoning and Argumentation , 2018 .

[4]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[5]  Guido Governatori,et al.  A Deontic Argumentation Framework Based on Deontic Defeasible Logic , 2018, PRIMA.

[6]  Masha Medvedeva,et al.  Using machine learning to predict decisions of the European Court of Human Rights , 2019, Artificial Intelligence and Law.

[7]  Stefania Costantini,et al.  Digital forensics and investigations meet artificial intelligence , 2019, Annals of Mathematics and Artificial Intelligence.

[8]  Jeffrey A. Meldman,et al.  A preliminary study in computer-aided legal analysis , 1975 .

[9]  Marc A. Borrelli.  PROLOG and the law: using expert systems to perform legal analysis in the United Kingdom , 1990 .

[10]  Emilia Gómez,et al.  Why Machine Learning May Lead to Unfairness: Evidence from Risk Assessment for Juvenile Justice in Catalonia , 2019, ICAIL.

[11]  Ching-Fu Lin,et al.  Beyond State v Loomis: artificial intelligence, government algorithmization and accountability , 2019, Int. J. Law Inf. Technol..

[12]  William L. Prosser,et al.  Handbook of the law of torts , 1941 .

[13]  Nuttawit Butsara,et al.  Predicting Recidivism to Drug Distribution using Machine Learning Techniques , 2019, 2019 17th International Conference on ICT and Knowledge Engineering (ICT&KE).

[14]  Richard Berk,et al.  Machine Learning Risk Assessments in Criminal Justice Settings , 2018, Springer International Publishing.

[15]  Cynthia Rudin,et al.  Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead , 2018, Nature Machine Intelligence.

[16]  Andrea Omicini,et al.  Defeasible Systems in Legal Reasoning: A Comparative Assessment , 2019, JURIX.