We present f{\ae}rdXel, a tool for symbolic reasoning in the domain of Danish traffic law. f{\ae}rdXel combines techniques from logic programming with a novel interface that allows users to navigate through its reasoning process, thereby ensuring the system's trustworthiness. A preliminary empirical evaluation indicates that this work is seen as very promising, and has the potential to become a foundation for real-world AI tools supporting professionals in the Danish legal sector.

翻译：本文介绍færdXel，一个用于丹麦交通法领域符号推理的工具。færdXel将逻辑编程技术与新颖的交互界面相结合，允许用户浏览其推理过程，从而确保系统的可信度。初步的实证评估表明，这项工作被认为极具前景，并有望成为支持丹麦法律行业专业人士的现实世界人工智能工具的基础。