Generalized DEL-sequents

Guillaume Aucher 1 Bastien Maubert 1 François Schwarzentruber 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Let us consider a sequence of formulas providing partial information about an initial situation, about a set of events occurring sequentially in this situation, and about the resulting situation after the occurrence of each event. From this whole sequence, we want to infer more information, either about the initial situation, or about one of the events, or about the resulting situation after one of the events. Within the framework of Dynamic Epistemic Logic (DEL), we show that these different kinds of problems are all reducible to the problem of inferring what holds in the final situation after the occurrence of all the events. We then provide a tableau method deciding whether this kind of inference is valid. We implement it in LotrecScheme and show that these inference problems are NEXPTIME-complete. We extend our results to the cases where the accessibility relation is serial and reflexive and illustrate them with the coordinated attack problem.
Type de document :
Communication dans un congrès
JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00856472
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 02:17:17
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : lundi 2 décembre 2013 - 08:55:17

Fichier

JELIA2012.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00856472, version 1

Citation

Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France. 2012. 〈hal-00856472〉

Partager

Métriques

Consultations de la notice

381

Téléchargements de fichiers

178