Classic heuristic search algorithms can find solutions that take the form o
f a simple path (A*), a tree, or an acyclic graph (AO*). In this paper, we
describe a novel generalization of heuristic search, called LAO*, that can
find solutions with loops. We show that LAO* can be used to solve Markov de
cision problems and that it shares the advantage heuristic search has over
dynamic programming for other classes of problems. Given a start state, it
can find an optimal solution without evaluating the entire state space. (C)
2001 Elsevier Science B.V. All rights reserved.