next up previous
Next: Evaluation Strategy Up: Milord II: Language Description Previous: Reflection

Control knowledge


The control knowledge is the declarative component of a module responsible for several activities: meta-reasoning, order in evaluation of facts and rules, determination of which rules to use and other control tasks. The control knowledge component is composed (see Figure 12) by the local declaration of the type of evaluation, the threshold and a set of meta-rules that controls the deductive (rules) and the structural (hierarchy) components of a module.

Figure 12: Syntax of control definition.

Josep Puyol-Gruart
Thu Oct 23 15:34:13 MET DST 1997