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

How do you know when you have completed a successful derivation using the bottom-up proof procedure? If the set of atoms implied by KB is a superset of the atoms in g, the derivation is successful.

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