25 February 2004
CS 3243 - Logical Agents (part 2)
2
Outline: Inference
nResolution in CNF
nSound and Complete
nForward and Backward Chaining using Modus Ponens in Horn Form
nSound and Complete
n
n