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

Examine one of the failing top-down derivations of the query. yes ← [accepted(laura)]. yes ← [returning(laura), goodStanding(laura), clearBalance(laura). yes ← [goodStanding(laura), clearBalance(laura). yes ← [clearBalance(laura). no choice, fail

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