INF2D: 13: Resolution

13: Resolution

Slides

Resolution.pdf

Contents

  1. The presentation of the Forward Chaining algorithm and a discussion on its efficiency.
  2. The presentation of the Backward Chaining algorithm
  3. The presentation of the resolution algorithm

Required Reading

R&N Sections 9.3–9.6 or NIE Chapter (9) "Inference in First-Order Logic", Sections 3–6.
NOTE: The abbreviation R&N refers to :
“Artificial Intelligence: A Modern Approach” Third Edition, Russell R & Norvig P, Prentice Hall, 2010 (R&N).
The abbreviation NIE stands for the following edition of the same book:
“Artificial Intelligence: A Modern Approach” Third Edition, Pearson New International Edition, Russell R & Norvig P, Pearson, 2014. 

Quiz: Resolution i

These questions are designed to test your understanding of the course content in Lecture 12; doing this quiz does not contribute to your overall grade, but we can give some formative feedback. This quiz requires that you have gone through Lecture 12 and done the required reading.  Some of the questions require a short text answer.  You can ask for formative feedback from your tutor or on piazza.

Quiz : Resolution ii

These questions are designed to test your understanding of the course content in section 12; doing this quiz does not contribute to your overall grade, but we do give some formative feedback. Some of the questions require a short text answer.  You can ask for formative feedback for these from your tutor or on piazza.

License
All rights reserved The University of Edinburgh