El proceso metodológico de incorporar información nueva en un conjunto de creencias manteniendo la consistencia y minimizando los cambios innecesarios; trata de cómo añadir, eliminar o modificar creencias de forma coherente.

Principio

Las operaciones se dividen en expansión (añadir sin comprobar consistencia), contracción (eliminar una creencia perdiendo lo menos posible de lo demás) y revisión (incorporar una nueva creencia consistentemente mediante la contracción apropiada); el cambio mínimo y el arraigo epistémico orientan las decisiones.

Demostración

Un agente cree p y q; al recibir la evidencia ¬p, debe revisar su conjunto de creencias —o retractar p y creencias dependientes, o modificar supuestos relacionados— para restaurar la consistencia preservando al máximo las creencias restantes.

Aplicación incorrecta

Aceptar a ciegas la entrada más reciente u oscilar repetidamente entre estados contradictorios sin tener en cuenta la fortaleza de la evidencia o el arraigo, lo que conduce a bases de conocimiento inestables.

Consecuencia

Produce un conjunto de creencias actualizado y coherente que reconcilia la nueva información con compromisos previos preservando tanto como sea posible la información anterior, permitiendo un comportamiento adaptativo racional en entornos cambiantes.

Inversión

Reemplazo radical: descartar todas las creencias previas cuando llega nueva información, independientemente de la compatibilidad o el peso probatorio, sacrificando la continuidad por inmediatez.

Límite

Se aplica a conjuntos de creencias formalizados como conjuntos de sentencias lógicamente cerradas o a estados epistémicos estructurados con ordenación de creencias; no cubre directamente procedimientos probabilísticos de actualización (aunque existen vínculos formales) y excluye modelos no lógicos de cambio cultural o social de creencias.

Tensión semántica

Tensión con el razonamiento no monótono: ambos permiten la retracción de conclusiones, pero la revisión de creencias se centra en la coherencia global del conjunto de creencias bajo operaciones explícitas de cambio, mientras que los sistemas no monótonos se centran en inferencias locales defeasibles; también tensión con la condicionación bayesiana sobre credencias numéricas.

Síntesis

La revisión de creencias es el conjunto normativo de operaciones —expansión, contracción, revisión— aplicadas al estado de creencia de un agente para incorporar nueva información manteniendo la consistencia y minimizando la pérdida, guiada por criterios de cambio mínimo y ordenación de creencias.