3 ms·
This is why I firmly believe that ALL law - every single piece of it should be written as a formal model with code so that assertions can be tested to see if so
by lenkite 6y ago
This is why I firmly believe that ALL law - every single piece of it should be written as a formal model with code so that assertions can be tested to see if something is illegal or not.
- chii 6y agothat's ideal. But what happens if there's a bug? Who decides such an interaction of the law is a bug?
- agustif 6y agoThe Mythical Judge AI... Recourse may not be processed Terminate
- lenkite 6y agoA 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+.
- AlexTWithBeard 6y agoWould 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
- lenkite 6y agoCode 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.