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…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
