A Unified View of Belief Revision and Update

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.

This publication has 0 references indexed in Scilit: