Follow project on Twitter

Scientific challenge: Beat the simplest results of my Controlled Natural Language reasoner

Download this challenge document (updated: November 9, 2017):
Scientific challenge - Beat my Controlled Natural Language reasoner.pdf


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