TY - JOUR
T1 - plasp 3: Towards Effective ASP Planning
AU - Dimopoulus, Yannis
AU - Gebser, Martin
AU - Lühne, Patrick
AU - Romero, Javier
AU - Schaub, Torsten
PY - 2019/5/18
Y1 - 2019/5/18
N2 - We describe the new version of the Planning Domain Definition Language (PDDL)-to-Answer Set Programming (ASP) translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by Satisfiability Testing (SAT) planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multishot ASP solving, it offers advanced planning algorithms also borrowed from SAT planning. As a result, plasp provides us with an ASP-based framework for studying a variety of planning techniques in a uniform setting. Finally, we demonstrate in an empirical analysis that these techniques have a significant impact on the performance of ASP planning.
AB - We describe the new version of the Planning Domain Definition Language (PDDL)-to-Answer Set Programming (ASP) translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by Satisfiability Testing (SAT) planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multivalued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multishot ASP solving, it offers advanced planning algorithms also borrowed from SAT planning. As a result, plasp provides us with an ASP-based framework for studying a variety of planning techniques in a uniform setting. Finally, we demonstrate in an empirical analysis that these techniques have a significant impact on the performance of ASP planning.
UR - https://doi.org/10.1017/S1471068418000583
UR - http://arxiv.org/abs/1812.04491
U2 - 10.1017/S1471068418000583
DO - 10.1017/S1471068418000583
M3 - Article
SN - 1471-0684
VL - 19
SP - 477
EP - 504
JO - Theory and Practice of Logic Programming
JF - Theory and Practice of Logic Programming
IS - 3
ER -