Follow project on Twitter

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

Download this challenge document (updated: September 22, 2020):
Scientific challenge - Beat my Controlled Natural Language reasoner.pdf


Everything in nature is bound by natural laws, and proceeds according to natural laws. However, 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 fundamental science, but a field of engineering.

A fundamental 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. So, being a field of engineering, AI is limited to perform routine tasks.

However, it is possible to uplift this field of engineering towards a fundamental 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 / basic research (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 language – 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, while scientists are unable to develop a proper multilingual reasoner.

Through this document, I defy anyone to beat the simplest results of my Controlled Natural Language (CNL) reasoner in a generic way: from Controlled Natural Language, through algorithms, back to Controlled Natural Language, in multiple languages, without programmed knowledge, without human-written output sentences, and without the use of extensive words lists.

Of course, this reasoner is available free of charge, and published as open source software.