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

What does it mean for an arc to be consistent? An arc <X, r(X, Y)> is arc consistent if for each value x in dom(X) there is some value y in dom(y) such that r(x, y) is satisfied.

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