欧洲人工智能法案中的逻辑模态性分析
人工智能
2025-05-13 v2 计算机与社会
计算机科学中的逻辑
摘要
本文对欧洲人工智能法案的逻辑模态性进行全面分析，旨但为其形式化表征做准备，例如在以逻辑多元主义知识工程框架与方法论（LogiKEy）中。LogiKEy 开发了基于形式化方法的规范推理计算工具，采用 Higher-Order Logic (HOL) 作为统一的元逻辑，将多种逻辑通过浅层语义嵌入集成。这种集成通过 Isabelle/HOL 实现，Isabelle/HOL 是一个配备多种自动定理证明器的证明辅助工具。讨论法案中的模态性以及适合其表征的逻辑。对于所选的这些逻辑，创建 HOL 中的嵌入形式，然后用于编码示例段落。初始实验评估这些嵌入用于自动推理的适合性，并在通往更稳健推理能力的道路上突出关键挑战。
引用
@article{arxiv.2501.19112,
title = {Logical Modalities within the European AI Act: An Analysis},
author = {Lara Lawniczak and Christoph Benzmüller},
journal= {arXiv preprint arXiv:2501.19112},
year = {2025}
}
备注
Extended preprint of paper accepted for ICAIL 2025; 15 pages, 19 figures