论文标题
逻辑法官挑战人类法官在卑诗省 - 瓦尔吉恩的奇怪案件中
Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean
论文作者
论文摘要
2020年5月12日，在意大利法官学院组织的题为“人工智能和管辖权实践”的课程中，有70多名治安法官遵循了我们在武装抢劫案上推理了序言逻辑法官的证明。尽管实施的逻辑法官只是知识代表和简单的演绎推理的行使，但对如此众多的潜在最终用户的自动推理工具的实际证明代表了意大利的第一次和独特的尝试，也是我们在国际全景中的最佳知识。在本文中，我们介绍了逻辑法官提出的案件 - 2015年人类法官已经解决了一个真实案件 - 以及从与会者那里收集的示威的反馈。
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.
