Rules are typically written in an `` If ... then'' form:

If  < premises>   then < conclusion> 

If  < condition>  then < action> 
These forms correspond to the logical implication form:

&forall x P1(x) &and ... &and Pn(x) &rarr C(x)

However, the interpretation of rules may or may not correspond to a formal logical interpretation.

Contents    Page-10    Prev    Next    Page+10    Index