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.