Planning from Second Principles

Planning from second principles by reusing and modifying plans is one way of improving the eeciency of planning systems. In this paper, we study it in the general framework of deductive planning and develop a logical formalization of planning from second principles, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly deened semantics formalize each of the subtasks a second principles planner has to address. Plan modiication, which comprises matching and adaptation tasks, is based on a deductive approach yielding provably correct modiied plans. Description logics are introduced as query languages to plan libraries, which leads to a novel and eecient solution to the indexing problem in case-based reasoning. Apart from sequential plans, this approach enables a planner to reuse and modify complex plans containing control structures like conditionals and loops.