Le processus méthodologique d'intégration d'informations nouvelles dans un ensemble de croyances tout en maintenant la consistance et en minimisant les changements inutiles ; il traite de la façon d'ajouter, supprimer ou modifier des croyances de manière cohérente.

Principe

Les opérations se répartissent en expansion (ajouter sans vérifier la consistance), contraction (supprimer une croyance en perdant le moins possible d'autres croyances), et révision (incorporer une nouvelle croyance de façon cohérente par contraction appropriée) ; le changement minimal et l'enracinement épistémique guident les choix.

Démonstration

Un agent croit p et q ; à la réception de la preuve ¬p, l'agent doit réviser son ensemble de croyances : soit rétracter p et les croyances dépendantes, soit modifier des hypothèses connexes, pour restaurer la consistance tout en préservant le plus possible des croyances restantes.

Mauvaise application

Accepter aveuglément l'information la plus récente ou osciller continuellement entre états contradictoires sans tenir compte de la force des preuves ou de l'enracinement, entraînant des bases de connaissances instables.

Conséquence

Produit un ensemble de croyances mis à jour et cohérent qui concilie les informations nouvelles avec les engagements antérieurs tout en préservant autant que possible les informations préexistantes, permettant un comportement adaptatif rationnel dans des environnements changeants.

Inversion

Remplacement radical : abandonner toutes les croyances antérieures lorsque de nouvelles informations arrivent, indépendamment de la compatibilité ou du poids probant, sacrifiant la continuité pour l'immédiateté.

Limite

S'applique aux ensembles de croyances formalisés comme des ensembles logiquement clos de formules ou à des états épistémiques structurés avec un ordre des croyances ; ne couvre pas directement les procédures d'actualisation probabiliste (bien que des liens formels existent) et exclut les modèles non logiques de changement culturel ou social des croyances.

Tension sémantique

Tension avec le raisonnement non monotone : tous deux autorisent la rétraction de conclusions, mais la révision des croyances porte sur la cohérence globale d'un ensemble de croyances sous opérations explicites de changement tandis que les systèmes non monotones se concentrent sur l'inférence locale réfragable ; tension aussi avec la conditionnalisation bayésienne sur des crédences numériques.

Synthèse

La révision des croyances est l'ensemble normé d'opérations — expansion, contraction, révision — appliquées à l'état croyant d'un agent pour intégrer de nouvelles informations tout en préservant la consistance et en minimisant les pertes, guidée par des critères de changement minimal et d'ordre des croyances.