17 Mar 2005
CS 3243 - Logical Inference
25
Forward chaining
nIdea: fire any rule whose premises are satisfied in the KB,
nadd its conclusion to the KB, until query is found