INF2D: 10: Effective Propositional Inference

10: Effective Propositional Inference

Slides

Contents

  1. A presentation of the DPLL algorithm.
  2. A presentation of the WalkSAT algorithm.
  3. The design of a knowledge-based agent for the Wumpus World example.

Required Reading

R&N Sections 7.5–7.7 or NIE Chapter (6) "Logical Agents", Sections 5–7.
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: Effective Propositional Inference

These questions are designed to test your understanding of the course content in Lecture 9; 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 9 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.

License
All rights reserved The University of Edinburgh