Generalized DEL-sequents

Guillaume Aucher 1 Bastien Maubert 2 François Schwarzentruber 1
1 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
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Considérons une séquence de formules fournissant une information partielle à propos d'une situation initiale, d'un ensemble d'évènements se produisant séquentiellement dans cette situation, et de la situation résultante après l'occurence de chaque évènement. De cette séquence, nous voulons déduire plus d'information, soit sur la situation initiale, soit sur l'un des évènements, soit sur la situation résultante après l'un des évènements. Dans le cadre de la logique épistémique dynamique (DEL), nous montrons que ces diffŕentes sortes de problèmes sont tous réductibles au problème de déduire des propriétés de la situation finale après l'occurrence de tous les évèvenements. Nous fournissons ensuite une méthode tableau qui décide la validité de ce type d'inférence. Nous l'implémentons en LotrecScheme et prouvons que ces problèmes d'inférence sont NEXPTIME-complets. Nous étendons nos résultats aux cas où la relation d'accessibilité est sériale ou réflexive et les illustrons par le problème de l'attaque coordinée.
Type de document :
Rapport
[Research Report] RR-8012, INRIA. 2012, pp.23
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00716074
Contributeur : Bastien Maubert <>
Soumis le : lundi 9 juillet 2012 - 19:13:18
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : mercredi 10 octobre 2012 - 04:45:08

Fichiers

RR-8012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00716074, version 1

Citation

Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-sequents. [Research Report] RR-8012, INRIA. 2012, pp.23. 〈hal-00716074〉

Partager

Métriques

Consultations de la notice

644

Téléchargements de fichiers

203