Operator Mutexes and Symmetries for Simplifying Planning Tasks

• DOI: 10.1609/aaai.v33i01.33017586
• Publication Date: 2019-08-23T07:45:46Z
• Authors: Daniel Fišer; Álvaro Torralba; Alexander Shleyfman
• Keywords: Semaphore; Operator (biology)

Simplifying classical planning tasks by removing operators while preserving at least one optimal solution can significantly enhance the performance of planners. In this paper, we introduce notion operator mutex, which is a set that cannot all be part same (strongly) plan. We propose four different methods for inference mutexes and experimentally verify they found in sizable number tasks. show how used combination with structural symmetries to safely remove from task.