CS 327 / CGST 360: Artificial Intelligence
Assigned on Friday, 11/5.
Due on paper in class on Wednesday, 11/10.
Propositional Logic
On this webpage, '^' stands for AND, 'v' stands for
OR, and '~' stands for NOT.
Problem 1: Resolution
Using the resolution algorithm, show that the following knowledge base
entails S:
P ^ Q
P v Q => R
W => ~(~Z)
~R v W
S v Q
P ^ Z => S v ~R