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
