Inference in logic
		¡ Given a KB, what can be inferred? l Query- or goal-driven ¡ Backward chaining, model checking (e.g. DPLL), resolution l Deducing new facts ¡ Forward chaining l Efficiency: track # of literals of premise using a count or Rete networks