# hw1ans - CSE 4/563 Knowledge Representation Professor...

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

CSE 4/563 Knowledge Representation Professor Shapiro Homework 1 Maximum Points: 43 Due: 2:00 PM, Thursday, September 23, 2009 Name(s) h user name(s) i : Answers September 16, 2009 Print this document, print your name(s) and user name(s) on the line above, and write the answers as indicated. Write neatly! Illegible answers will be considered incorrect. This homework is due at the beginning of lecture on the date given above. 1. (6) Indicate, by putting an “X” in the proper blank, whether the following expressions are syntactically correct according to the syntax of Propositional Logic given on pages 25–26 of the Lecture Notes. (a) (1) Is X Is Not Q P Q R (b) (1) Is X Is Not ( P ⇒ ¬ Q ) ( ¬ Q P ) (c) (1) Is Is Not X (( P Q ) R ) [ P ( Q R ]) (d) (1) Is Is Not X BirdsFly ¬ ⇒ PenguinsFly (e) (1) Is Is Not X TomIsHome ∧ ∨ BettyIsHome (f) (1) Is X Is Not Tom drives Betty Betty is the driver 1

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

View Full Document
2. (3) Indicate, by putting an “X” in the proper blank, whether the following expressions are syntactically correct according to the computer-readable syntax of Propositional Logic given on pages 29–30 of the Lecture Notes. (a) (1) Is X Is Not (iff Knowledge (and Justified True Belief)) (b) (1) Is Is Not X (iff itsATriangle itHasThreeSides itHasThreeAngles (c) (1) Is
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 5

hw1ans - CSE 4/563 Knowledge Representation Professor...

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

View Full Document
Ask a homework question - tutors are online