CS 371: Introduction to Artificial Intelligence

Outline

Introductory Problems

Constraint Satisfaction Problem

Constraint Satisfaction as Tree Search

Issues with Backtracking (DFS) Approaches to CSPs

Reducing Search

Reducing Search (continued)

Consistency enforcement

Node Consistency

Arc Consistency

K-Consistency

K-Consistency (cont.)

Constraint Propagation

Intelligent Backtracking

Combining Approaches

Constraint Satisfaction as Iterative Improvement Search