Summary

1. Type of Problem: one for which it is possible to follow all possible paths in a reasonable time.

2. Formalisation: the search in terms of a tree of states with branches representing operator applications.

3. Method: an exhaustive search following each path -one at a time- or possibly all paths together.

4. Advantages: no special purpose reasoning is needed -we can be sure of finding a solution (if one exists).

5. Disadvantages: increasing the complexity of the problem rapidly makes this strategy unworkable.

6. Humans: don't use a uniform search strategy; have problems memorising moves taken; and make use of intuitive moves and hunches.