The most advanced feature of the English and German
AI programs is their ability to engage in automated
reasoning with
inference.
The AI Mind detects the
input of a verb of being followed by a predicate
nominative, such as "Eve is a woman." The AI searches
its conceptual memory for generic knowledge about any
predicate nominative, such as "Women have a child."
The AI makes a silent, unconfirmed inference and then
asks the user a confirming question, such as "Does Eve
have a child?" If the user answers "No", the software
changes the underlying idea in memory to a negative
assertion.