Updating logical databases
Beliefs, belief revision, and splitting languages
Logic, language and computation, vol. 2
The logic of knowledge bases
Hi-index | 0.00 |
A standard intuition underlying traditional accounts of belief change is the principle of minimal change. In this paper we introduce a novel account of belief change in which the agent's belief state is modified minimally to incorporate exactly the new information. Thus a revision by p ∧ q will result in a new belief state in which p ∧ q is believed, but a stronger proposition (such as p Λ q) is not, regardless of the initial form of the belief state.