Revocable Belief Revision |
| |
Authors: | Hans van Ditmarsch |
| |
Affiliation: | 1. LORIA, CNRS – Université de Lorraine, Vanduvre-lès-Nancy, France
|
| |
Abstract: | Krister Segerberg proposed irrevocable belief revision, to be contrasted with standard belief revision, in a setting wherein belief of propositional formulas is modelled explicitly. This suggests that in standard belief revision is revocable: one should be able to unmake (‘revoke’) the fresh belief in the revision formula, given yet further information that contradicts it. In a dynamic epistemic logical setting for belief revision, for multiple agents, we investigate what the requirements are for revocable belief revision. By this we not merely mean recovering belief in non-modal propositions, as in the recovery principle for belief contraction, but recovering belief in modal propositions: beliefs about beliefs. These requirements are almost never met, a surprising result. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|