Follow project on Twitter

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

Download this challenge document (updated: March 12, 2018):
Scientific challenge - Beat my Controlled Natural Language reasoner.pdf


Scientists fail to define intelligence as a set of natural laws (while I succeeded). Currently, Artificial Intelligence (AI) is limited to either programmed or trained intelligence. So, AI is not an artificial implementation of natural intelligence. A science delivers generic solutions that are applicable to daily life, while AI is limited to engineering: specific solutions to specific problems. And engineered solutions are limited to perform routine tasks.

We really need to uplift this field of engineering towards a science, similar to the field of electromagnetism. The field of electromagnetism is scientifically understood, because scientists are able to close the loop for electricity, magnetism, movement and light. Scientists are able:
• to convert electricity to light, and to convert light back to electricity;
• to convert electricity to magnetism, and magnetism back to electricity;
• to convert magnetism to movement, and movement back to magnetism.

By defining intelligence as a set of natural laws, I am able to close the loop for natural intelligence and natural language. My software extends Aristotelian Logic. My system is able:
• to convert readable sentences – with a limited grammar – to a logic that isn't described by scientists yet;
• to autonomously derive new knowledge from previously unknown knowledge, using my extended logic;
• and to express the derived knowledge in readable and autonomously – word by word – constructed sentences, with a limited grammar.

I am using fundamental science (logic and laws of nature) instead of cognitive science (simulation of behavior), because:
• Autonomous reasoning requires both natural intelligence and natural language;
• Intelligence and language are natural phenomena;
• Natural phenomena obey laws of nature;
• Laws of nature and logic are investigated using fundamental science.

The logical rules of my autonomous reasoner are (almost) language-independent. So, I can add any language, just by configuring my reasoner for this new language, and a little programming. As such, my reasoner is already able to read, to reason and to write in English, Spanish, French and Dutch. Currently, I am adding the Chinese language.

Through this document, I defy anyone to beat the simplest results of my Controlled Natural Language (CNL) reasoner in a generic way: from natural language, through algorithms, back to natural language.

My CNL reasoner is published as open source software.