On the revision of planning tasks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On the revision of planning tasks

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

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

Citer

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⟩
92 Consultations
90 Téléchargements

Partager

Gmail Facebook X LinkedIn More