@TECHREPORT{AICPub1463:1971, AUTHOR={Fikes, Richard E.}, TITLE={Failure Tests and Goals in Plans}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Mar}, NUMBER={53}, YEAR={1971}, KEYWORDS={Robots, Planning, STRIPS, Problem Solving}, ABSTRACT={This note describes a proposal for the form that plans for the Stanford Research Institute mobile automaton might take and the rules an interpreter might use to execute these plans. We are particularly concerned here with adding tests to a plan that allow the executor to determine whether execution of a plan is succeeding and that specify what is to be done when a failure occurs. We proceed by developing a syntax and semantics for plans in the context of STRIPS (Stanford Research Institute Problem Solver), the program that acts as a planner for the automaton system. Subsequently, we present an algorithm that STRIPS can use to create the tests for the executor to use. }, NOTE={SRI Project 8973. The research reported herein was sponsored by the Advanced Research Projects Agency and the National Aeronautics and Space Administration under Contract NASW-2164.} }
