17 Mar 2005
CS 3243 - Logical Inference
2
Outline: PL Inference
nEnumerative methods
nResolution in CNF
nSound and Complete
nForward and Backward Chaining using Modus Ponens in Horn Form
nSound and Complete
n
n