AAAI Publications, Tenth Symposium of Abstraction, Reformulation, and Approximation

Font Size: 
Generating Macro-Operators by Exploiting Inner Entanglements
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane Kitchin

Last modified: 2013-06-19


In Automated Planning, learning and exploiting additional knowledge within a domain model, in order to improve plan generation speed-up and increase the scope of problems solved, has attracted much research. Reformulation techniques such as those based on macro-operators or entanglements are very promising because they are to some extent domain model and planning engine independent. This paper aims to exploit recent work on inner entanglements, relations between pairs of planning operators and predicates encapsulating exclusivity of predicate `achievements` or `requirements', for generating macro-operators. We discuss conditions which are necessary for generating such macro-operators and conditions that allow removing primitive operators without compromising solvability of a given (class of) problem(s). The effectiveness of our approach will be experimentally shown on a set of well-known benchmark domains using several high-performing planning engines.


classical planning; inner entanglements; macros; problem reformulation

Full Text: PDF