Comment by rpmisms
5 years ago
Not to get political, but what about things like gun laws, where some of the definitions are loosely defined and written by morons with no true understanding of the subject matter. How are those going to be translated into hard-and-fast definitions?
On second thought, that applies to many laws, but my question still stands.
Catala is not meant to formalize a law which obviously was not written to "compute" something. It is meant as a tool to improve the fair and just enforcement of pieces of law that effectively define an algorithm that can be enforced by a computerized system.
The process of developing the formalism would actually surface a lot of those issues. The distinction between "pistols" and "rifles", for example, raises many practical questions...