A Unified View of Belief Revision and Update
- 1 October 1994
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 4 (5) , 797-810
- https://doi.org/10.1093/logcom/4.5.797
Abstract
Belief revision and belief update have been considered as two distinct types of belief modification. In this paper, we show that both can be captured within a unified formalism, in which revision is encoded as update of the mental state. Specifically, we show that the framework for belief update developed by the authors can be used to capture revision as well, by extending the underlying language to include explicit representations of the agent's beliefs. The resulting framework allows for the definition of a wide variety of revision operators. These include, in particular, all the AGM operators, for which we provide a representation theorem.Keywords
This publication has 0 references indexed in Scilit: