Logical Modalities within the European AI Act: An Analysis
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916730967687168 |
|---|---|
| author | Lawniczak, Lara Benzmüller, Christoph |
| author_facet | Lawniczak, Lara Benzmüller, Christoph |
| contents | The paper presents a comprehensive analysis of the European AI Act in terms of its logical modalities, with the aim of preparing its formal representation, for example, within the logic-pluralistic Knowledge Engineering Framework and Methodology (LogiKEy). LogiKEy develops computational tools for normative reasoning based on formal methods, employing Higher-Order Logic (HOL) as a unifying meta-logic to integrate diverse logics through shallow semantic embeddings. This integration is facilitated by Isabelle/HOL, a proof assistant tool equipped with several automated theorem provers. The modalities within the AI Act and the logics suitable for their representation are discussed. For a selection of these logics, embeddings in HOL are created, which are then used to encode sample paragraphs. Initial experiments evaluate the suitability of these embeddings for automated reasoning, and highlight key challenges on the way to more robust reasoning capabilities. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_19112 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Logical Modalities within the European AI Act: An Analysis Lawniczak, Lara Benzmüller, Christoph Artificial Intelligence Computers and Society Logic in Computer Science 68T01 68T27 68T30 03Axx 03B16 03B35 03B45 03B60 03B70 I.2.0; I.2.3; I.2.4; J.1 The paper presents a comprehensive analysis of the European AI Act in terms of its logical modalities, with the aim of preparing its formal representation, for example, within the logic-pluralistic Knowledge Engineering Framework and Methodology (LogiKEy). LogiKEy develops computational tools for normative reasoning based on formal methods, employing Higher-Order Logic (HOL) as a unifying meta-logic to integrate diverse logics through shallow semantic embeddings. This integration is facilitated by Isabelle/HOL, a proof assistant tool equipped with several automated theorem provers. The modalities within the AI Act and the logics suitable for their representation are discussed. For a selection of these logics, embeddings in HOL are created, which are then used to encode sample paragraphs. Initial experiments evaluate the suitability of these embeddings for automated reasoning, and highlight key challenges on the way to more robust reasoning capabilities. |
| title | Logical Modalities within the European AI Act: An Analysis |
| topic | Artificial Intelligence Computers and Society Logic in Computer Science 68T01 68T27 68T30 03Axx 03B16 03B35 03B45 03B60 03B70 I.2.0; I.2.3; I.2.4; J.1 |
| url | https://arxiv.org/abs/2501.19112 |