Further to be a valid horn clause all variables must

This preview shows page 5 - 6 out of 17 pages.

Further, to be a valid horn clause, all variables must be universally quantified. Sample horn clauses with variables and quantifiers: 2200 x 2200 y 2200 z( ¬ P(x,y) ¬ Q(x,z) R(z)) 2200 x( ¬ R(x)) Now we discard the universal quantifiers but don’t forget them. One consequence is that variables are local to their own horn clause (i.e. the x’s in P and Q are the same x, but the x’s in P and R are different). ¬ P(x,y) ¬ Q(x,z) R(z) ¬ R(x) We then convert the horn clauses to implications with all positive literals. P(x,y) Q(x,z) R(z) R(x) F Finally, we modify the syntax so that it corresponds to Datalog. R(z) :- P(x,y),Q(x,z) R(x)?
Image of page 5

Subscribe to view the full document.

Discussion #19 Chapter 11, Section 3 6/17 Because every variable is universally quantified, we can instantiate it to any (and every) constant in the domain. (We are in context of a derivation, so all statements are true either by assumption, premise, or by a rule of inference.) R(a) :- P(x,y),Q(x,a) S z a R(a)? S x a So, we’re asking if R(a) is true, but the rule says that R(a) is true if P(x,y) Q(x,a) is true. Formally, we are doing resolution ¬
Image of page 6

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