Exploring lifted planning encodings in Essence Prime
Abstract
State-space planning is the de-facto search method of the automated planning community. Planning problems are typically expressed in the Planning Domain Definition Language (PDDL), where action and variable templates describe the sets of actions and variables that occur in the problem. Typically, a planner begins by generating the full set of instantiations of these templates, which in turn are used to derive useful heuristics that guide the search. Thanks to this success, there has been limited research in other directions. We explore a different approach, keeping the compact representation by directly reformulating the problem in PDDL into ESSENCE PRIME, a Constraint Programming language with support for distinct solving technologies including SAT and SMT. In particular, we explore two different encodings from PDDL to ESSENCE PRIME, how they represent action parameters, and their performance. The encodings are able to maintain the compactness of the PDDL representation, and while they differ slightly, they perform quite differently on various instances from the International Planning Competition.
Citation
Espasa , J , Coll , J , Miguel , I & Villaret , M 2021 , Exploring lifted planning encodings in Essence Prime . in M Villaret , T Alsinet , C Fernández & A Valls (eds) , Artificial Intelligence Research and Development : Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence . Frontiers in Artificial Intelligence and Applications , vol. 339 , IOS Press , pp. 66-75 , 23rd International Conference of the Catalan Association for Artificial Intelligence , 20/10/21 . https://doi.org/10.3233/faia210117 conference
Publication
Artificial Intelligence Research and Development
ISSN
0922-6389Type
Conference item
Description
This work is supported by UK EPSRC EP/P015638/1 and EP/V027182/1, by the MICINN/FEDER, UE (RTI2018-095609-B-I00), by the French Agence Nationale de la Recherche, reference ANR-19-CHIA-0013-01, and by Archimedes institute, Aix-Marseille University.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.