F{\AE}RDXEL：面向丹麦交通法的专家系统
人工智能
2026-01-08 v2
摘要
我们提出了 F{\AE}RDXEL，这是一款用于丹麦交通法领域中符号推理的工具。F{\AE}RDXEL 将逻辑编程技术与一种新颖的界面相结合，允许用户浏览其推理过程，从而确保系统的可解释性。为了更好地理解 F{\AE}RDXEL 的价值，本文进行了两项系统评估：（1）实证评估表明，对于一组法院案例，F{\AE}RDXEL 的结论与丹麦法官的结论一致。（2）来自法律专家的定性评估表明，这项工作有潜力成为支撑丹麦法律领域专业人员使用的数字工具基础。
引用
@article{arxiv.2410.03560,
title = {F{\AE}RDXEL: An Expert System for Danish Traffic Law},
author = {Luís Cruz-Filipe and Jonas Vistrup},
journal= {arXiv preprint arXiv:2410.03560},
year = {2026}
}
备注
In Proceedings ICLP 2025, arXiv:2601.00047