next up previous
Next: Why are these topics Up: AI Key Concepts - Previous: Means-Ends Analysis

Constraint Satisfaction

Algorithm:

  1. Propagate available constraints:
  2. If union of constraints discovered above defines a solution return solution.
  3. If union of constraints discovered above defines a contradiction return failure



    3
  1. Make a guess in order to proceed. Repeat until a solution is found or all possible solutions exhausted:


dave@cs.cf.ac.uk