Forward Chaining
Data-driven reasoning: repeatedly apply inference rules to the facts you already know to derive new conclusions, working outward.
Data-driven reasoning: repeatedly apply inference rules to the facts you already know to derive new conclusions, working outward.