14 Apr 2005
CS 3243 - Revision
27
Inference in logic
¡Given
a KB, what can be inferred?
lQuery- or goal-driven
¡Backward
chaining, model checking (e.g. DPLL), resolution
lDeducing new facts
¡Forward chaining
lEfficiency:
track # of literals of premise using a count or Rete networks