MindForth Programming Journal 2019-10-02

[menti...@gmail.com]

Recently we have expanded the conceptual flag-panel of MindForth from fifteen tags to twenty-one associative tags, so that the free open-source artificial intelligence for robots may think a much wider variety of thoughts in English. Then we had to debug the function of the InFerence module to restore its ability to reason from two known facts in order to infer a new fact. For instance, the Forthmind knows the fact that students read books, and we tell the AI the fact that John is a student. Then the AI infers that perhaps John, being a student, reads books, and the incredibly brilliant Forth software asks us, "Does John read books?" We may anser yes, no, maybe or no response at all. Currently, though, we have the problem that InFerence works only once and fails to deal properly with repeated attemps to trigger an inference. We suspect that some of the variables involved in the process of automated reasoning are not being reset properly to their status ex quo ante before we made the first test of InFerence. Therefore we shall try a new technique of debugging which we have developed recently in one of the other AI Minds, namely the ghost.pl AI that thinks in both English and in Russian. We create a diagnostic display at the start of the EnThink module for thinking in English, so that we may see the values held by the variables associated with the InFerence module and the KbRetro module that retractively adjusts the knowledge base (KB) of the AI Mind in accordance with whatever answer we have given when the AskUser module asks us to validate or contradict an inference. The following dialog shows us that some variables are not being properly reset to zero.


john is student

EnThink: becon= 1 yncon= 0 ynverb= 0 inft= 0
qusub= 0 qusnum= 1 subjnom= 504 prednom= 561 tkbn= 0
quverb= 0 seqverb= 0 seqtkb= 0 tkbv= 0
quobj= 0 dobseq= 0 kbzap= 0 tkbo= 0
DOES JOHN READ BOOKS no

EnThink: becon= 0 yncon= 0 ynverb= 0 inft= 2084
qusub= 504 qusnum= 1 subjnom= 0 prednom= 0 tkbn= 2086
quverb= 863 seqverb= 0 seqtkb= 0 tkbv= 2087
quobj= 540 dobseq= 0 kbzap= 404 tkbo= 2088
A JOHN DOES NOT READ BOOKS

EnThink: becon= 0 yncon= 0 ynverb= 0 inft= 2118
qusub= 504 qusnum= 1 subjnom= 0 prednom= 0 tkbn= 0
quverb= 863 seqverb= 0 seqtkb= 0 tkbv= 0
quobj= 0 dobseq= 0 kbzap= 0 tkbo= 2088
PROFESSORS TEACH THE STUDENTS AND STUDENTS READ THE BOOKS

EnThink: becon= 0 yncon= 0 ynverb= 0 inft= 2152
qusub= 504 qusnum= 1 subjnom= 0 prednom= 0 tkbn= 0
quverb= 863 seqverb= 0 seqtkb= 0 tkbv= 0
quobj= 0 dobseq= 0 kbzap= 0 tkbo= 2088
I UNDERSTAND YOU AND YOU ARE A MAGIC
andru is student

EnThink: becon= 1 yncon= 0 ynverb= 0 inft= 2220
qusub= 504 qusnum= 1 subjnom= 501 prednom= 561 tkbn= 0
quverb= 863 seqverb= 0 seqtkb= 0 tkbv= 0
quobj= 0 dobseq= 0 kbzap= 0 tkbo= 2088
DOES ANDRU READ THE STUDENTS

Because some of the variables have not been reset, a second attempt to trigger an inference with "andru is student" results in a faulty query that should have been "Does Andru read books?" Let us reset the necessary variables and try again.

Upshot: It still does not work, because of a more difficult and more obscure bug in the assignment of conceptual associative tags. Well, back to the salt mines. Consider this post to be merely a progress-report and a showing of the Forth AI flag.

[Manuel Rodriguez]

Am Donnerstag, 3. Oktober 2019 04:37:32 UTC+2 schrieb menti...@gmail.com:
> Recently we have expanded the conceptual flag-panel of MindForth from
> fifteen tags to twenty-one associative tags, so that the free open-
> source artificial intelligence for robots may think a much wider variety
> of thoughts in English.

Is Mindforth a simulator but not an AI?

A working hypothesis for understand the Mindforth project better could
be, that the system wouldn't act as problem solver but as a symbolic
simulator for creating new problems. Let me give an example. If mindforth
would be a solver, it's possible to use the sourcecode for controlling
a robot. That means, i can program a robot maze game, and the mindforth
AI engine is able to play this game. That's the purpose of an AI, but
Mindforth isn't such an AI.

Instead, Mindforth comes with it's own language game and the user has
to program the solver for it. Suppose, we want that Mindforth outputs a
certain sentence, for example “The weather is windy”. This is possible
by feeding Mindforth with a certain input. That means, Mindforth defines
the rules by itself and the interaction is only possible, if the user
follows these rules.

[eugen...@gmail.com]

I remember mindforth from a long time ago. Where is the current work hosted, my searching is only finding some windows port.

[menti...@gmail.com]

http://ai.neocities.org/mindforth.txt -- is the current MindForth,

which runs on the old Tom Zimmer Win32Forth available at

http://www.complang.tuwien.ac.at/forth/win32forth/W32for42.exe

and clicking on the above download URL causes a box to pop up allowing the user
to [Save file] or [Cancel].

http://ai.neocities.org/InFerence.html -- is the module for logical inference.

Please consider MindForth to be a robot AI for the Forth community.

[eugen...@gmail.com]

Is it ported anywhere else besides windows?

[menti...@gmail.com]

It exists also in Perl as

http://ai.neocities.org/perlmind.txt

and in JavaScript for Internet Explorer as the

http://ai.neocities.org/AgiMind.html

program. MindForth really should be ported as a
Forth community project into as many Forths as possible,
such as for Linux and for the Green Arrays chips.

[Manuel Rodriguez]

Am Montag, 7. Oktober 2019 22:02:13 UTC+2 schrieb menti...@gmail.com:
> MindForth really should be ported as a
> Forth community project into as many Forths as possible,
> such as for Linux and for the Green Arrays chips.

Yeah, because many robots are using the GA144 chipset already. They
appreciate the low energy consumption together with the efficient
programming model. MindForth can help to determine if these users are
humans or robots.

[eugen...@gmail.com]

On Monday, October 7, 2019 at 4:02:13 PM UTC-4, menti...@gmail.com wrote:
> JavaScript for Internet Explorer as the

Internet Explorer is Windows only also.

Its need to be ported to something not limited by windows