Agoras is an intelligent market built upon Tau-Chain: A Programmable decentralized P2P network based on ontologies and reasoning. Agoras aims to enable markets for knowledge, computational resources, and derivatives.
Tau is a blockchain network based on logic-based AI whereby all users collectively govern the system itself, simply by communicating in controlled natural languages, which are languages that not only can be processed by humans, but also by machines. Tau uses Logical AI at its core. Unlike machine learning, Logical AI provides provably correct results and can specify intended meaning of discussions and real-world knowledge. You can use Tau’s logic-based engine for its ability to accurately self-build complex software from knowledge input. You simply specify how any aspect of Tau should function, including its blockchain, and Tau updates its own software to provably meet your specifications.
Logical AI is also capable of machine learning, but it can explain its decision process to you, which is a huge advancement over machine learning type AI. Meanwhile, machine learning AI is unsuitable for accurately building any serious software, because it can only learn by examples. Machine learning always has a probability of its outcome being incorrect. It can explain the outcomes by examples, but it can’t show you the reason why it made the decisions, or prove that its results are correct. Thanks to Logical AI, users will be able to give Tau global instructions such as “do not send private data over the network” and they will affect the entire codebase.
