In this page it is intended to describe, how the logical reasoning engine of the brain of our Robots work
What is logical reasoning?
If we consider that, there exist about 20 - 30 different logics, for instance, Temporal Logic, Epistemic Logic, Propositional logic, Modal Logic, Default logic and so on, then Logical reasoning can be defined with these three steps:
Claim 1 - Human can NOT do logical reasoning beyond a certain simple level
For instance you can go to the site of Angela Robot and check some of those temporal logic theorems that she is presenting. Try to prove them without paper, pencil and hours of prior learning the methods. I claim that you can not do it. No human can do it. But a computer can. Our brain is not designed to do it. We do not have the facilities required to be able to do it. But a computer can. This is not your fault. In return, you can be happy that a computer can not swim (yet).
Claim 2 - A not-trained human, does reason, but incorrect (most of the time)
The only way to prove that a conclusion is correct or not, is to follow above three steps and check that formulas are correct or not. Example of an incorrect reasoning is presented in the penguin joke. If you are interested, then use the following formulas and prove "why the penguin is incorrect" and send us your proof and get a complimentary user name and password to access our (friend account) membership for the Robots.
What type of Logic our Robots use?
Our Robots are equipped with common-sense reasoning and first order predicate logic.
What is common-sense reasoning?
Common-sense reasoning requires a huge amount of data in the dBase. We humans do have it. We have learned many facts. That is why (so far) we can reason better than a computer. (if the dBase of the computer is small) Please look at the examples:
We know that Jo saw the tree --- comma, while HE was flying --- (by airplane) over the city. Because we know that:
These three sentences are not in the example but they are in the dBase of our brain. Therefore we do not conclude that:
If you feed a computer with thousands (preferably millions) of common-sense knowledge sentences, (like an adult human) and give the ability of using the formulas for reasoning to the robot, then computer can do common-sense reasoning, better than a human. Example two and three are not described but you can work it out.
This is an example for a robot that is driving a car. Comparing with a human who is driving a car. Preceptors of the robot (or eye of the human) show that a person is crossing the road. Question is this; Do I slow down or not?
If a human is driving, because he knows these statements in his common-sense dBase (in his brain), that
Then a human driver, if sees an old person, slows down and if he sees a young person, most probably does not slow down. His reasoning is correct because he has those millions of facts in his brain.
If you do not give all of that information, that seems very simple, but necessary for our day to day reasoning, and ask the robot to drive. I guess, most probably, it could be considered a dangerous driver. It is not fault of the robot, it is fault of the programmer that gave the Robot a small dBase. Reasoning engine of the robot might work correctly, but because its EXPERIENCE (number of common-sense facts) is not enough, it might make mistakes.
Therefore, a good common-sense reasoning engine requires a huge dBase of facts.
How big is the dBase of facts of our robots?
There are two versions.
The demonstration version has a very small dBase, just to demonstrate how it works. The commercial version has all of those thousands of facts that are written in the (specifications) page of our site.
Formulas that our Robots know for Logical Reasoning
If you are a logician and are interested in knowing more about Propositional logic reasoning, Epistmeic logic reasoning and Common-Sense reasoning abilites of our Robots, then, please go to the contact page and email us. We will be happy to send you more information.