A Combined System for Update Logic and Belief Revision - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

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.
Fichier principal
Vignette du fichier
10.1007-978-3-540-32128-6_1.pdf (261.87 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00537233 , version 1 (17-11-2010)
inria-00537233 , version 2 (08-09-2013)

Identifiers

  • HAL Id : inria-00537233 , version 2

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More