Beliefrevisionand beliefupdatehave 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 asupdate 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.
展开▼
