This is most interesting. It seems intuitively doubtful if it will be possible to formulate a constitution to rule out the need for human interpretation. I suspect it will be completely impossible. With artificial intelligence, it could be possible but it would require the kind of advanced AI that does not exist yet. As an experiment Tauchain has much potential to teach us valuable lessons. If Tauchain still exists, say, five years from now, it might be possible to use AI as the court system at least in some limited by important ways.
You are viewing a single comment's thread from:
It's a language thing. There are languages which are unambiguous. There even are versions of English designed for reduced ambiguity. It's just that the language used in most law and in constitutions is not the sort of unambiguous English.
Learn about Lojban as an example of unambiquous language. There are others too. TauML translates from one language to another.
Learn Lojban.
TauML would allow from simple English to Lojban. The problem would be greatly diminished even using natural languages.
References
Thank you for a thorough answer!
The problem with approaching modeling reality using a precise and unambiguous non-leaking abstractions is that reality is darn complex. That primarily arises from the properties of reality itself and not the language we use. There is no going around the fact that modeling the intricacies and complexities of real-world situations is a daunting task. It takes a human brain 20-25 years to reach the capability to function independently in the modern world.
Consider the task of developing a program capable of beating the best human players at the very well-defined task of playing go. It is utterly beyond human capabilities to express that in explicit rules. AlphaGo, the first program to accomplish that feat was based on neural nets. Now, a large neural net is computationally equivalent to a very complex function that takes a board position as its input and gives the move it considers best as the output. The AlphaZero network, a successor of AlphaGo has 84 layers and thousands of nodes. It took a vast computational effort to train the network and it takes a supercomputer to use it at a level sufficient to beat the best professionals. And go is a simple and well-defined abstract complete information board game!
Making the language as internally consistent as possible is but scratching the surface of the complexity involved in interpreting a constitution governing any collaborative effort. The interpretation of said constitution requires understanding the intricacies of every type of situation that may arise. If that could be done algorithmically, then we'd have created an artificial general intelligence (AGI). Nobody knows how to create an artificial general intelligence at the moment.
The role of Agoras in all of this is what happens when we are using TauML to translate so we can reduce ambiguity in our communication with each other, so we can reach agreement on what to do next? Well if we do reach agreement we translate it from human readable to machine readable, so from controlled English for example to machines via program synthesis.
So we can think of our agreements on what to do next as collaboratively describing the functioning of software in as detailed of a manner as possible (a specification). From this we either can rely on program synthesis in which case a directly translation into software or in other instances it will be human programmers who will need to be hired.
So when we have agreed as a community then program synthesis turns that agreement into code automagically. When one of us wants to do our own project or if paths diverge then Agoras will allow anyone who has tokens to communicate their specification to the network and then any programmer(s) can meet the requirements. In other words, a market for code paid for with Agoras.
And no not just code, knowledge, computation resources, etc. So you can see Agoras will be a big deal. As big as EOS by itself, but collaboratively developed and improved upon continuously. It is also true that Tauchain will potentially via Agoras create lots of jobs for digital nomads who will be able to sell knowledge, or do coding, or do knowledge engineering.