3 Mar 2004
CS3243 - Inference
2
Outline
lReducing first-order inference to propositional inference
lUnification
lGeneralized Modus Ponens
lForward chaining
lBackward chaining
lResolution