STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 608-619.
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 proven to be true. STRIPS represents a "·orld model as an arbitrary collection of first-order predicate calculus formulas and is designed to work "·ith models 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.
@inproceedings{ijcai1971p63,
title = {STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving},
author = {Fikes, Richard and Nilsson, Nils J.},
booktitle = {Proceedings of the Second International Joint Conference on
Artificial Intelligence, {IJCAI-71}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {D.C. Cooper},
pages = {608--619},
year = {1971},
url = {https://ijcai.org/proceedings/1971/63},
}
TY - CPAPER TI - STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving AU - Fikes, Richard AU - Nilsson, Nils J. T2 - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71 PB - International Joint Conferences on Artificial Intelligence PY - 1971 SP - 608 EP - 619 UR - https://ijcai.org/proceedings/1971/63 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
