Suppose that we have formulas such as the following:
A &and B &rarr C
C &and D &rarr E
From A and B , it is possible to derive C and save it as a new fact; then from C and D , E can be derived.
The forward chaining algorithm is as follows:
When a new fact is presented to the database manager,
With careful implementation, forward chaining can run in linear time.
Contents    Page-10    Prev    Next    Page+10    Index