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.
<strong>Predicate</strong> <strong>Logic</strong>: Exception<br />
Exception representation:<br />
Not so simple Because there is conflict between:<br />
Pompeian(Paulus) ^ ¬[loyalto(Paulus, Caesar) v<br />
hate(Pualus, Caesar)]<br />
and<br />
∀X: Pompeian(X) loyalto(X, Caesar) v hate(X,<br />
Caesar)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 32