Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
¤ ¡<br />
( 4 <br />
!<br />
£ <br />
<br />
% ©<br />
Ci<br />
¢¤<br />
'<br />
¡<br />
<br />
¨<br />
%<br />
<br />
Ci<br />
*<br />
<br />
<br />
1 23&¨ ¦<br />
<br />
¡<br />
' ! !<br />
<br />
©¨© $<br />
¡ <br />
<br />
Resolution algorithm<br />
Proof by contradiction, i.e., show KB ∧ ¬α unsatisfiable<br />
clauses ←<br />
new ← { }<br />
£ PL-RESOLUTION<br />
$ ¦<br />
KB<br />
α<br />
! ¡ <br />
true<br />
© <br />
false<br />
KB ∧ ¬α<br />
C j<br />
£ clauses<br />
resolvents ← PL-RESOLVE<br />
resolvents<br />
new ←new ∪resolvents<br />
new ⊆ clauses<br />
clauses ←clauses ∪new<br />
£ <br />
©¨<br />
¦<br />
¨<br />
% &<br />
' ! ! ¡ <br />
C j<br />
¦<br />
false<br />
true<br />
<strong>Knowledge</strong> <strong>Representation</strong> <strong>and</strong> <strong>Reasoning</strong> – 31