AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises Help About AIspace

How can we enforce consistency of an arc <X,r(X,Y)>? Remove all the values x in dom(x) for which there is no corresponding value y in dom(y) that satisfies the constraint.

Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP