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

What is the key idea of the bottom-up proof procedure? You search forward from the given knowledge base, iteratively expanding the set of atoms implied by the knowledge base KB.

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