STRIPS: A new approach to the application of theorem proving to problem solving
 |
 |
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 in which a given goal formula can be proven to be true. STRIPS represents a world model as an arbitrary collection in first-order predicate calculus formulas and is designed to work with models consisting of large numbers of formula. 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.},
apice = {StripsAi2},
author = {Richard E. Fikes and Nils J. Nilsson},
doi = {10.1016/0004-3702(71)90010-5},
issn = {0004-3702},
journal = {Artificial Intelligence},
number = 3,
numpages = 20,
openalex = {W2337392266},
pages = {189--208},
publisher = {Elsevier B.V.},
title = {STRIPS: A new approach to the application of theorem proving to problem solving},
url = {http://www.sciencedirect.com/science/article/pii/0004370271900105},
volume = 2,
year = 1971
}