On the revision of planning tasks - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

On the revision of planning tasks

(1, 2) , (3) , (3) , (3)


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.
Fichier principal
Vignette du fichier
herzig_15171.pdf (211.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01399881 , version 1 (21-11-2016)


  • 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⟩
69 View
76 Download


Gmail Facebook Twitter LinkedIn More