It makes sense, yeah. I am proposing a new way to encode these rules that is grounded in precise mathematical logic. I gave the example of law because it's the closest thing we have to a well-defined, at least visible, set of rules. I have a language I developed (a subset of JSON) that encodes this logic (inspired by Prolog and Lisp). So basically, the idea is that we have a formal way of defining software systems that specifically affect our daily lives (especially with the advent of AI), so anyone can parse it and read it. You can even use AI to understand the rules of this system because it's constructed of primitives that are well-defined and constrained. Thank you for your comment, very insightful. Here is the docs page for the language I developed: https://almadar.io/blog/json-that-thinks
reply