18 and 25 Feb 2004
CS 3243 - Logical Agents
62
Forward vs. backward chaining
nFC is data-driven, automatic,
unconscious processing,
ne.g., object recognition, routine decisions
nMay do lots of work that is irrelevant to the goal
nBC is goal-driven, appropriate
for problem-solving,
ne.g., Where are my keys? How do I get into a PhD
program?
nComplexity of BC can be much less than linear in
size of KB