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

How can the bottom-up proof procedure show that there is no successful derivation? If the procedure finishes and the set of atoms implied by KB is not a superset of g, then there exists no successful derivation.

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