A unified view of belief revision and update
Journal of Logic and Computation, (1994)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 an unified formalism, in which revision is encoded as update of the mental state. Specifically, we show that the framework for belief update presented in 6, 7 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.