## Problem-solving methods in artificial intelligence |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

8-puzzle American Elsevier Publishing AND/OR graph AND/OR trees answer statement applied arcs Artificial Intelligence atomic formula backed-up value breadth-first breadth-first search called chess Computer configuration conjecture conjunctive normal form defined depth depth-first depth-first search described domain Elsevier Publishing Company evaluation function example existentially quantified Expand node failure nodes flow chart game tree goal node Herbrand base Herbrand universe heuristic key operators labeled logically follows lower bound Machine Intelligence Michie eds monkey negation node on OPEN nonterminal node number of nodes open nodes optimal path ordered-search algorithm pointers predicate calculus primitive problems problem descriptions problem-solving proof prove puzzle reduce refutation graph refutation tree resolution principle resolvent rewriting rules satisfy search methods search process search tree semantic tree set of clauses set of wffs shown in Fig Skolem function Slagle solution tree state-space search subproblems successors theorem Theorem-Proving tion tip nodes universally quantified unsatisfiable set unsolvable York