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>:<br />
Function + Computable <strong>Predicate</strong>, Example<br />
Facts:<br />
5. All Pompeian died when the vocano erupted in 79 AD.<br />
erupted(vocano, 79) ^ ∀X: [Pompeian(X) died(X, 79)]<br />
6. No mortal lives longer then 150 years.<br />
∀X: ∀T 1 : ∀T 2 : mortal(X) ^ born(X, T 1 ) ^ gt(T 2 – T 1 , 150)<br />
dead(X, T 2 )<br />
7. It is now 1991<br />
now = 1991<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 37