17 Mar 2005
CS 3243 - Logical Inference
40
Outline
lReducing first-order inference to propositional inference
lUnification
lGeneralized Modus Ponens
lForward chaining
lBackward chaining
lResolution