Lecture 9 - Inference in First Order Logic

Reduction of FOL to propositional logic (and use propositional inference methods)

Unification and First-Order Inference

Forward/Backward Chaining, on Definite Clauses

Inference using Resolution, on CNF representation