root

What is Tau

Tau is a decentralized blockchain network intended to solve the bottlenecks inherent in large scale human communication and accelerate productivity in human collaboration using logic based Artificial Intelligence.

Currently, large scale discussions and collaborative efforts carried out directly between people are highly inefficient. To address this problem, we developed a paradigm which we call Human-Machine-Human communication: the core principle is that the users can not only interact with each other but also make their statements clear to their Tau client. Our paradigm enables Tau to deduce areas of consensus among its users in real time, allowing the network to boost communication by acting as an intermediary between humans. It does so by collecting the opinions and preferences its users wish to share and logically constructing opinions into a semantic knowledge base.

Able to deduce consensus and understand discussions, Tau can automatically generate and execute code on consensus basis, through a process known as code synthesis. This will greatly accelerate knowledge production and expedite most large scale collaborative efforts we can imagine in today's world.

Tau Main Features

  • icon-language
    The Internet of Languages

    There is no single best language for all purposes which is why we build the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.

  • icon-discuss
    Scaling Discussions

    Discussions are a highly valuable social process of exchanging thoughts and opinions which can lead to inspiring fresh ideas and deducing new concepts. Currently, discussions on a large scale are highly inefficient: having a discussion among 500 people generally yields a less productive result than a discussion between 5 people. But what if we could not only listen to hundreds of people at once, but comprehend and process all this information in a useful way? By having Tau as an organizer in our Human-Machine-Human approach to communication, we can effectively summarize and query all discussed data in an efficient and comprehensible way, and, for the first time in history, allow discussions to accommodate for any number of participants while remaining productive. Having a x100 increase in discussion participants under Tau could, in theory, yield x100 more information utility and knowledge productivity.

  • icon-knowledge
    Global Knowledgebase

    Once knowledge representation languages are defined under the TML, any user can freely submit opinions and ideas as logical predicates to their Tau client, or broadcast it to the Tau network, which combine to form a knowledge base. Users may in turn query this knowledge base and Tau will help them deduce the answers they seek. The production of knowledge heavily depends on the efficiency of discussions. Therefore, by resolving the bottleneck of large scale discussions, Tau can effectively greatly accelerate the production of all knowledge worldwide.

  • icon-collaboration
    Accelerating and Automating Collaboration

    Many worthwhile human undertakings depend on collaborative efforts. By expediting these efforts, we can effectively accelerate the development of our entire species. In addition to being able to scale discussions, Tau's decidable logical framework allows it to synthesize and execute code based on user specifications. Users can create their own teams under Tau to discuss and collaborate on a project with its own private knowledge base. After taking advantage of Tau's ability to scale discussions, teams can quickly reach a consensus on the specifications and Tau can automatically generate and execute code, according to those specifications.

  • icon-choice
    Real Time Social Choice

    Forming a fair, comprehensive and efficient method of social choice has proven elusive in many fields. In large communities, deciding on which issues to vote on becomes unwieldy, leading to many important social topics and insights being ignored. Similarly, large organizations are often paralyzed in their inability to make important network wide choices, leading to low productivity and even failure. Tau introduces an innovative social choice mechanism: users only need to express their opinions in the form of logical predicates (using language defined over TML) posted on the network, enabling Tau knowledge base to be an aggregate of social preferences of every opinion of all its users. Together with the logical property of decidability and a novel consensus formula of ours, the social choice mechanism allows Tau to calculate things like the consensus on every topic expressed, regardless of how remote or esoteric the subject matter.

  • icon-economy
    Agoras Smart Knowledge Economy

    Agoras is an advanced knowledge economy that enables pure knowledge-cash transactions...

    Read more

The Only Dynamic Decentralized Social Network

This process of scaling discussions, code automation and real time social choice can be applied to the network itself, allowing the entire blockchain protocol of Tau to be defined and amended seamlessly by the choices of its users.

When the Tau community intends to make changes to the network code, rules or protocols, they will simply need to express these opinions and perspectives in a compatible language over the network. The self defining logic of the Tau blockchain network will enable it to detect the consensus among these opinions and automatically amend its own code to reflect this consensus from block to block. Unlike the common method of voting, Tau’s approach will take into account the perspectives of the entire community, where people will be free to vote and propose what to vote for in real time. This unique ability of Tau is the only decentralized solution to create a truly dynamic protocol.

The video above is a preliminary illustration of how discussions over Tau may take form. User discussions can focus on everyday subjects or particular disciplines, such as science and politics. Tau will be aware to discussions about itself and change accordingly.

The Roadmap

root-left

We designed a roadmap where each stage supports the development of the next one and is a useful technological innovation on its own. We expect to complete the development of TML and Alpha Tau in 2019. Using Alpha Tau’s discussion platform, an unbounded number of developers can join the project to support building Beta Tau, expediting its go-to-market date. After Beta Tau is developed, it will only be a matter of time until Tau-Chain is completed as all technical challenges will be resolved using Beta Tau, collaboratively, and hopefully in a development scale never seen before.

 
MVP Launch: Tau Meta Language (TML)  

We start by developing a metalanguage (TML) as a tool to define new languages that can be translated among themselves. TML will be a decidable language that holds unique characteristic to interpret and redefine itself, similar (but more expressive) to Datalog, as it allows unrestricted [unstratified] negation. TML will also be able to perform all computational tasks that are computable in polynomial space. We learned from history's mistakes to insist that our implementation will be highly optimized.

 
Demo  

A program will be released for users to get a teaser of how communicating to Tau may look like.

 
Futamura's Projections  

TML’s first mission is to define itself in the method of Partial Evaluation, which gives rise to Futamura's projections. It will be the first non-Turing-complete implementation of Futamura's projections, the holy grail of compilation abilities.

 
Internet of Languages  

A user interface that leverages TML will be created to develop a system that can easily define, store, and translate languages. The Internet of Languages will make languages irrelevant, given the network’s ability to translate from one language to another while keeping the same exact meaning.

 
Knowledge Network  

To finally reach a scalable discussion platform, we will build infrastructures to store and query bulks of knowledge, represented by languages from the Internet of Languages.

 
Alpha Version Launched  

Alpha is a social platform that allows efficient discussions between an infinite number of participants. It will be able to scale discussions and detect logical points of consensus between users, enabling users to easily map the opinions raised during any discussions. Better knowledge sharing and construction will be made possible.

 
Beta Version Launched  

Beta will advance Alpha by allowing users to discuss code requirements and then automatically synthesize a correct-by-construction code.

 
Tau-Chain  

Tau is about perpetual collaborative development of itself based on user agreements. It will do so as a decentralized and blockchain-based p2p network.

 
Agoras  

A fully featured knowledge economy allowing knowledge-cash transactions, computational resources market, and advanced financial tools.