Predicate Logic
Predicate Logic
Predicate Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Resolution<br />
6. Remove every qualifiers (the default qualifier is<br />
every)<br />
∀X:∀Y:∀Z: [¬roman(X) v ¬know(X, Marcus)] v<br />
[hate(X, Ceasar) v<br />
=<br />
(¬hate(Y,Z) v thinkcrazy(X,Y))]<br />
[¬roman(X) v ¬know(X, Marcus)] v<br />
[hate(X, Ceasar) v<br />
(¬hate(Y,Z) v thinkcrazy(X,Y))]<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 55