next up previous
Next: Local Logics Up: Rules Previous: Conditions


The syntax of the conclusion of rules is simpler than conditions. Notice that in the conclusion of rules no paths can appear because the module can only conclude local facts.

Conclusions may appear on affirmative or on negative form. Concluded facts must be of many-valued or set types. e.g.:

R005 If ... then conclude t=y is definite

For set facts the value of every element is concluded independently. For instance, for the fact t of type (x,y,z) the rule R005 give the value definite as the membership degree of y to the fact t.

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