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.

翻译：我们提出了FÆRDXEL，一个用于丹麦交通法领域的符号推理工具。FÆRDXEL将逻辑编程技术与一种新颖的界面相结合，该界面允许用户浏览其推理过程，从而确保系统的可解释性。为了更好地理解FÆRDXEL的价值，我们对系统进行了两项评估：（1）一项实证评估表明，对于一组选定的法庭案例，FÆRDXEL的结论与丹麦法官的结论一致。（2）法律专家进行的定性评估表明，这项工作有潜力成为支持丹麦法律行业专业人士的现实世界人工智能工具的基础。