Would be nice. But that will require a very serious rewriting of all the laws.

For example, many crimes require a specific kind of intent. I don't know at this point how a piece of code can determine an intent.

1* Burglary is an act of breaking and entering of the dwelling place of another with the intent to commit a felony therein

Code doesn't determine intent - a judge/jury decides that. The model will merely state that if there is intent to do X => consequence of intent X.

The code atop the model should be an open source inference engine.

that's ideal. But what happens if there's a bug? Who decides such an interaction of the law is a bug?

A senate sub-committee should hear all filed bug reports and decide on rule modifications to fix bugs. Major amendments should be passed by both houses like its already the case today.

If one has a formal model for law, most bugs and conflicts can be found out via a formal verification engine itself. Like TLA+.

The Mythical Judge AI...

Recourse may not be processed

Terminate