Skip to main content

INF2D - top navigation

  • Learn
  • Piazza
  • DRPS

Breadcrumb

  1. Home
  2. INF2D: Informatics 2D - Reasoning and Agents
  3. INF2D: Course Materials
  4. INF2D: Week 2: Informed Search and Using Constraints, Adversarial Search

INF2D: 5: Smart Search using Constraints

5: Smart Search using Constraints

Slides

  • 05_CSP.pdf

Contents

  1. The definition of Constraint Satisfaction Problems (CSP).
  2. The presentation of the Backtracking search algorithm.
  3. A discussion on how we can improve the efficiency of the backtracking algorithm for solving CSPs.

Required Reading

R&N Sections 6.1–6.3 or NIE Chapter (7) "Constraint Satisfaction Problems", Sections 1–3.
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: Smart Searching Using Constraints

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

Book traversal links for INF2D: 5: Smart Search using Constraints

  • INF2D: 4: Informed Search Algorithms
  • Up
  • INF2D: 6: Adversarial Search

Navigation links

  • INF2D: Course Overview
  • INF2D: Course Materials
    • INF2D: Week 1 - Introduction. Intelligent Agents. Search Problems
    • INF2D: Week 2: Informed Search and Using Constraints, Adversarial Search
      • INF2D: 4: Informed Search Algorithms
      • INF2D: 5: Smart Search using Constraints
      • INF2D: 6: Adversarial Search
    • INF2D: Week 3: Revision, CW1 and Logical Agents
    • INF2D: Week 4: Propositional Inference, First-Order Logic, Unification
    • INF2D: Week 5: Resolution, Situation Calculus, Revision
    • INF2D: Week 6: Symbolic Planning
    • INF2D: Week 7: From Symbolic Planning to Uncertainty and Rationality
    • INF2D: Week 8: Probabilistic Inference
    • INF2D: Week 9: Approximate Inference Methods, and Time
    • INF2D: Week 10: Rational Decision Making
  • INF2D: Tutorial Exercises
  • Inf2D Labs
  • INF2D: Resource List
  • INF2D: Assessment
RSS feed

Opencourse privacy & accessibility statements; contact Informatics, ILTS.