inria-00537233, version 2
A Combined System for Update Logic and Belief Revision
PRIMA 3371 (2004) 1-17
Résumé : 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.
- 1 : Institut de recherche en informatique de Toulouse (IRIT)
- CNRS : UMR5505 – Institut National Polytechnique de Toulouse - INPT – Université des Sciences Sociales - Toulouse I – Université Toulouse I (UT1) Capitole – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier (UPS) - Toulouse III
- 2 : Department of Computer Science
- University of Otago
- Domaine : Informatique/Logique en informatique
- Commentaire : Revised Selected Papers
- Versions disponibles : v1 (19-11-2010) v2 (09-09-2013)
- inria-00537233, version 2
- http://hal.inria.fr/inria-00537233
- oai:hal.inria.fr:inria-00537233
- Contributeur : Guillaume Aucher
- Soumis le : Dimanche 8 Septembre 2013, 19:20:59
- Dernière modification le : Lundi 9 Septembre 2013, 13:44:35
Documents associés
Exporter