---
title: AGM Belief Revision Theory
url: https://www.emergentmind.com/topics/agm-belief-revision-theory
type: topic
---

# AGM Belief Revision Theory

Alchourrón–Gärdenfors–Makinson (AGM) Belief Revision Theory provides a rigorous formal foundation for reasoning about rational belief change under new information. Originating in the context of classical propositional logic, the AGM paradigm is characterized by a system of postulates that define the allowable ways to expand, contract, or revise belief sets in response to evidence. Over the past decades, this theory has been extended, semantically characterized, and generalized to broader classes of logical systems, richer epistemic models, and new domains, while retaining the “minimal change” ideal as its organizing principle.

## 1. Syntactic and Semantic Foundations

The basic AGM framework formalizes belief states as deductively closed, consistent sets of formulas—typically in classical propositional or first-order logic. Formally, a **belief set** $K$ in language $\mathcal{L}$ with consequence relation $\mathit{Cn}$ satisfies $K = \mathit{Cn}(K)$ and $K \nvdash \bot$ [1301.6746]. The theory is equipped with three core operations:

- **Expansion** $K+\varphi$: Classical expansion by a new formula, defined as $K+\varphi = \mathit{Cn}(K \cup \{\varphi\})$.
- **Contraction** $K-\varphi$: Removal of just enough to prevent entailment of $\varphi$, with minimal loss otherwise.
- **Revision** $K*\varphi$: Incorporating potentially contradicting information $\varphi$ by performing minimal contraction by $\neg\varphi$, then expanding by $\varphi$ (Levi identity: $K*\varphi = (K-\neg\varphi)+\varphi$).

The postulates for these operations enforce closure, success, inclusion/minimality, and extensionality properties, guaranteeing rational and consistent management of information [1301.6746, 2104.14512, 2112.13557].

Table: Key AGM Revision Postulates (for belief set $K$ and formula $\varphi$)

| Label     | Schematic Statement                        | Intuitive Function          |
|-----------|--------------------------------------------|----------------------------|
| (*1)      | $K*\varphi = \mathit{Cn}(K*\varphi)$       | Closure                    |
| (*2)      | $\varphi \in K*\varphi$                    | Success                    |
| (*3)      | $K*\varphi \subseteq K+\varphi$            | Inclusion/Minimality       |
| (*4)      | $\neg\varphi \notin K \implies K*\varphi = K+\varphi$ | Vacuity        |
| (*5)      | $\vdash \varphi \leftrightarrow \psi \implies K*\varphi = K*\psi$ | Extensionality   |

Semantically, AGM revision was connected to **plausibility orderings** on possible worlds: every belief set $K$ induces a total preorder $\leq_K$ on models (interpretations), and revision by $\varphi$ selects the minimal $\varphi$-worlds: $K*\varphi = \mathit{Cn}(\{\psi : \text{every minimal model of $\varphi$ under } \leq_K \text{ satisfies } \psi\})$ [2104.14512, 2112.13557, 2310.11506].

## 2. Semantic Representation and Generalizations

The classic finite propositional case (Katsuno–Mendelzon) guarantees that every AGM operator is determined by a **faithful assignment** of total preorders to belief states [2112.13557, 2104.14512]. More recent generalizations extend this paradigm:

- **Tarskian and arbitrary monotonic logics**: AGM-revision can be represented using assignments from belief bases to total (but not necessarily transitive) relations on models, dubbed *min-friendly* assignments [2112.13557, 2104.14512, 1502.02298].
- **Min-friendly relations**: These are total, min-complete (guaranteeing minima exist), and min-retractive (ensuring minimality propagates downwards). They coincide with preorders (transitive total relations) when certain loop-freeness or disjunction properties hold in the base logic [2104.14512].
- **Critical loops**: In non-classical logics (e.g., Horn logic), cycles may exist that prevent transitive (preorder) representations; in such cases, AGM revision can only be modeled by more general min-friendly but non-transitive assignments [2104.14512, 2112.13557].

A key result:  
_The AGM postulates (in generalized base logic) are **equivalent** to the existence of a min-friendly faithful assignment $\mathcal{R}$ such that, for all bases $K, A$, the revised model set is minimal: $M(K*A) = \min(M(A), \preceq_K)$._ [2104.14512, 2112.13557]

## 3. Modal and Kripke–Lewis Semantics

Modal logics, notably those with belief ($B$), necessity ($\Box$), and Ramsey-style conditionals ($>$), have been shown to admit fine-grained axiomatizations of the AGM postulates [2502.14176, 2602.23302, 2310.11506]. In this setting:

- Agents are modeled with Kripke frames $(W, R, f)$, where $R$ is a belief accessibility and $f$ is a Lewis selection function for conditionals.
- Revision by input $A$ yields the revised belief set $K*A$ as those $\psi$ such that all $A$-closest worlds (from all $R$-accessible states) satisfy $\psi$.
- Each AGM postulate corresponds to a modal axiom in this language, and the class of Kripke–Lewis frames for AGM revision is axiomatized by frame conditions mirroring the postulates [2310.11506, 2502.14176].

Furthermore, this approach reveals that AGM revision can be seen as a special case of the more general KM belief update, with distinction determined by two strengthened frame conditions and a unique axiom regarding “unsurprising information” (revision when $\varphi$ was not disbelieved) [2602.23302].

## 4. Extensions and Variants

The AGM paradigm has been robustly extended across several axes:

- **Belief bases and prioritized revision**: Dropping deductive closure, base revision is characterized by operators on finite or arbitrary sentence sets, generalized to non-classical logics and dynamic belief bases, with corresponding representation theorems [2104.14512, 1902.06178].
- **Non-classical and paraconsistent logics**: In paraconsistent (e.g., PAC) and multi-valued settings, modified AGM postulates are adapted to handle inconsistencies and relativized priorities, with preservation of closure, minimality, and a weakened recovery [1704.03396, 1910.14138].
- **Probabilistic belief states**: Probabilistic analogues distinguish between expansion by constraining (removing non-supporting distributions) vs. conditioning (likelihood reweighting); the former aligns more closely with AGM expansion [1301.6746].
- **Dynamic/iterated revision**: Modal languages such as Dynamic Preference Logic and belief algebra frameworks internalize AGM/DP postulates for complex, iterated revision, with unique operators ensured by added constraints [2101.01676, 2505.06505].
- **Multi-agent and source-sensitive settings**: Extensions to multi-agent epistemic models (Kripke models for sets of agents, epistemic planning) generalize the AGM postulates to multi-agent belief dynamics and manage source reliability via epistemic-reliability functions [2605.02249, 1704.03396].
- **Intentions, goals, and temporal dimensions**: AGM-style postulates support joint revision of temporal beliefs and intention databases, extending the paradigm to planning and dynamic intention management [1604.07183].
- **Filtered and partial (non-universal success) revision**: Handling non-credible or only "allowable" information via filtered belief revision replaces or weakens the success axiom, reflecting resistance to unreliable sources [1907.09099].

## 5. Methodological and Practical Implications

Advances in AGM theory provide a foundation for belief change in:

- **Knowledge representation**: Uniform model-theoretic semantics for revision in description logics, hybrid non-classical logics, and ontology evolution [1502.02298].
- **Database and preference revision**: Generalizations to database belief management (separating strong/weak beliefs, intention coherence) and preference revision (ordering of direct comparisons) situate AGM theory as a unifying pattern for rational update across information systems [2112.14243, 1604.07183].
- **Automated reasoning and AI planning**: Iterated revision, belief base organization, and multi-agent extensions facilitate applications in dynamic reasoning, agent systems, and planning environments [1902.06178, 2605.02249].

## 6. Conceptual Boundaries, Open Problems, and Directions

Current research identifies sharp boundaries for the AGM framework:

- **Critical loops and non-preorder representability**: Failure of loop-freeness prohibits preorder-based representations, especially in logics lacking expressive disjunction [2104.14512, 2112.13557].
- **Expressive completeness and iterated revision**: Despite robust single-shot characterizations, complete modal axiom systems for iterated AGM/DP change, especially for more expressive languages, remain open [2101.01676, 2502.14176].
- **Partial and imprecise belief structures**: Accept-desirability models and similar frameworks generalize AGM, but introduce phenomena such as dilation that disrupt certain postulates—prompting ongoing investigation into robust AGM-like frameworks for imprecise probabilities and quantum logics [2512.19096].
- **Computation and implementation**: The complexity of constructing min-friendly assignments or minimal-model selection in description or modal logics is an area of active research [2112.13557, 1502.02298].

Recent directions include algorithmic realization of unique revision operators in belief algebras, dynamic modeling of latent beliefs, and the development of iterated, source-sensitive, and preference-guided belief update protocols for practical systems [2505.06505, 1504.05381, 2112.14243].

---
**References**
- [1301.6746] Probabilistic Belief Change: Expansion, Conditioning and Constraining
- [2104.14512] A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics
- [2112.13557] AGM Belief Revision, Semantically
- [2310.11506] A Kripke-Lewis semantics for belief update and belief revision
- [2502.14176] A modal logic translation of the AGM axioms for belief revision
- [1704.03396] Source-Sensitive Belief Change
- [2512.19096] Conditioning Accept-Desirability models in the context of AGM-like belief change
- [2101.01676] Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization
- [1902.06178] Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
- [2602.23302] The logic of KM belief update is contained in the logic of AGM belief revision
- [1502.02298] Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics
- [1604.07183] AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
- [1504.05381] How do you revise your belief set with %$;@*?
- [1910.14138] Belief revision and 3-valued logics: Characterization of 19,683 belief change operators
- [2112.14243] An AGM Approach to Revising Preferences
- [2605.02249] A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
- [1907.09099] Credible Information, Allowable Information and Belief Revision -- Extended Abstract

Source: https://www.emergentmind.com/topics/agm-belief-revision-theory