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

• DOI: 10.1609/aaai.v34i06.6536
• Publication Date: 2020-06-29T19:00:43Z
• Authors: Daniel Fišer
• Keywords: Semaphore; Representation; Pruning; STRIPS

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