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.
@article{arxiv.2010.05694,
title = {Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean},
author = {Viviana Mascardi and Domenico Pellegrini},
journal= {arXiv preprint arXiv:2010.05694},
year = {2020}
}