OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

The dynamic logic of policies and contingent planning

Bolander, Thomas and Engesser, Thorsten and Herzig, Andreas and Mattmüller, Robert and Nebel, Bernhard The dynamic logic of policies and contingent planning. (2019) In: European Conference on Logics in Artificial Intelligence (JELIA 2019), 7 May 2019 - 11 May 2019 (Rende, Italy).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-19570-0_43


In classical deterministic planning, solutions to planning tasks are simply sequences of actions, but that is not sufficient for contingent plans in non-deterministic environments. Contingent plans are often expressed through policies that map states to actions. An alternative is to specify contingent plans as programs, e.g. in the syntax of Propositional Dynamic Logic (PDL). PDL is a logic for reasoning about programs with sequential composition, test and non-deterministic choice. However, as we show in the paper, none of the existing PDL modalities directly captures the notion of a solution to a planning task under non-determinism. We add a new modality to star-free PDL correctly capturing this notion. We prove the appropriateness of the new modality by showing how to translate back and forth between policies and PDL programs under the new modality. More precisely, we show how a policy solution to a planning task gives rise to a program solution expressed via the new modality, and vice versa. We also provide an axiomatisation of our PDL extension through reduction axioms into standard star-free PDL.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 11468 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-030-19569-4 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-19570-0_43
HAL Id:hal-02891688
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Technical University of Denmark (DENMARK)
Other partners > Universität Freiburg (GERMANY)
Laboratory name:
Deposited On:23 Jun 2020 11:59

Repository Staff Only: item control page