prednom @ 0 > IF \ 2018-06-21: positive predicate nominative?
midway @ t @ DO \ 2018-06-21: search KB to infer facts;
I 1 psy{ @ prednom @ = I 8 psy{ @ 2 = AND IF \ 2018-06-21:
plural KB data?
I 7 psy{ @ 1 = IF \ 2018-06-21: nominative?
seqverb @ 0 = IF \ 2018-06-21: only once;
I 11 psy{ @ seqverb ! \ 2019-09-29: hold to be the verb
of an inference.
I 11 psy{ @ quverb ! \ 2019-09-29: query-verb for AskUser;
I 14 psy{ @ seqtkb ! \ 2019-09-29: hold for fetching same
direct object.
0 ynverb ! \ 2018-06-21: since lacking, use quverb for AskUser
seqverb @ seq ! \ 2018-06-21: to be inferred as applying
to subject.
THEN \ 2018-06-21: end of test for not-yet-declared seqverb.
THEN \ 2018-06-21: end of test for nominative.
THEN \ 2018-06-21: end of test for fact about prednom as plural subject.
-1 +LOOP \ 2018-06-21: end of backwards search-loop.
It's pure obfuscation, isn't it? I mean, is there some source code
that is actually readable?
On Sun, 6 Oct 2019 at 01:38, A.T. Murray <[email protected]> wrote:
> MindForth resets associative tags before each operation of Indicative
> module.
>
> In the MindForth artificial intelligence (AI) for robots, we will now
> start to display an apparatus of diagnostic messages at the start of the
> Indicative module to tell us the values being held in variables which serve
> the purpose of creating associative tags to interconnect the concepts being
> expressed as English words during the operation of the Indicative
> mind-module. Since the ConJoin module will often insert a conjunction
> between two thoughts being generated, the AI Mind Maintainer needs
> assurance that variable-values operative during one thought do not
> erroneously get carried over past a conjunction into the separate process
> of generating another thought.
>
> Just by resetting the tsj time-of-subject variable to zero at the start of
> the Indicative module, we have made the Forthmind able to trigger repeated
> instances of logical InFerence. Each running of the Indicative module
> amounts to a fresh declaration of the associative tags in the conceptual
> flag-panel that supports the generation of ideas in the MindGrid. The
> following dialog still has a few problems, but it shows the repeated
> triggering of an inference.
>
> john is a student
>
> DOES JOHN READ BOOKS
> no
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> A JOHN DOES NOT READ BOOKS
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> PROFESSORS TEACH THE STUDENTS AND
> Indicative: tsj= 0 tvb= 0 tdo= 0
> STUDENTS READ THE BOOKS
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> I UNDERSTAND YOU AND
> Indicative: tsj= 0 tvb= 0 tdo= 0
> YOU ARE A MAGIC
> andru is student
>
> DOES ANDRU READ THE BOOKS
> no
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> AN ANDRU DOES NOT READ THE BOOKS AND
> Indicative: tsj= 0 tvb= 0 tdo= 0
> YOU READ THE BOOKS
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> PROFESSORS TEACH THE STUDENTS AND
> Indicative: tsj= 0 tvb= 0 tdo= 0
> STUDENTS READ THE BOOKS
>
> Indicative: tsj= 0 tvb= 0 tdo= 0
> STUDENTS READ THE BOOKS AND
> Indicative: tsj= 0 tvb= 0 tdo= 0
> I THINK
>
> http://ai.neocities.org/mindforth.txt
>
> https://groups.google.com/d/msg/comp.lang.forth/7gUrhuaL9gc/j0zMg_3CBQAJ
>
> *Artificial General Intelligence List <https://agi.topicbox.com/latest>*
> / AGI / see discussions <https://agi.topicbox.com/groups/agi> +
> participants <https://agi.topicbox.com/groups/agi/members> + delivery
> options <https://agi.topicbox.com/groups/agi/subscription> Permalink
> <https://agi.topicbox.com/groups/agi/T2d0576044f01b0b1-Mbcf6afe54468bba39b60856f>
>
--
Stefan Reich
BotCompany.de // Java-based operating systems
------------------------------------------
Artificial General Intelligence List: AGI
Permalink:
https://agi.topicbox.com/groups/agi/T2d0576044f01b0b1-M02d7924185493e632bdd913d
Delivery options: https://agi.topicbox.com/groups/agi/subscription
