Planning with incomplete information in quantified answer set programming
- We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptions. We represent planning problems using a simple formalism where logic programs describe the transition function between states, the initial states and the goal states. For solving planning problems, we use Quantified Answer Set Programming (QASP), an extension of ASP with existential and universal quantifiers over atoms that is analogous to Quantified Boolean Formulas (QBFs). We define the language of quantified logic programs and use it to represent the solutions different variants of conformant and conditional planning. On the practical side, we present a translation-based QASP solver that converts quantified logic programs into QBFs and then executes a QBF solver, and we evaluate experimentally the approach on conformant and conditional planning benchmarks.
Verfasserangaben: | Jorge FandinnoORCiD, Francois Laferriere, Javier RomeroORCiD, Torsten H. SchaubORCiDGND, Tran Cao SonORCiD |
---|---|
DOI: | https://doi.org/10.1017/S1471068421000259 |
ISSN: | 1471-0684 |
ISSN: | 1475-3081 |
Titel des übergeordneten Werks (Englisch): | Theory and practice of logic programming |
Verlag: | Cambridge University Press |
Verlagsort: | Cambridge |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 24.09.2021 |
Erscheinungsjahr: | 2021 |
Datum der Freischaltung: | 05.01.2024 |
Freies Schlagwort / Tag: | answer set programming; planning; quantified logics |
Band: | 21 |
Ausgabe: | 5 |
Seitenanzahl: | 17 |
Erste Seite: | 663 |
Letzte Seite: | 679 |
Organisationseinheiten: | Zentrale und wissenschaftliche Einrichtungen / Potsdam Transfer - Zentrum für Gründung, Innovation, Wissens- und Technologietransfer |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer Review: | Referiert |
Publikationsweg: | Open Access / Hybrid Open-Access |
Lizenz (Deutsch): | CC-BY - Namensnennung 4.0 International |