Wait - are these two different lists? (topicbox vs listbox)
On Sun, 6 Oct 2019 at 01:48, Stefan Reich <
[email protected]> wrote:
> 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
>
--
Stefan Reich
BotCompany.de // Java-based operating systems
------------------------------------------
Artificial General Intelligence List: AGI
Permalink:
https://agi.topicbox.com/groups/agi/T2d0576044f01b0b1-Mb3a1d9cd2c3035953fd9fd87
Delivery options: https://agi.topicbox.com/groups/agi/subscription
