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>: Representation<br />
1. Marcus was a man.<br />
man(Marcus)<br />
2. Macus was a Pompeian.<br />
Pompeian(Marcus)<br />
3. All Pompeians were Romans.<br />
∀X: Pompeian(X) Roman(X)<br />
4. Caesar was a ruler.<br />
ruler(Caesar)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 23