18 and 25 Feb 2004
CS 3243 - Logical Agents
40
Forward chaining
nIdea: fire any rule whose premises are satisfied in the KB,
nadd its conclusion to the KB, until query is found