Succeed res 29 domain annbobjaykay example same but

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

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

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
Image of page 9
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
Image of page 10

Subscribe to view the full document.

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

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

  • Left Quote Icon

    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.

    Student Picture

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

  • Left Quote Icon

    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.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    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.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern