About backward chaining
About frame based representation
About combinatorial explosion
About inference
About case based reasoning
About common sense reasoning
About probabilistic inference
About forward chaining
About temporal reasoning
TOP
BOTTOM