Por ejemplo, considere un estado de creencias en que las siguientes afirmaciones son verdaderas (o creídas): "Juan es un sacerdote" y "Los sacerdotes no son casados".
Si es así, entonces hay al menos tres formas de realizar la revisión.
La teoría que prevalece en la revisión de creencias es la teoría conocida como paradigma AGM (nombre hace referencia a los autores: Alchourrón, Gärdenfors y Makinson).
En este conjunto, se han previsto tres operaciones: expansión, contracción y revisión.
La expansión es la simple adición de una nueva proposición, seguido por el cierre lógico del conjunto.