- summary Creates new ideas by reasoning from old ideas
- labels module,logic,thinking
Table of Contents |
Theory
The Mentifex AI Minds began to incorporate inference in December of 2012, when it became clear that the AI could use two facts to create a third fact as a logical inference by replacing the subject of a general statement ("Birds have wings") with the subject of a specific statement ("An eagle is a bird") to create a silent inference: "Eagles have wings."
Algorithm
MindForth uses the input of a BeVerb statement ("Boys are kids") to trigger the calling of the InFerence module, which then changes the knowledge-base idea "Kids make robots" by replacing the general subject "Kids" with the specific subject "Boys" to infer, "Boys make robots."
Code
Report
AI in German
http://ecx.images-amazon.com/images/I/41IxawpIOEL._AA160_.jpg
also uses inference. See chapter 18 in the free preview.
Logic
Now that the InFerence module exists, it may be expanded to incorporate logical operations such as if-then conditions.
Superintelligence
Once the AI Minds like MindForth in English, Wotan in German, and Dushka in Russian start to employ complex logic in the modules for inference, a speed-up and a smarten-up may begin to occur, culminating in SuperIntelligence.
Wikipedia
* http://en.wikipedia.org/wiki/Automated_reasoning * http://en.wikipedia.org/wiki/Inference_engine * http://en.wikipedia.org/wiki/Is-a * http://en.wikipedia.org/wiki/Logic * http://en.wikipedia.org/wiki/Reasoning * http://en.wikipedia.org/wiki/Syllogism