3 ms·
Such a system needs integration with subjective variable sources. For example let's say the website also needs to meet some basic code quality level. They could
by chrischen 11y ago
Such a system needs integration with subjective variable sources. For example let's say the website also needs to meet some basic code quality level. They could agree to give a third party exclusive access to set some "quality check" variable.
If that's implemented it can be a great way to codify all sorts of legal docs and laws since a lot of legal stuff requires human interpretation at the time of execution.
- jmcmichael 11y agoThe event calculus could be used to specify the behavior of the agents instantiated by ethereum smart contracts. This formalized description of the smart contract (e.g. a legal system) could then be used to verify its actual behavior in the wild.