Skip to Main content Skip to Navigation
Conference papers

On the revision of planning tasks

Abstract : 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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, November 21, 2016 - 10:17:45 AM
Last modification on : Wednesday, November 18, 2020 - 10:30:21 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 12:09:44 AM


Files produced by the author(s)


  • HAL Id : hal-01399881, version 1
  • OATAO : 15171


Andreas Herzig, Viviane Menezes, Leliane Nunes de Barros, Renata Wassermann. On the revision of planning tasks. 21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440. ⟨hal-01399881⟩



Record views


Files downloads