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…

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…

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…

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…

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…

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…

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. …

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…

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. …