German AI Programming Journal: 2013 March 16

[Mentifex]

Thurs.14.MAR.2013 -- Seeking Confirmation of Inference.
In the German Wotan artificial intelligence

http://www.scn.org/~mentifex/Deki.txt

with machine reasoning by inference, the

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

AskUser module converts an otherwise silent
inference into a yes-or-no question seeking
confirmation of the inference with a yes-answer
or refutation of the inference with a no-answer.
Prior to confirmation or refutation, the
conceptual engrams of the question are a mere
proposition for consideration by the human user.
When the user enters the answer, the KbRetro

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

module must either establish associative tags
from subject to verb to direct object in the
case of a yes-answer, or disrupt the same tags
with the insertion of a negational concept of
"NICHT" for the idea known as "NOT" in English.

Fri.15.MAR.2013 -- Setting Parameters Properly.
Although the AskUser module is asking the proper
question, "HAT EVA EIN KIND" in German for
"Does Eva have a child?", the concepts of the
question are not being stored properly in the
Psi conceptual array.

Sat.16.MAR.2013 -- Machine Learning by Inference.
Now we have coordinated the operation of InFerence

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

AskUser and KbRetro. When we input,
"eva ist eine frau" for "Eva is a woman,"
the German AI makes a silent inference that
Eva may perhaps have a child. AskUser outputs
the question, "HAT EVA EIN KIND" for
"Does Eva have a child?" When we answer
"nein" in German for English "no", the KbRetro
module adjusts the knowledge base (KB) retroactively
by negating the verb "HAT" and the German AI says,
"EVA HAT NICHT EIN KIND", or
"Eva does not have a child" in English.

Mentifex (Arthur)
--
http://www.scn.org/~mentifex/DeKiUser.html
http://www.chatbots.org/ai_zone/viewthread/240
http://cyborg.blogspot.com/2013/03/mar16dkpj.html
http://store.kagi.com/cgi-bin/store.cgi?storeID=AMP_Live