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>: Representation<br />
6. Everyone is loyal to someone.<br />
∀X: ∃Y: loyalto(X,Y).<br />
7. People only try to assassinate rulers they are not loyal to.<br />
∀X: ∀Y: person(X) ^ ruler(Y) ^ tryassassinate(X,Y) <br />
¬loyalto(X,Y)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 25