4 ms·
IMO this is such an 'obvious' idea once you think about it that it will eventually happen. The law will go from written natural language to executable computer
by naringas 6y ago
IMO this is such an 'obvious' idea once you think about it that it will eventually happen.
The law will go from written natural language to executable computer programs (formal languages).
However a change of this mangnitude cannot happen quickly, (and might even be impossible to do peacefully).
Abusing the "software is eating the world" analogy, we ain't seen nothing yet. Software is just barely opening its mouth.
- AndrewOMartin 6y agoThere is no floating point representation for 'gross', 'egregious', or 'blatant'. At least not one that will be suitable in all cases.
- noisy_boy 6y agoYes but you can do a what-if analysis based on the parameter $degree being equal to 'gross', 'egregious' or 'blatant'.
- MaxBarraclough 6y agoRight on. Consider whether forcing someone to unlock their smartphone should constitute compelled self-incrimination. This is a problem that US courts have flip-flopped on. [0] How would an SMT solver derive answer? It can't. You'd need a general AI. Even ignoring the subtleties of the real world that the ̶l̶a̶w̶ edit legal system must cope with, nuts-and-bolts legal concepts like mens rea can't be mapped to algebraic expressions. [0] https://arstechnica.com/tech-policy/2020/06/indiana-supreme-court-its-unconstitutional-to-force-phone-unlocking/ https://arstechnica.com/tech-policy/2020/06/indiana-supreme-...
- naringas 6y agobut the law is not the judge