OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

On the revision of planning tasks

Herzig, Andreas and Menezes, Viviane and Nunes De Barros, Leliane and Wassermann, Renata On the revision of planning tasks. (2014) In: 21st European Conference on Artificial Intelligence (ECAI 2014), 18 August 2014 - 22 August 2014 (Prag, Czech Republic).

(Document in English)

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

Official URL: http://dx.doi.org/10.3233/978-1-61499-419-0-435


We study how unsolvable planning tasks can be modified in order to get solvable. We apply Katsuno and Mendelzon's distinction between update and revision and show that (1) the modification of the initial state is an update, (2) the modification of the goal description is a revision, and (3) modifications of the set of actions can be reduced to initial state modification. The input of all three belief change operations being counterfactual statements (instead of boolean formulas), existing belief change operations do not apply as they stand. We show that both the counterfactual statement and the two belief change operations can be captured in Dynamic Logic of Propositional Assignments DL-PA, where we use a variant of Forbus's update and Dalal's revision operation to model belief change.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IOS Press. Distribution of this paper is permitted under the terms of the Creative Commons Attribution 4.0 International License. This paper appears in Volume 263: ECAI 2014 Frontiers in Artificial Intelligence and Applications ISBN : 978-1-61499-418-3 ISSN: 0922-6389 The definitive version is available at: http://ebooks.iospress.nl/publication/36979
HAL Id:hal-01399881
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 > Universidade de São Paulo - USP (BRAZIL)
Laboratory name:
Deposited On:10 Nov 2016 08:37

Repository Staff Only: item control page