TRNG I HC BCH KHOA TP.

HCM Khoa Khoa hc & K thut My tnh

ARTIFICIAL INTELLIGENCE
Tutorial 4 Questions PROPOSITIONAL LOGIC
Question 1. Let p, q, and r be the following propositions: p: You get an A on the final exam. q: You do every exercise in the book. r: You get an A in this class. Write the following formulas using p, q, and r and logical connectives. a. You get an A in this class, but you do not do every exercise in the book. b. To get an A in this class, it is necessary for you to get an A on the final. c. Getting an A on the final and doing every exercise in the book is sufficient for getting an A in this class. Question 2. Represent the following statements in propositional logic. a. There are only two formats for photos: round and square. b. Photos are either color or black and white. c. If the photo is square, then it is a black and white picture. d. If it is round, it is a digital color picture. e. If the photo is digital or in black and white, then it is a portrait, else not. f. If it is a portrait, then it is a picture of my friend. Use the atoms A, B, C, D, E, F, G represented as follows: A: The photo is in color B: The photo is in black and white C: The photo is square D: The photo is round E: The photo is digital F: The photo is a portrait G: The photo is a picture of my friend Assume that the statements about the photo above the author found yesterday. Using resolution, can you answer the authors question: Is the photo I found yesterday the picture of my friend? 1

TRNG I HC BCH KHOA TP.HCM Khoa Khoa hc & K thut My tnh Question 3. Decide whether each of the following sentences is valid, inconsistent or neither. Using equivalence rules. a. Smoke Smoke b. Smoke Fire c. (Smoke Fire) (Fire Smoke) d. Smoke Fire Fire e. ((Smoke Heat) Fire) ((Smoke Fire) (Heat Fire)) f. (Smoke Fire) ((Smoke Heat) Fire) g. Big Dumb (Big Dumb) h. (Big Dumb) Dumb Question 4. Using resolution to prove the following logical consequences: a. Implication introduction: P |= (Q P) b. Implication distribution: (P (QR)) |= ((P Q) (PR)) c. Contradiction realization: (Q P) |= ((QP) Q) d. Bidirectional Dilemma: ((P Q) (R S) (P S)) |= (Q R) Question 5. Assuming that we have three propositional-logic-based KBs as follows: a. If the temperature and the pressure are constant then it does not rain. The temperature remained constant. It rained. Using resolution to answer the question: Did the pressure remain constant or not? b. Men eat when they are hungry. John always wears his best suit to eat. At this moment John is not hungry. Using resolution to answer the question: Is John wearing his best suit or not?

TRNG I HC BCH KHOA TP.HCM Khoa Khoa hc & K thut My tnh c. In the Roman Senate (I) Mark Anthony: "It was Cassius or Brutus (or both)." (II) Cassius: "I did not do it. Mark Anthony is lying" (III) Brutus: "I did not do it" Assuming that liars always lie, that truthful Romans always speak the truth, and that only one of them is telling the truth. Using resolution to answer the questions: Who did it? Who is telling the truth? -- End --