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.
STT<br />
12<br />
13<br />
14<br />
15<br />
16<br />
Clauses<br />
loyalto(Marcus, Ceasar)<br />
¬man(Marcus) v ¬ruler(Ceasar) v<br />
¬tryassassinate(Marcus, Ceasar)<br />
¬ruler(Ceasar) v ¬tryassassinate(Marcus,<br />
Ceasar)<br />
¬tryassassinate(Marcus, Ceasar)<br />
□<br />
Proof<br />
Ghi chú<br />
12,7:X4=Marcus, y1=Ceasar<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 78<br />
2,11:<br />
13,1<br />
14,4<br />
15,8