SOURCE-LINKED INTELLIGENCE
Structured Four-Stage Legal Translation: From Natural-Language Traffic Rules to PROLOG
Traffic regulations are written for human interpretation and therefore rely on shared background knowledge and flexible phrasing, which inherently introduce ambiguity, context dependence, and semantic underspecification. These linguistic characteristics conflict with the precision required by computational reasoning engines such as Prolog, which demand explicit logical structure. This study evaluates two baseline translation approaches, Natural Language to Prolog ($NL\rightarrow Prolog$) and Logical English to Prolog ($LE\rightarrow Prolog$), and introduces a new reasoning-guided translation f
Read original source ↗ Open in workspace
- recordType
- paper
- region
- Global
Evidence & attribution
- arXiv · AI, language, vision and robotics · 2026-09-17T13:05:49.000Z
- arXiv · Artificial Intelligence · 2026-09-17T13:05:49.000Z
First collected: 2026-09-19T20:26:32.566Z. This is not the publication date.