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.
Substitution and Unification<br />
Resolution rule:<br />
1. Verify the difference of variable name between<br />
two clauses.<br />
2. Find mgu, θ, for: {L 1, L 2, .., L k , M 1, M 2, .., M n }<br />
3. Apply θ into C và D.<br />
4. Compute: N = L 1 θ<br />
5. Remove N from Cθ<br />
6. Remove ¬N from Dθ<br />
7. Compute union of 5 and 6, and result resovant.<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 73