A Representation for Efficient Planning in Dynamic Domains with External Events
Jim Biythe · 2002
I present a language for specifying planning problems in which there are external events, that is, events beyond the direct control of the planner which may take place while a plan is being executed. The language is based on Miller and Shanahan’s representation of narratives in the situation calculus. I describe an implemented planner and prove that it produces correct plans for a subset of this language. I discuss how some aspects of the language affect the efficiency of the planner.