CS561_Spring_2010_Midterm_2_Solutions

CS561_Spring_2010_Midterm_2_Solutions - CS561 Artificial...

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

View Full Document Right Arrow Icon
CS561 Artificial Intelligence - Spring 2010 Midterm 2 Solutions 1. (25 points) First-order Logic / Knowledge Representation [Graded by Rohan] Part a: Part b: Part c: Part d: but what we want is Hence, using implication and existential quantification may yield incorrect results. Part e: This means that if Person(x) is true, then Human(x) must be true. However does not mean that if Person(x) is true that Human(x) must be true, therefore using and with universal quantification may yield incorrect results. OR The key is using universal identifier, the predicate has to be universal truth. Forall x Person(x) ^ Human(x) . Since all objects in the universe are not necessarily human/person, therefore this predicate cannot represent the correct semantics. Part f: Yes, but it may require a large number of literals making it far less efficient, but easier to evaluate. 2. (40 points) First-order Inference [Solution by Nadeesha, Part a. graded by William, Part b. graded by Nadeesha] Part a:
Background image of page 1

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

View Full DocumentRight Arrow Icon
Grading key: 3 points: Show proof that backward chaining was attempted 1 point: Numbering the edges 1 point: Unifications 9 points: Clauses to imply TA(z,y) (1 point for each clause and 0.5 point for each edge) 3 points: Clauses to imply Professor(x) (1 point for each clause and 0.5 point for each edge) 3 points: Clauses to imply Student(y) (1 point for each clause and 0.5 point for each
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 9

CS561_Spring_2010_Midterm_2_Solutions - CS561 Artificial...

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

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