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

Given a variable assignment ρ and a constant mapping φ, can you always generate a mapping from each variable to a constant? No, because a variable could be mapped to an individual in the domain which is not mapped to by a constant.

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