Predicate Logic
Predicate Logic
Predicate Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Example:<br />
STT<br />
1<br />
2<br />
3<br />
4<br />
5<br />
6<br />
7<br />
8<br />
Clauses<br />
Substitution and Unification<br />
man(Marcus)<br />
Pompiean(Marcus)<br />
¬Pompiean(X1) v Roman(X1)<br />
Ruler(Caesar)<br />
¬Roman(X2) v loyalto(X2, Caesar) v hate(X2, Caesar)<br />
Loyalto(X3, f1(X3))<br />
¬man(X4) v ¬ruler(Y1) v ¬tryassassinate(X4, Y1) v loyalto(X4, Y1)<br />
Tryassassinate(Marcus, Caesar)<br />
Prove: “Marcus hate Caesar.” or<br />
hate(Marcus, Ceasar).<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 76