plasp 3
- 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.
Verfasserangaben: | Yannis Dimopoulos, Martin GebserORCiD, Patrick LühneORCiD, Javier Romero Davila, Torsten SchaubORCiDGND |
---|---|
DOI: | https://doi.org/10.1017/S1471068418000583 |
ISSN: | 1471-0684 |
ISSN: | 1475-3081 |
Titel des übergeordneten Werks (Englisch): | Theory and practice of logic programming |
Untertitel (Englisch): | Towards Effective ASP Planning |
Verlag: | Cambridge Univ. Press |
Verlagsort: | New York |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 18.01.2019 |
Erscheinungsjahr: | 2019 |
Datum der Freischaltung: | 01.03.2021 |
Freies Schlagwort / Tag: | action and change; answer set programming; automated planning; knowledge representation and nonmonotonic reasoning; technical notes and rapid communications |
Band: | 19 |
Ausgabe: | 3 |
Seitenanzahl: | 28 |
Erste Seite: | 477 |
Letzte Seite: | 504 |
Fördernde Institution: | DFGGerman Research Foundation (DFG) [SCHA 550/9]; KWF [28472]; cms electronics GmbH; FunderMax GmbH; Hirsch Armbander GmbH; IT GmbH; Infineon Technologies Austria AG; Isovolta AG; Kostwein Holding GmbH; Privatstiftung Karntner Sparkasse |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer Review: | Referiert |
Publikationsweg: | Open Access / Green Open-Access |