Inference Engine
Forward chaining: keep firing rules until the goal is proven.
Initial facts
Goal
Rule set
A ∧ B → C
C → D
D ∧ E → G
B ∧ C → F
Goal G is provable from the given facts.
Chaining trace (1/4 steps)
R1→add C
Inference Engine Lab
CSC-266 · Semester IV · Artificial Intelligence
Inference Engine
Forward chaining: keep firing rules until the goal is proven.
Initial facts
Goal
Rule set
A ∧ B → C
C → D
D ∧ E → G
B ∧ C → F
Goal G is provable from the given facts.