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