Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level
DOI:
https://doi.org/10.1609/icaps.v33i1.27186Keywords:
Classical planning techniques and analysis, Theoretical foundations of planning and schedulingAbstract
A lifted mutex group is a schematic first-order description of sets of facts such that each set contains facts out of which at most one can hold in any reachable state. It was previously shown that lifted mutex groups can be used for pruning of operators during grounding of PDDL tasks, i.e., it is possible to prune unreachable and dead-end operators even before the grounded representation is known. Here, we show that applying such a pruning technique does not require a modification of the grounding procedure. Instead, it is possible to compile the conditions under which we can use lifted mutex groups to prune operators directly into the preconditions of lifted actions on the PDDL level. In fact, we show that such compilation captures the pruning power of lifted mutex groups perfectly.Downloads
Published
2023-07-01
How to Cite
Fišer, D. (2023). Operator Pruning Using Lifted Mutex Groups via Compilation on Lifted Level. Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 118-127. https://doi.org/10.1609/icaps.v33i1.27186