# hw2 - CS 440 Introduction to AI Homework 2 Part A(Part B...

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

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS 440: Introduction to AI Homework 2 - Part A (Part B will be available soon.) Due: September 23 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 Validity and Satisfiability Determine whether each formula is valid, satisfiable (but not valid), or unsatis- fiable. 1. P ( x ) 2. ∀ x P ( x ) 3. ∃ x ∀ y P ( x,y ) 4. ∀ x ( P ( x ) ∨¬ P ( x )) 5. ∃ x ∀ y ( P ( x,y ) ⇒ ∀ w ∃ z P ( w,z )) 6. ∃ x ( P ( x ) ⇒ ¬ P ( x )) 7. ∃ x ¬ ( ¬ P ( x ) ∨ P ( x )) 8. ∀ x ∀ y ( ¬ P ( x ) ∨ P ( y )) ⇒ ( P ( x ) ⇒ P ( y )) 2 Sentence Translation This problem has two parts. In the first part, you are asked to translate some first order predicate calculus (FOPC) sentences into English sentences. The meanings of the predicates and functions in the FOPC sentences are given....
View Full Document

{[ snackBarMessage ]}

### Page1 / 4

hw2 - CS 440 Introduction to AI Homework 2 Part A(Part B...

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

View Full Document
Ask a homework question - tutors are online