Data to 7 Oct 2026

FAERDXEL: An Expert System for Danish Traffic Law

arXiv 2410.03560 ↗First posted 4 Oct 2024cs.AIcited by 0

On the map: LLM reasoning → Reasoning for agents, planning and code

Abstract (arXiv)

We present FAERDXEL, a tool for symbolic reasoning in the domain of Danish traffic law. FAERDXEL 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 FAERDXEL, two evaluations of the system have been performed: (1) An empirical evaluation showing that for a selection of court cases, the conclusions of FAERDXEL 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.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Reasoning for agents, planning and code, one of 17 directions in LLM reasoning. Builds on 3 of its 30 references that are in the map. First posted on arXiv 4 Oct 2024.

Builds on

3 of 30 references.

References · 3

2023Trustworthy LLMs: a Survey and Guideline for Evaluating Large Language Models' Alignmentcited by 394
2023"Kelly is a Warm Person, Joseph is a Role Model": Gender Biases in LLM-Generated Reference Letterscited by 196
2017Stream Reasoning in Temporal Datalogcited by 4

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way