Intelligent Systems And Their Societies

Asleep Mode

The person can change the mode to "asleep" by the menu. This is a time consuming task, since the amount of rules, as time goes on, grows to very large. Each rule in the chronological memory has to be compared with all the rules in the general memory.
To understand the world around us, we humans look for patterns , for regularities in the activities occurring around us. These regularities are sometimes called " natural laws" . The General Learner does this in the sleep mode. Here the program looks at its memory of rules and creates rules that are more general, that are applicable to many situations. We humans do part of this in the REM period of sleeping.
The program runs in the sleep loop until the person again changes it to " awake" .
In the same way as in the awake mode, a series of rules is activated by the interior situation. Each rule searches for a specific type of pattern:

Combine Rules
This is the first rule activated due to the interior situation, that is " asleep" . By combining a series of rules, it creates a "combined rule". This is like a tennis serve, that is composed of many sequential movements.
When the FutSit of one rule is identical to the Sit1 of another rule, then the two are combined into a new combined rule. The new rule has as Sit1, the Sit1 of the first of the two rules, and as FutSit, the FutSit of the second rule.

Get Rule from Chronological Memory
Besides the memory of rules and concepts there is also a chronological memory that stores the sequence in which the exterior rules were used. This function takes out always the last rule of the chronological memory. It passes it on to the following functions of the asleep mode and cancels it from the chronological memory.

Make Asleep Rule List
Here it looks for rules, in the memory of rules, that have one or more concepts in common with the last rule of the chronological memory. It makes a list of these exterior rules. The following interior rules of the asleep mode look for patterns between parts of the rules in this list.

Combine Concepts
This rule looks at the rule list and combines a number of concepts that, in a situation of a rule, often occur together. It puts these concepts into a new combined concept.

Abstract a Concept
This rule looks, in the rule list, for different concepts that are used in the same way in several rules, and creates an abstract concept with these concepts as concretes. The advantage is that something learned for one concrete concept can be used with another concrete concept of the same abstract concept.

Generalize the Situation
This interior rule looks for rules in the list that have the same FutSit. Extracting concepts, that these rules have in common in their Sit1. Having only some concepts in common, means that these concepts are the really important ones. So using only these, it creates a new rule. This is a rule applicable to many variations of this type of situation.

Make Same Concept Rules
This rule looks for at least three rules, where each rule havs the identical concept in its Sit1 and its FutSit. The pair of concepts can be different in each rule. Apart from this, the rules have to be identical. Now the program creates a PatRule that contains identical CoRules of type SAME_INT in both the Sit1 and the FutSit. These, just created CoRules, are placed in the spots of the repeated concepts. It thus creates a new exterior rule, applicable to many variations of this situation.
The CoRules of this type indicate, that whatever concept exists in the present situation at the place of the CoRule, should be repeated at the place of the CoRule in the FutSit.

Make Repeated Concept Rules
This rule looks if a certain concept exists in the Sit1 of several rules when a different concept in the FutSit of the rule is always repeated the same number of times. If found, it creates a CoRule of type REP_LAB that is attached to the concept in the Sit1. When this concept occurs in a present situation, The concept in the FutSit is to be repeated the number of times indicated by the CoRule.

Make Pattern Operation Rules
This rule takes all text concepts, in any language, in the Sit1, as a candidate concept. Then it checks if they mean "+", "-", "*", "/". It does this by looking for near concepts, in the text, that have attached a CoRule of type "Repeat Concept". It checks if the relationship of the various concepts involved in Sit1 results as the concept in the FutSit when using arithmetic.
If that is the case, it creates a CoRule of type PAT_OP and attaches it to the candidate concept. When, in the future, the same candidate concept is found in a present situation, the CoRule operates with previous and later concepts, that have attached a CoRule of type REP_LAB, and produces the number concept needed in the FutSit. (Have a look at the example number four in "Tests").

Forget
This is an exception. It is a rule that does not look for patterns, but checks if the memory is too full. If that is the case, it forgets rules that have not been used for a long time. Also it deletes concepts, only used in these rules..

For continuos reading, like a book - continue here
Jump to the e-book Contents / Intelligent Systems document / Robot Brain / top of the page.