STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
R. Fikes,N. Nilsson
1971 · DOI: 10.1016/0004-3702(71)90010-5
International Joint Conference on Artificial Intelligence · 6,251 citazioni
TLDR
A new problem solver called STRIPS is described 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.