CS561_Spring_2010_Midterm_2_Solutions

# CS561_Spring_2010_Midterm_2_Solutions - CS561 Artificial...

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

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:

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

View Full Document
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
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### 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
Ask a homework question - tutors are online