hw2_B - CS 440: Introduction to AI Homework 2 - Part B Due:...

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

View Full Document Right Arrow Icon
CS 440: Introduction to AI Homework 2 - Part B Due: September 28 11:59PM, 2010 Your answers must be concise and clear. Explain sufficiently that we can easily determine what you understand. We will give more points for a brief interesting discussion with no answer than for a bluffing answer. 1 Resolution Refutation Consider the following English sentences. They are already translated into FOPC sentences. (1) DaeHoon is a CS student. CS student( DaeHoon ) (2) Every CS student has been to the CRCE (Campus Recreation Center). x (CS student( x ) Visited( x,CRCE )) (3) There is a racquetball court in CRCE. x (Is racquetball court( x ) Located in( x,CRCE )) (4) No graduate student plays squash. x (Is grad student( x ) ⇒ ¬ Plays squash( x )) (5) DaeHoon is a graduate student. Is grad student( DaeHoon ) (6) Everyone who plays racquetball also plays squash. x (Plays racquetball( x ) Plays squash( x )) (7) If a person who has a racquetball racquet has been somewhere with 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
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

hw2_B - CS 440: Introduction to AI Homework 2 - Part B Due:...

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

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