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