Open in app

Sign In

Write

Sign In

Tau
Tau

41 Followers

Home

About

Feb 27

New Website Launch

Dear Tau community, We are thrilled to announce that our new website (www.tau.net) has officially launched, and we invite you all to take a look! Our team has been working hard to create a more user-friendly, informative, and engaging website that truly represents the potential of Tau’s groundbreaking technology. The…

AI

2 min read

New Website Launch
New Website Launch
AI

2 min read


Sep 21, 2022

Basic Knowledge: Logical AI and the Knowledge Challenge

How Much Knowledge Must a Logical AI System Have? Tau bets on Logical AI, but what is AI, and what does logic bring to it that is special? …

AI

4 min read

Basic Knowledge: Logical AI and the Knowledge Challenge
Basic Knowledge: Logical AI and the Knowledge Challenge
AI

4 min read


Sep 13, 2022

Basic Logic: How to Make Classical Logic Machine-Readable

Remember that Logical AI is all about making computers capable of reading and interpreting human sentences. If you think about this for a bit, you will probably realize that this is one of humanity’s greatest feats, only second to the invention of the alphabet and written language itself. The invention…

Tau

3 min read

Basic Logic: How to Make Classical Logic Machine-Readable
Basic Logic: How to Make Classical Logic Machine-Readable
Tau

3 min read


Sep 6, 2022

Basic Logic: Satisfiability is Truth Enough

At Tau.net, we aim at empowering users with truth, but this is a very lofty goal; it is so lofty that if we insist on absolute truth, then we might end up empty-handed. So, we need to compromise on how much truth is truth enough in Logical AI. Taken from…

Logic

4 min read

Basic Logic: Satisfiability is Truth Enough
Basic Logic: Satisfiability is Truth Enough
Logic

4 min read


Aug 30, 2022

Basic Logic: Truth and Consequences

Logical AI Is All About True Consequences In our previous article, we wrote that Logical AI gives us true power because in fact, it is the power of truth. This is why we at Tau are betting on Logical AI when so many other AI platforms choose to rely on…

Logic

3 min read

Basic Logic: Truth and Consequences
Basic Logic: Truth and Consequences
Logic

3 min read


Aug 23, 2022

Basic Logic: The Power of Truth

Going on with the topic of our previous article, we now discuss one of the features of logical Knowledge Representation Languages (KRLs) that distinguishes it from other languages used for KR: Truth. In the mentioned article, we talked about SKOS (Simple Knowledge Representation System) and if you go back to…

Tauchain

3 min read

Basic Logic: The Power of Truth
Basic Logic: The Power of Truth
Tauchain

3 min read


Aug 16, 2022

Basic Logic: Logical AI and Knowledge Representation Languages

Beyond Mere Controlled Vocabularies and Towards “Big Magic” As we told you in our first article, Knowledge Representation (KR) is a central component of Logical AI. KR is supported by a language, called a KR Language (KRL), and we now address this topic. A KRL is so central a part…

Tauchain

3 min read

Basic Logic: Logical AI and Knowledge Representation Languages
Basic Logic: Logical AI and Knowledge Representation Languages
Tauchain

3 min read


Aug 8, 2022

Basic Logic: Principles of Classical Logic

Logic Is Everywhere and Logical AI Just Tries To Capture It in Machines Many people (still) associate logic with hard-to-understand rules and highbrow explanations of natural phenomena like mathematical thinking and reasoning. …

Logic

4 min read

Basic Logic: Principles of Classical Logic
Basic Logic: Principles of Classical Logic
Logic

4 min read


Aug 2, 2022

Basic Logic: Core Notions

In these series we will introduce some of the concepts behind the tech of Tau, the first-ever platform that will be able to take the thoughts, advice, and knowledge of its users and update its own software in real-time by having its users write in logical languages that both machines…

Logic

4 min read

Basic Logic: Core Notions
Basic Logic: Core Notions
Logic

4 min read


Jul 8, 2022

Founder blog: Ohad Asor on Social Choice

We are interested in a process in which a small or very large group of people repeatedly reach and follow agreements. We refer to such processes as Social Choice. We identify five aspects arising from them, language, knowledge, discussion, collaboration, and choice about choice. …

Tauchain

10 min read

Founder blog: Ohad Asor on Social Choice
Founder blog: Ohad Asor on Social Choice
Tauchain

10 min read

Tau

Tau

41 Followers

Understanding Each Other

Following
  • Nathan Pearson Smith

    Nathan Pearson Smith

  • Scott Dewing

    Scott Dewing

  • Szymon Klarman

    Szymon Klarman

  • Satyam Kumar

    Satyam Kumar

See all (5)

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech

Teams