STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Fikes, R. & Nilsson, N. Technical Report AI Center, SRI International, 1971. SRI Project 8259
abstract   bibtex   
We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proved to be true. STRIPS represents a world model as an arbitrary collection of first-order predicate calculus formulas and is designed to work with mode consisting of large numbers of formulas. It employs a resolution theorem-prover to answer questions of particular models and uses means-ends analysis to guide it to the desired goal-satisfying model.
@TechReport{fikes_STRIPS71,
  Author         = {Fikes, R.E. and Nilsson, N.J.},
  Title          = {S{TRIPS}: {A} {N}ew {A}pproach to the {A}pplication of
                   {T}heorem {P}roving to {P}roblem {S}olving},
  Institution    = {AI Center, SRI International},
  Note           = {SRI Project 8259},
  abstract       = {We describe a new problem solver called STRIPS that
                   attempts to find a sequence of operators in a space of
                   world models to transform a given initial world model
                   into a model in which a given goal formula can be
                   proved to be true. STRIPS represents a world model as
                   an arbitrary collection of first-order predicate
                   calculus formulas and is designed to work with mode
                   consisting of large numbers of formulas. It employs a
                   resolution theorem-prover to answer questions of
                   particular models and uses means-ends analysis to guide
                   it to the desired goal-satisfying model. },
  year           = 1971
}

Downloads: 0