Formalising Criminal Law in Catala
summary
Formalisation uses the Catala DSL to implement a DUI fine calculator for Florida law that inputs blood alcohol, prior DUI dates and damage and outputs min/max fines; the program encodes competing definitions and priority rules so each variable yields a unique value. Work yields concrete surprising conflicts: statutes produce irreconcilable penalties (e.g. second-DUI fines exceed misdemeanor caps), ambiguity over single vs multiple charges, and a tooling limitation — exception-as-tree limitation where Catala currently forbids an exception to apply to multiple rules.
AI-written summary · about