4 ms·
There is no floating point representation for 'gross', 'egregious', or 'blatant'. At least not one that will be suitable in all cases.
by AndrewOMartin 6y ago
There 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