Documents 1 Inference and Resolution for Problem Solving. 2 Contents l What is Logic? l Normal Forms n...

Inference and Resolution for Problem Solving Contents What is Logic? Normal Forms Converting to CNF Clauses The Resolution Rule Proof by Refutation Resolution Refutation…