How is a state defined?
a state is defined by variables with values from an associated
domain
How is the goal test defined?
the goal test is a set of constraints specifying allowable
combinations of values for subsets of variables
what is a consistent assignment? What is a complete assignment?
An assignment that does not violate any constraints is consistent or legal.
An assignment is complete iff it mentions every variable.
What is the Depth-first search for CSPs with single-variable assignments called?
Backtracking Search
What is forward checking?
whenever a variable X is assigned, it looks at each unassigned variable Y that is connected to X by a constraint and deletes from the domain of Y any value that is inconsistent with the value chosen for X
What is arc consistency?
X → Y is consistent iff for every value x of X there is some allowed value y of Y
What is intelligent backtracking?
Local Search is very effective for
Last changed2 years ago