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.
<strong>Predicate</strong> <strong>Logic</strong>: Exception<br />
Exception representation:<br />
Semantic Net: Simple!, by adding links<br />
(properties) to subclasses or instances.<br />
<strong>Predicate</strong> <strong>Logic</strong>: Not so simple!, like<br />
Pompeian(Paulus) ^ ¬[loyalto(Paulus, Caesar) v<br />
hate(Pualus, Caesar)]<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 31