L17ResolutionPart3 - Propositional Resolution Part 3 Short...

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

View Full Document Right Arrow Icon
Propositional Resolution Part 3 Short Review Professor Anita Wasilewska CSE 352 Artificial Intelligence
Image of page 1

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

View Full Document Right Arrow Icon
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.
Image of page 2
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 }.
Image of page 3

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

View Full Document Right Arrow Icon