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>:<br />
Function + Computable <strong>Predicate</strong>, Example<br />
Question:<br />
Is Marcus alive?<br />
Or<br />
alive(Marcus, now)<br />
or<br />
¬alive(Marcus, now)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 38