The rules base contains the expert knowledge in the form of production rules defined as:
Rule ::= Rule_Number Rule_Theme [More/Less] (Premises | Operator Premises ) [More/Less] Conclusion Action CF_Rule |
The rule contains a number Rule_Number and a theme Rule_Theme used by rule actions Action to simulate meta-knowledge. It is possible to represent multiple proposition rule with a rule operator Operator. Three rule operators were defined