CP9 - prop resolution - solution

CP9 - prop resolution - solution - Tobi is not a good boy....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Team: Present: In-Class Exercise: Week 9 Use resolution and the following facts to determine whether Tobi is a good boy. 1. If ninjas attack, Tobi will protect his friends. Representation: NA TP CNF: ¬NA TP 2. If ninjas do not attack, Tobi will clean up. Representation: ¬NA TC CNF: NA TC 3. If a person attacks, he is a ninja. Representation: PA isNinja CNF: ¬PA isNinja Note that isNinja has no complementary literal so this fact will never match anything and is therefore not useful. Ditto personAttacks. You don’t have to use all facts in your KB, and you’ll never use this one in resolution 4. If ninjas attack and Tobi does not protect his friends,
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Tobi is not a good boy. Representation: (NA ∧ ¬TP) ⇒ ¬TGoodBoy CNF: ¬(NA ∧ TP) ∨ ¬TGoodBoy ¬NA ∨ ¬TP ∨ ¬TGoodBoy 5. If Tobi protects his friends, he is a good boy. Representation: TP ⇒ TGoodBoy CNF: ¬TP ∨ TGoodBoy 6. If Tobi cleans up, he is a good boy. Representation: TC ⇒ TGoodBoy CNF: ¬TC ∨ TGoodBoy 7. What we want to prove (either that Tobi is a good boy or he isn’t) Representation: ¬TGoodBoy CNF: ¬TGoodBoy 7. ¬TGoodBoy , 6. TGoodBoy ∨ ¬TC 8. ¬TC 8. ¬TC , 2. TC ∨ NA 9. NA 9. NA , 1. ¬NA ∨ TP 10. TP 10. TP , 5. ¬TP ∨ TGoodBoy 11. TGoodBoy 11. TGoodBoy , 7. ¬TGoodBoy FAILURE...
View Full Document

Page1 / 2

CP9 - prop resolution - solution - Tobi is not a good boy....

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

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