Forward Chaining

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An inferential strategy that derives consequences from known facts by repeatedly applying inference rules until a goal is reached or no new facts can be produced.