STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
by Nilsson, N. J., Fikes, R. E.
Technical Note 43
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
October 1970.
Note: SRI Project 8259; sponsored by the Advanced Research Projects Agency and NASA under contract NAS 12-2221
This note describes a new problem-solving program called STRIPS (STanford Research Institute Problem Solver). The program is now being implemented in LISP on a PDP-lO to be used in conjunction with robot research at SRI. Even though the implementation of STRIPS is not yet complete, it seems to us important to discuss some of its planned features so that they can be compared with other on-going work in this area. STRIPS belongs to the class of problem solvers that search a space of "world models" to find one in which a given goal is achieved.
 Adobe PDF |
 BibTeX |
 EndNote |
