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

If KB is a knowledge base and g is a conjunction of atoms, what is meant by KB |- g? g can be derived from KB by means of the proof procedure

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