An Expert System for Danish Traffic Law Cases

Jonas Vistrup

doi:10.1609/aaai.v39i28.35310

An Expert System for Danish Traffic Law Cases

Bidragets oversatte titel: Et ekspertsystem for dansk færdselslovssager

Jonas Vistrup

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Vi præsenterer FÆRDXEL, et ekspertsystem, der giver svar og forklaringer på juridiske spørgsmål vedrørende danske færdselsslovssager. Systemet benytter en Datalog-kodning af danske færdselsregler og anvender SLD-resolution til at besvare spørgsmål. Sporingen af operationer i SLD-resolutionen kan omdannes til en juridisk forklaring af svaret på spørgsmålene. En brugergrænseflade giver juridiske fagfolk mulighed for at indtaste sagsfakta, stille spørgsmål og undersøge forklaringer. Feedback fra juridiske eksperter har identificeret brugervenlighedsmæssige udfordringer samt mulige slutbrugere, herunder færdselspoliti og dommere. Fremtidige forskning omfatter empirisk evaluering af systemets korrekthed, integration af strafferetlig argumentation og forbedret brugervenlighed gennem naturlig sprogbehandling.

Bidragets oversatte titel	Et ekspertsystem for dansk færdselslovssager
Originalsprog	Engelsk
Titel	Special Track on AI Alignment
Redaktører	Toby Walsh, Julie Shah, Zico Kolter
Vol/bind	39
Publikationsdato	11. apr. 2025
Udgave	28
Sider	29519-29520
DOI	https://doi.org/10.1609/aaai.v39i28.35310
Status	Udgivet - 11. apr. 2025

Emneord

Forklarlig AI
Logik Programmering
Færdselslov

Dokumenter og links

10.1609/aaai.v39i28.35310Licens: Ikke-specificeret

SDU link

Tjek adgangen til materialet i Syddansk Universitetsbiblioteks søgemaskine

2 Igangværende

Forklarlig Kunstig Intelligens og Loven
Vistrup, J. (Projektdeltager)
01/08/2022 → 01/08/2026
Projekter: Projekt › Ph.d-projekt
Digital Democracy Center
Heiselberg, L. (Arbejdspakke ansvarlig)
01/07/2021 → 31/12/2025
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{42d9e38f8b484d65bf9d60995a256e9c,

title = "An Expert System for Danish Traffic Law Cases",

abstract = "We present F{\AE}RDXEL, an expert system for providing answers and explanations to legal questions (queries) regarding Danish traffic law cases. It utilizes a Datalog encoding of Danish traffic laws and uses SLD-resolution to answer queries. The SLD-resolution's trace of operations can be converted into a legal explanation for the query. A user interface allows legal professionals to input case facts, ask questions, and explore explanations. Feedback from legal experts identified usability challenges and potential end-users, including traffic police and judges. Future steps include empirical evaluation of soundness, integrating punishment reasoning, and enhancing usability through natural language processing.",

keywords = "Explainable AI, Logic Programming, Traffic Law, Forklarlig AI, Logik Programmering, F{\ae}rdselslov",

author = "Jonas Vistrup",

year = "2025",

month = apr,

day = "11",

doi = "10.1609/aaai.v39i28.35310",

language = "English",

volume = "39",

pages = "29519--29520",

editor = "Toby Walsh and Julie Shah and Zico Kolter",

booktitle = "Special Track on AI Alignment",

edition = "28",

}

TY - GEN

T1 - An Expert System for Danish Traffic Law Cases

AU - Vistrup, Jonas

PY - 2025/4/11

Y1 - 2025/4/11

N2 - We present FÆRDXEL, an expert system for providing answers and explanations to legal questions (queries) regarding Danish traffic law cases. It utilizes a Datalog encoding of Danish traffic laws and uses SLD-resolution to answer queries. The SLD-resolution's trace of operations can be converted into a legal explanation for the query. A user interface allows legal professionals to input case facts, ask questions, and explore explanations. Feedback from legal experts identified usability challenges and potential end-users, including traffic police and judges. Future steps include empirical evaluation of soundness, integrating punishment reasoning, and enhancing usability through natural language processing.

AB - We present FÆRDXEL, an expert system for providing answers and explanations to legal questions (queries) regarding Danish traffic law cases. It utilizes a Datalog encoding of Danish traffic laws and uses SLD-resolution to answer queries. The SLD-resolution's trace of operations can be converted into a legal explanation for the query. A user interface allows legal professionals to input case facts, ask questions, and explore explanations. Feedback from legal experts identified usability challenges and potential end-users, including traffic police and judges. Future steps include empirical evaluation of soundness, integrating punishment reasoning, and enhancing usability through natural language processing.

KW - Explainable AI

KW - Logic Programming

KW - Traffic Law

KW - Forklarlig AI

KW - Logik Programmering

KW - Færdselslov

U2 - 10.1609/aaai.v39i28.35310

DO - 10.1609/aaai.v39i28.35310

M3 - Article in proceedings

VL - 39

SP - 29519

EP - 29520

BT - Special Track on AI Alignment

A2 - Walsh, Toby

A2 - Shah, Julie

A2 - Kolter, Zico

ER -

An Expert System for Danish Traffic Law Cases

Abstract

Emneord

Dokumenter og links

SDU link

Fingeraftryk

Relaterede projekter

Forklarlig Kunstig Intelligens og Loven

Digital Democracy Center

Citationsformater