Correct modification of complex plans
Jana Koehler · 1994
. We present a general approach to flexible plan modification based on a deductive framework that enables a planner to correctly modify complex plans containing control structures like conditionals and iterations. 1 Introduction Work on plan reuse and modification is motivated by expected gains in flexibility and efficiency when planners are provided with the ability to modify and reuse plans. The need to modify existing plans occurs when execution fails, where a plan has to be revised in the light of new information, and when a plan specification is changed, i.e., a plan has to be adapted to new requirements. While there exist frameworks extending strips-based planners, e.g., the priar system [10] and the spa system [7], there are no approaches which study plan reuse and modification in the context of deductive planning [6, 14, 2, 15]. Following a logical approach, plan modification leads to modified plans which are provably correct. Furthermore, since plan modification is done dedu...