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

Give an example of an admissible heuristic for top-down search. The number of atoms in the clause, since it will take at least that many resolution steps, i.e. it won't overestimate.

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