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

Given a proof procedure, a knowledge base KB and a conjunction of atoms g, what is meant by KB |= g? g is a logical consequence of KB, that is, it is true in every model of KB

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