用逻辑推理辅助丹麦交通法判案，结果与法官一致。
FÆRDXEL: An Expert System for Danish Traffic Law
- 结合逻辑编程与可视化界面，实现法律推理过程可解释。
- 实证测试显示对部分案例的判决结果与丹麦法官一致。
- 法律专家认为该系统有潜力成为真实司法辅助工具。
我们提出 FÆRDXEL，一个用于丹麦交通法领域符号推理的工具。FÆRDXEL 将逻辑编程技术与新颖的交互界面相结合，使用户能够追踪其推理过程，从而确保系统的可解释性。为评估 FÆRDXEL 的价值，进行了两项评估：(1) 实证评估表明，对于一组法院案件，FÆRDXEL 的结论与丹麦法官的一致；(2) 法律专家的定性评估指出，该工作有望成为丹麦法律领域真实 AI 工具的基础。
原文摘要 · Abstract (English)
We present FÆRDXEL, a tool for symbolic reasoning in the domain of Danish traffic law. FÆRDXEL combines techniques from logic programming with a novel interface that allows users to navigate through its reasoning process, thereby ensuring the system's explainability. Towards the goal of better understanding the value of FÆRDXEL, two evaluations of the system have been performed: (1) An empirical evaluation showing that for a selection of court cases, the conclusions of FÆRDXEL align with those of Danish judges. (2) A qualitative evaluation from legal experts indicating that this work has potential to become a foundation for real-world AI tools supporting professionals in the Danish legal sector.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。