next up previous
Next: Facts Up: Milord II: Language Description Previous: Modules

Deductive Knowledge

The deductive knowledge component of a module is composed by a dictionary declaration, that is, the set of facts (those belonging to the interface of the module and other intermediate facts) and their attributes (see Figure 2); a set of rules declaration, that is, a set of propositional weighted rules; and an inference system declaration, that is, the local logic of the module.

Figure 2: Syntax of deductive knowledge definition.

The dictionary is composed of an optional type definition (see Section 3.1.1) and the declarations of the facts and their attributes.

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