Follow project on Twitter

Autonomous reasoning

Autonomous reasoning requires both natural intelligence and natural language. Without knowing, Aristotle applied natural intelligence to natural language roughly 2,400 years ago:

> Given: “All men are mortal.”
> Given: “Socrates is a man.”

• Logical conclusion:
< “Socrates is mortal.”

Roughly 200 years ago, such reasoning constructions were formalized through Predicate Logic. And since the start of this century, these reasoning constructions are implemented in software through Controlled Natural Language (CNL) reasoners. CNL reasoners are able to autonomously derive new knowledge from previously unknown knowledge, and to express the derived knowledge in readable sentences (with a limited grammar).