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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00537233
Contributor : Guillaume Aucher <>
Submitted on : Wednesday, November 17, 2010 - 11:49:25 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM
Long-term archiving on : Friday, February 18, 2011 - 3:29:36 AM

File

PRIMA_2004.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00537233, version 1

Citation

Guillaume Aucher. A Combined System for Update Logic and Belief Revision. PRIMA, Aug 2004, Auckland, New Zealand. pp.1-17. ⟨inria-00537233v1⟩

Share

Metrics

Record views

30

Files downloads

98