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

goByBus ← ¬haveGas ∨ bikeBroke Syntactically invalid: atoms in a clause's body can only be connected by a ∧, and you can't have negation, either.

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