Open in app

Sign In

Write

Sign In

Tau
Tau

30 Followers

Home

About

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? Today, AI is everywhere, from washing machines to humanoid robots, and just about everyone knows that the main idea behind these AI-based…

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


Jun 22, 2022

Founder blog: Ohad Asor on Agoras and the Economics of Knowledge

In our current world, one can rarely monetize their knowledge in a direct manner. We almost never buy or sell (or price) a single piece of knowledge. Seeking knowledge in an economic setting is currently mostly done by appealing to people who we assume to be involved in a field…

Tauchain

6 min read

Founder blog: Ohad Asor on Agoras and the Economics of Knowledge
Founder blog: Ohad Asor on Agoras and the Economics of Knowledge
Tauchain

6 min read

Tau

Tau

30 Followers

Understanding Each Other

Following
  • Nathan Pearson Smith

    Nathan Pearson Smith

  • Scott Dewing

    Scott Dewing

  • Szymon Klarman

    Szymon Klarman

  • Satyam Kumar

    Satyam Kumar

Help

Status

Writers

Blog

Careers

Privacy

Terms

About

Text to speech