Wait - are these two different lists? (topicbox vs listbox) On Sun, 6 Oct 2019 at 01:48, Stefan Reich < stefan.reich.maker.of....@googlemail.com> 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 <mentific...@gmail.com> 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