19-PredCalcResolution

# Succeed res 29 domain annbobjaykay example same but

• Notes
• 17

This preview shows page 8 - 11 out of 17 pages.

(succeed!) res 2,9 Domain = {ann,bob,jay,kay} Example Same, but with Meaning

Subscribe to view the full document.

Discussion #19 Chapter 11, Section 3 9/17 Facts: sister('ann','bob'). parent('bob','jay'). parent('bob','kay'). Rules: aunt(x,y) :- sister(x,z), parent(z,y). Queries: aunt('ann','jay')? Observe: for aunt('ann','jay') we have exactly the previous proof! Output: yes. Example in CS236 Datalog Notation
Discussion #19 Chapter 11, Section 3 10/17 What do we do for aunt('ann',x)? Try all proofs with all substitutions from the domain if a substituted value v for x works, output v. What’s the domain? Usual choice is all constants in the facts = {'ann', 'bob', 'jay', 'kay'} Try first to prove aunt('ann','ann'). (Assume support strategy) 1. ¬ aunt('ann','ann') ¬ conclusion 2. aunt('ann','ann') :- sister('ann',z), parent(z,'ann'). S x ann Now observe that the resolution of 1 & 2 is ¬ sister('ann',z) ¬ parent(z,'ann') (s p) a ¬ (s p) a And that this is only F if both sister('ann',z) and parent(z,'ann') are T. Thus, we can essentially start over and prove these using resolution one at a time as sub-proofs. Example with Variables

Subscribe to view the full document.

Discussion #19 Chapter 11, Section 3 11/17 3a.

#### You've reached the end of your free preview.

Want to read all 17 pages?

• Winter '12
• MichaelGoodrich
• Ann, Conjunctive normal form, sister, Horn clause

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern