Netherlands
Natural intelligence is the use of naturally embedded logic. And our brains use this naturally embedded logic to organise their knowledge. This naturally embedded logic provides concrete clues for organizing natural objects, like: • grouping objects that belong together, • separating objects that don't belong together, • and archiving objects that have become less important. Language and spatial information are natural sources of intelligence: • Natural language is providing concrete logic for organizing knowledge objects, • and spatial information provides concrete logic for organizing spatial objects (utilized in, e.g., self-driving cars). In this way, our brains know how to organise their knowledge and spatial information. My focus is on language. I have discovered natural reasoning constructs that are not described by scientists. They are similar to the ones described by Aristotle almost 2400 years ago, such as: • Given: All philosophers are mortal; • Given: Socrates is a philosopher; • Logical conclusion: Socrates is mortal. I am implementing these natural reasoning constructs in software, which is published as open source: https://mafait.org https://github.com/mafait/Thinknowlogy
Everything in nature is bound by natural laws, and proceeds according to natural laws. However, Artificial Intelligence is not based on Laws of Nature, but on mimicking behavior. And as we all know, mimicking the behavior of a hen (chicken) does not produce eggs. Therefore, AI is not a science, but a field of engineering. We really need to uplift this field of engineering towards a science, similar to the field of electromagnetism, which allows to close the circle for electricity, magnetism, movement and light: • to convert electricity to light, and to convert light back to electricity; • to convert electricity to magnetism, and magnetism back to electricity; • to convert electromagnetism to movement, and movement back to electromagnetism. By defining intelligence as a set of natural laws, I am able to close the circle for natural intelligence and natural language: • to convert readable sentences to a logic that isn't described by scientists yet; • to derive new knowledge from this extended logic; • and to express the derived knowledge as readable and autonomously word-by-word constructed sentences. I am using fundamental science (logic and Laws of Nature) instead of cognitive science (simulation of behavior), because: • Autonomous reasoning requires both intelligence and 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 reasoner are language-independent. So, I can add any language, just by configuring my reasoner for this new language. As such, my reasoner is already able to read and autonomously write in English, Spanish, French, Dutch, and Chinese. I defy anyone to beat the simplest results of my CNL reasoner in a generic way: from natural language, through algorithms, back to natural language. See attached challenge document. Published — free of charge — as open source software (in C++ as well as Java).
Tested their broadband workflow system. Used techniques: generic test techniques
Seconded from Atos Origin, tested their publishing system for arrival and departure information of trains. Used techniques: generic test techniques
As a test consultant seconded to Achmea and later ProRail
Seconded from Atos Origin, tested their newly developed pension system. Used techniques: TMap