Philosophy
The Logic of Belief Revision and the AGM Framework
Quick fact
The AGM framework was introduced in a 1985 paper by Alchourrón, Gärdenfors, and Makinson, and it has become the standard model for belief revision in philosophy and artificial intelligence, even though it treats belief as a full set of propositions rather than degrees of confidence.
Why this is interesting
You are certain the Earth is flat, but then you see a ship disappear over the horizon—how should you rationally revise your belief? The answer is not merely adding the new fact; it involves a principled logic of change.
Read the full explanation
Understanding The Logic of Belief Revision and the AGM Framework
Think of your beliefs as a collection of sentences you accept as true. When new information arrives, you may need to add it (expansion), remove a belief (contraction), or replace one (revision). The AGM framework defines these operations based on a set of rationality postulates—rules like 'you shouldn't give up more beliefs than necessary' (minimal change) and 'the new belief must be consistent with the final belief set'. For example, if you believe the Earth is flat and then see a ship disappear, you might contract the belief 'Earth is flat', and then expand with 'Earth is round' to maintain consistency. The operations are not arbitrary; they follow from principles that reflect rational reasoning.
A deeper explanation
At the core of AGM is the idea that belief sets are deductively closed—if you believe a set of propositions, you believe all their logical consequences. Revision of a set K by a new belief A (denoted K A) must satisfy six postulates, including: (K1) the result is again a belief set; (K2) A is in KA; (K3) KA is a subset of K+A (the simple expansion with A) when A is consistent with K; and (K4) if A is consistent with K, then K+A is a subset of KA. These postulates guarantee that revision differs from simple expansion only when the new information conflicts with old beliefs. To achieve this, the framework relies on a selection mechanism, such as an entrenchment ordering, that determines which beliefs are sacrificed. This is why belief revision is not just adding or deleting sentences—it's a coherent reshaping of one's entire belief set while preserving as much information as possible. The AGM axioms have been shown to correspond to such orderings, making the framework both normative and constructive.