Goal Fulfillment and Predicate Schematization
When there is a Goal Atom G important in the system (with a lot of RFS), the GoalFulfillment CIMDynamic seeks SchemaNodes S that it has reason to believe, if enacted, will cause G to become true (satisfied). It then adds these to the ActiveSchemaPool, an object to be discussed below. The dynamics by which the GoalFulfillment process works will be discussed below in the section on economic goal and action selection.
For example, if a Context Node C has a high truth value at that time (because it is currently satisfied), and is involved in a relation:
SimultaneousAttraction C PredictiveAttraction S G
(for some SchemaNode S and Goal Node G) then this SchemaNode S is likely to be selected by the GoalFulfillment process for execution. The process may also allow the importance of various schema S to bias its choices of which schemata to execute.
The formation of these schema-context-goal triads may occur according to generic inference mechanisms. However, a specially-focused PredicateSchematization CIMDynamic is very useful here as a mechanism of inference control, increasing the number of such relations that will exist in the system.