JavaScript Strong AI updated with automated reasoning

[Mentifex]

The most advanced feature of the English JSAI
(JavaScript artificial intelligence) is the InFerence

http://code.google.com/p/mindforth/wiki/InFerence

mind-module for automated reasoning. You may witness
automated reasoning in action by first telling the AI
a general fact to serve as a basis for an inference,
such as "birds have wings" or "authors earn money".
Then, at any time later in the session of running the

http://www.scn.org/~mentifex/AiMind.html

JSAI, you may trigger a silent inference by entering
a statement informing the AI that a particular subject
is a member of the class or group about which something
inferrable is already known. You might enter,
"eagle are birds" or "james is an author".
After making the silent, conceptual inference,
the JSAI will feed the idea of the inference into the

http://code.google.com/p/mindforth/wiki/AskUser

AskUser module to ask the user whether the inference
is true or not. The AI may ask, "DO EAGLES HAVE WINGS?"
or "DOES JAMES EARN MONEY?" If you enter "no" as your
answer to refute the inference, the

http://code.google.com/p/mindforth/wiki/KbRetro

KbRetro module retroactively adjusts the knowledge base
(KB) of the AI to attach a negational "NOT" to the
verb of the inference, and negation of the inference
becomes part of knowledge of the AI Mind. At any time
in a meandering chain of thought, the AI may blurt out,
"JAMES DOES NOT EARN MONEY." If you answer "maybe"
or you make no response at all, the KbRetro module
removes the associative tags from the concepts of
the silent inference, so that the idea ceases to
function as an item of knowledge in the AI Mind.