Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

Authors

  • Daniel Fišer Czech Technical University in Prague

DOI:

https://doi.org/10.1609/aaai.v34i06.6536

Abstract

In this paper, we focus on the inference of mutex groups in the lifted (PDDL) representation. We formalize the inference and prove that the most commonly used translator from the Fast Downward (FD) planning system infers a certain subclass of mutex groups, called fact-alternating mutex groups (fam-groups). Based on that, we show that the previously proposed fam-groups-based pruning techniques for the STRIPS representation can be utilized during the grounding process with lifted fam-groups, i.e., before the full STRIPS representation is known. Furthermore, we propose an improved inference algorithm for lifted fam-groups that produces a richer set of fam-groups than the FD translator and we demonstrate a positive impact on the number of pruned operators and overall coverage.

Downloads

Published

2020-04-03

How to Cite

Fišer, D. (2020). Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems. Proceedings of the AAAI Conference on Artificial Intelligence, 34(06), 9835-9842. https://doi.org/10.1609/aaai.v34i06.6536

Issue

Section

AAAI Technical Track: Planning, Routing, and Scheduling