L17ResolutionPart3

# L17ResolutionPart3 - Propositional Resolution Part 3 Short...

This preview shows pages 1–5. Sign up to view the full content.

Propositional Resolution Part 3 Short Review Professor Anita Wasilewska CSE 352 Artificial Intelligence

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Resolution Strategies We present here some Deletion Strategies and discuss their Completeness. Deletion Strategies are restriction techniques in which clauses with specified properties are eliminated from set of clauses CL before they are used.
Pure Literals Pure literal definition A literal is pure in CL iff it has no complementary literal in any other clause in CL Example: CL = { {a,b},{ ¬ c , d },{ c ,b}, { ¬ d }} a, b are pure , c, d, ¬ c, ¬ d are not pure . c has complement literal ¬ c in { ¬ c, d} and vice versa, ¬ c has complement literal c in { c ,b}. d has a complement literal ¬d in the clause { ¬ d } and vice versa ¬d has a complement literal d in { ¬ c , d }.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document