A Combined System for Update Logic and Belief Revision

Abstract : In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchourron, P. Gardenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ( [Spohn90], [Spohn88]). We also give a proof system and a comparison with the AGM postulates.
Type de document :
Communication dans un congrès
Mike Barley and Nikola Kasabov. PRIMA, Aug 2004, Auckland, New Zealand. Springer, 3371, pp.1-17, 2004
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00537233
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 8 septembre 2013 - 19:20:59
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : lundi 9 décembre 2013 - 04:23:09

Fichier

10.1007-978-3-540-32128-6_1.pd...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00537233, version 2

Collections

Citation

Guillaume Aucher. A Combined System for Update Logic and Belief Revision. Mike Barley and Nikola Kasabov. PRIMA, Aug 2004, Auckland, New Zealand. Springer, 3371, pp.1-17, 2004. 〈inria-00537233v2〉

Partager

Métriques

Consultations de la notice

161

Téléchargements de fichiers

149