Plan Relaxation via Action Debinding and Deordering

While seminal work has studied the problem of relaxing the ordering of a plan's actions, less attention has been given to the problem of relaxing and modifying a plan's variable bindings. This paper studies the problem of relaxing a plan into a partial plan which specifies which operators must be executed, but need not completely specify their order or variable bindings. While partial plans can provide an agent with additional flexibility and robustness at execution time, many operations over partial plans are intractable. This paper tackles this problem by proposing and empirically evaluating a fixed-parameter tractable algorithm which searches for tractable, flexible partial plans.