Forward Chaining

This pages explains forward chaining. Forward chaining is a reasoning technique which aims at proving the validity of an implication by showing that all elements of the premises of this statement hold.

Given an implication rule, if the premises are found in a given knowledge base, and the conclusion is missing, then the conclusion can be added as a new fact in the knowledge base, and continue chaining.

For instance, if the following statements are in the knowledge base:

Bob is a driver
if someone is a driver, then he has a driving license

then using the inferencing techniques of unification and modus ponens, it will be easy to infer the new fact:

Bob has a driving license

and add it to the knowledge base.