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.
¬alive(Marcus, now)<br />
(9, Substitute)<br />
dead(Marcus, now)<br />
(10, Substitute)<br />
died(Marcus, T 1 ) gt(now, T 1 )<br />
Pompeian(Marcus) gt(now, 79)<br />
(2)<br />
(5, Substitute)<br />
*s<br />
gt(1991, 79)<br />
(5, Substitute)<br />
(8, Substitute)<br />
(computation)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 42