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

https://hal.archives-ouvertes.fr/hal-01399881
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, November 21, 2016 - 10:17:45 AM
Last modification on : Friday, June 14, 2019 - 6:31:14 PM
Long-term archiving on : Tuesday, March 21, 2017 - 12:09:44 AM

File

herzig_15171.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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⟩

Share

Metrics

Record views

92

Files downloads

94