Constraint Satisfaction Problems
Book sections 6.1-6.3
Slides: https://webeep.polimi.it/pluginfile.php/257113/mod_folder/content/0/FAI2021-09-ConstraintStafisfactionProblems.pdf
Pages
Introduction
Factored representation for each state: a set of variables, each of which has a value. A problem is solved when each variable has a value that satisfies all the constraints on the variable. A problem…
Constraint Propagation: Inference in CSPs
A CSP algorithm has choices. It can generate successors by choosing a new variable assignment, or it can do a specific type of inference called constraint propagation : using the constraints to…
Backtracking Search for CSPs
Sometimes we can finish the constraint propagation process and still have variables with multiple possible values. In that case we have to search for a solution. CSP is commutative : the order of…