Professional Documents
Culture Documents
p: you can stay in dormitory q: you are a honor student r: you are a graduate student Propositional logic representation: p => q r b. Symbolize the related predicates as follows: p: you can pass the driver license exam q: your knowledge exams score is under 60 r: you are older than 45 years old Propositional logic representation: r => (q => p) (or (p q) => r). c. Symbolize the related predicates as follows: p: the photo is digital q: the photo is in black and white r: the photo is a portrait t: the photo is a picture of my friend Propositional logic representation: p q r d. Symbolize the related predicates as question 3c: Propositional logic representation: r => t
b. E: John eats H: John is hungry S: John wears his best suit KB = {H E, E S, H} = {H E, E S, H} Assume John is wearing his best suit: = S KB {} = {H E, E S, H, S} Resolution: H E ---- E S => H S H S ---- S => H Assume John is not wearing his best suit: = S KB {} = {H E, E S, H, S} Resolution: H E ---- E S => H S Thus, we cant conclude John is wearing his best suit or not.