Follow project on Twitter

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

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


Scientists are unable – or unwilling – to define intelligence as a set of natural laws (while I succeeded). Not being based on laws of nature, Artificial Intelligence (AI) is not an artificial implementation of natural intelligence. Therefore, AI is not a science, but a field of engineering. As a consequence, AI is limited to engineered intelligence.

A science delivers generic solutions, while a field of engineering is limited to specific solutions to specific problems. And engineered solutions are limited to perform routine tasks.

However, it is possible to uplift this field of engineering towards a science, similar to the field of electromagnetism, which is based on laws of nature. Thanks to research on the natural laws of electromagnetism, we are able to close the loop for electricity, magnetism, light and movement. As a result, we are able to apply these conversions to daily life. We are able:
• to convert electricity to magnetism, and to convert magnetism back to electricity;
• to convert electricity to light, and to convert light back to electricity;
• to convert electromagnetism to movement, and movement back to electromagnetism.

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.

By defining intelligence as a set of natural laws – and researching the laws of nature involved with intelligence in grammar – I am able to close the loop for natural intelligence and natural language, which extends Aristotelian Logic. As a result, 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.

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 autonomously reason and to autonomously write the derived knowledge in English, Spanish, French, Dutch and Chinese.

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.