In forward chaining, if the premises P1 ... Pn are known, the conclusion C is asserted. For example, if we have the axiom:
&forall x MAN(x) &rarr MORTAL(x)
and the fact MAN(Socrates) is added to the database of facts, the fact MORTAL(Socrates) will also be added.
&forall x NUMBER(x) &rarr NUMBER(x+1)
Contents    Page-10    Prev    Next    Page+10    Index