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

arXiv: https://arxiv.org/abs/2402.06487 · HTML: https://mlsanity.com/paper/2402.06487/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 34 references that are in the map.
- First posted on arXiv 9 Feb 2024.

## Builds on (most cited first, 4 of 4)

- [Catala: A Programming Language for the Law](https://mlsanity.com/paper/2103.03198/) (2021)
- [Undecidability of Underfitting in Learning Algorithms](https://mlsanity.com/paper/2102.02850/) (2021)
- [Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561](https://mlsanity.com/paper/2307.05658/) (2023)
- [UTC Time, Formally Verified](https://mlsanity.com/paper/2209.14227/) (2022)

## Abstract (arXiv)

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.