Abstract

In: Proc 10th IJCAI, 1987, 1039ff. To date, reactive robot behavior has been achieved only through manual programming. This paper describes a new kind of plan, called a "universal plan", which can be synthesized automatically, yet generates appropriate behavior in unpredictable environments. In classical planning work, problems were posed with unique initial and final world states; in my approach a problem specifies only a goal condition. The planner is thus unable to commit to any specific future course of events but must specify appropriate reactions for anticipated situations. An alternative conception is that one universal plan compactly represents every classical plan. Which part of the universal plan is executed depends entirely on how the environment behaves at execution time. Universal plans are constructed from state-space operator schemas by a nonlinear planner. They explicitly identify predicates requiring monitoring at each moment of execution, and provide for sabotage, se...

Citations

385	Learning and executing generalized robot plans - Fikes, Hart, et al. - 1972
115	An Architecture for Intelligent Reactive Systems - Kaelbling - 1987
59	Formal theories of knowledge in AI and robotics - Rosenschein - 1985
20	A Procedural Logic - GEORGEFF, LANSKY, et al. - 1985
20	Reasoning and Planning in Dynamic Domains: A Experiment with Mobile Robots - Georgeff, Lanskey, et al. - 1986
9	Triangle tables: A proposal for a robot programming language - Nilsson - 1985