AAAI Publications, Twenty-Eighth International Conference on Automated Planning and Scheduling

Font Size: 
On Stubborn Sets and Planning with Resources
Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann

Last modified: 2018-06-15


Stubborn sets are a well-established technique to admissibly prune permutable parts of forward search in classical planning. But what about planning with resources? The identification of effective stubborn sets relies on non-interfering actions. Yet, a priori, all actions affecting the same resource interfere. We show how to exploit the fact that, nevertheless, with commutativity of addition and subtraction, many resource-affecting action sequences are permutable. We design suitable notions of stubborn sets for planning with resources, with and without resource production. We show empirically, on classical IPC benchmarks with discrete resource variables, that our new pruning methods are often, and sometimes dramatically, superior to previous ones. Together with a novel way of automatically identifying the resource variables, this result holds under IPC conditions.


Planning with Resources; Partial-Order Reduction; Stubborn Sets

Full Text: PDF