Home AISpace2 Main Tools News Downloads Prototype Tools Customizable Applets Practice Exercises space Help About AIspace
Define what it means for a proof procedure to be sound.
  • KB |- g implies that KB |= g
Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP

Valid HTML 4.0 Transitional