Der methodische Prozess, neue Information in eine Überzeugungsmenge zu integrieren und dabei Konsistenz zu wahren und unnötige Änderungen zu minimieren; es geht darum, Überzeugungen kohärent hinzuzufügen, zu entfernen oder zu ändern.

Prinzip

Operationen gliedern sich in Expansion (Hinzufügen ohne Konsistenzprüfung), Kontraktion (Entfernen einer Überzeugung bei möglichst geringem Verlust anderer Überzeugungen) und Revision (konsistente Aufnahme einer neuen Überzeugung durch geeignete Kontraktion); Minimaländerung und epistemische Verankerung leiten Entscheidungen.

Demonstration

Ein Agent glaubt p und q; erhält er die Information ¬p, so muss er seine Überzeugungsmenge revidieren — entweder p und abhängige Überzeugungen zurückziehen oder verwandte Annahmen anpassen —, um Konsistenz wiederherzustellen und möglichst viele verbliebene Überzeugungen zu erhalten.

Fehlanwendung

Blindes Akzeptieren der jüngsten Eingabe oder wiederholtes Oszillieren zwischen widersprüchlichen Zuständen ohne Berücksichtigung der Evidenzstärke oder Verankerung, was zu instabilen Wissensbasen führt.

Konsequenz

Ergibt eine kohärente, aktualisierte Überzeugungsmenge, die neue Informationen mit früheren Verpflichtungen in Einklang bringt und so viel Vorwissen wie möglich bewahrt, wodurch rationales adaptives Verhalten in sich ändernden Umgebungen ermöglicht wird.

Umkehrung

Radikaler Austausch: Alle früheren Überzeugungen verwerfen, wenn neue Informationen eintreffen, unabhängig von Kompatibilität oder Beweiskraft, wodurch Kontinuität zugunsten von Schnelligkeit geopfert wird.

Abgrenzung

Gilt für Überzeugungsmengen, die als logisch abgeschlossene Formelmenge formalisiert sind, oder für strukturierte epistemische Zustände mit Ordnung der Überzeugungen; umfasst nicht direkt probabilistische Aktualisierungsverfahren (obwohl formale Beziehungen bestehen) und schließt nicht-logische Modelle sozialen oder kulturellen Glaubenswandels aus.

Semantische Spannung

Spannung zum nichtmonotonen Schließen: Beide erlauben das Zurückziehen von Schlüssen, aber Glaubensrevision fokussiert auf globale Kohärenz von Überzeugungsmengen unter expliziten Änderungsoperationen, während nichtmonotone Systeme lokale widerlegbare Inferenzen behandeln; außerdem Spannung zur bayesschen Konditionierung numerischer Glaubensgrade.

Synthese

Glaubensrevision ist die normierte Menge von Operationen — Expansion, Kontraktion, Revision — auf dem epistemischen Zustand eines Agenten, um neue Information zu integrieren, Konsistenz zu bewahren und Verlust zu minimieren, gelenkt von Minimaländerungsprinzipien und einer Ordnung der Überzeugungen.