Question

From “Horses are animals:’ it follows that “The head of a horse is the head of animal.” Demonstrate that this inference is valid by carrying out the following steps:
a. Translate the premise and the conclusion into the language of first-order logic. Use three predicates: Head Of (h, x) (meaning “his head of x”), Horse(x), and Animal (x).
b. Negate the conclusion, and convert the premise and the negated conclusion into conjunctive normal form.
c. Use resolution to show that the conclusion follows from the premise.


$1.99
Sales0
Views267
Comments0
  • CreatedFebruary 14, 2011
  • Files Included
Post your question
5000