Abstract

Problem solving is a process that has been widely studied in AI from the early days of GPS [Newell et al., 1962, Ernst and Newell, 1969] and strips [Fikes and Nilsson, 1971] to more recent planners such as sipe [Wilkins, 1984], soar [Laird et al., 1987] and prodigy [Minton et al., 1989b, Minton et al., 1989a, Carbonell et al., 1991]. A problem solver is a given a problem space definition and a problem and is asked to find a solution to the problem. A problem space is defined by the legal operators and states. Operators are composed of a set of conditions, called preconditions, that must be true in order to apply an operator and a set of effects that describe the changes to the state that result from applying an operator. States are composed of a set of conditions that describe the relevant features of a model of the world. A problem consists of an initial state, which describes the initial configuration of the world, and a …

Date

September 22, 1993

Authors

Craig A Knoblock

Book

Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning

Pages

11-22

Publisher

Springer US