2020/09/22 by Viviana Mascardi, Domenico Pellegrini
Computer Science · #cs.AI #cs.LO
paper · pdf · doi:10.4204/eptcs.325.32
published as EPTCS 325, 2020, pp. 268-275 · In Proceedings ICLP 2020, arXiv:2009.09158
arxiv created 2020/09/22 · arxiv updated 2020/10/13
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.