An important aim of this paper is to convey some basics of mathematical logic
to the legal community working with Artificial Intelligence. After analysing
what AI is, we decide to delimit ourselves to rule-based AI leaving Neural
Networks and Machine Learning aside. Rule based AI allows for Formal methods
which are described in a rudimentary form. We will then see how mathematical
logic interacts with legal rule-based AI practice. We shall see how
mathematical logic imposes limitations and complications to AI applications. We
classify the limitations and interactions between mathematical logic and legal
AI in three categories: logical, computational and mathematical. The examples
to showcase the interactions will largely come from European traffic
regulations. The paper closes off with some reflections on how and where AI
could be used and on basic mechanisms that shape society.

这篇论文旨在将数学逻辑的基础知识传达给与人工智能合作的法律界。我们将重点放在基于规则的人工智能上，而忽略神经网络和机器学习。数学逻辑与法律基于规则的人工智能实践相互作用，并对人工智能应用带来了限制和复杂性。我们将这些限制和数学逻辑与法律人工智能的相互作用分类为三类：逻辑、计算和数学。交互作用的示例主要来自欧洲的交通法规。论文最后对如何使用和人工智能的基本机制对塑造社会的反思进行了总结。

人工智能、法律、逻辑、语言和计算之间的相互作用以及交通规则和医疗保健中的一些案例研究

Le Nozze di Giustizia. Interactions between Artificial Intelligence,  Law, Logic, Language and Computation with some case studies in Traffic  Regulations and Health Care

The article retraces major events and milestones in the mutual influences
between mathematical logic and computer science since the 1950s.

该文章回顾了自 1950 年以来数学逻辑和计算机科学之间相互影响的重大事件和里程碑。