Forward Reasoning is the repetitive process of finding new facts using rules of inference, adding them to KB and continue this process until we reach the final goal.

For example,

References

  1. Forward reasoning at nptel youtube video