L17ResolutionPart3

L17ResolutionPart3 - Propositional Resolution Part 3 Short...

Info iconThis 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
Background image of page 1

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

View Full DocumentRight 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.
Background 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 }.
Background image of page 3

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

View Full DocumentRight Arrow Icon
Strategy: Remove all clauses that contain Pure Literals . Clauses that contain pure literals are useless for retention process . One pure literal in a clause is enough for the clause removal. This Strategy is complete, i.e.
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

L17ResolutionPart3 - Propositional Resolution Part 3 Short...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online