Predicate Logic
Predicate Logic
Predicate Logic
SHOW LESS
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><br />
In the case of describing relations between<br />
numbers, example:<br />
1 < 2<br />
2 3 +2,<br />
3 > 1<br />
….<br />
⇒ Should not explicitly describe:<br />
lt(1,2), lt(2,3), …<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 34
![[8] 2002 e-business-strategies-for-virtual-organizations](https://img.yumpu.com/8167654/1/190x257/8-2002-e-business-strategies-for-virtual-organizations.jpg?quality=85)
Change language