# Rewizja przekonań

EN: **Belief revision (AGM theory)** · id `beliefrevision` · aliases: belief revision, rewizja przekonań, AGM, belief change, zmiana przekonań

Path: [AI Atlas](https://aiatlasgraph.com/llms.txt) › [Fundamenty i rozumowanie](https://aiatlasgraph.com/t/foundations.md) › [Rozumowanie poza logiką klasyczną](https://aiatlasgraph.com/t/nonclassicalreasoning.md) › Rewizja przekonań

## Description

- PL: Teoria racjonalnej zmiany zbioru przekonań; model AGM definiuje rozszerzanie, kontrakcję i rewizję przez postulaty minimalnej zmiany.
- EN: Theory of rational change of a belief set; the AGM model defines expansion, contraction and revision through minimal-change postulates.

## In one sentence

- PL: Zasady, jak rozsądnie zmienić to, co się wie, gdy nowa informacja kłóci się z dotychczasową wiedzą.
- EN: Rules for sensibly changing what you know when new information clashes with what you believed.

## Problem it solves

- PL: Gdy nowy fakt przeczy staremu, nie wiadomo, które dawne przekonania wyrzucić, żeby nie stracić zbyt wiele.
- EN: When a new fact contradicts an old one, it is unclear which earlier beliefs to drop without losing too much.

## What it does

- PL: Jak porządkowanie szafy: wyrzucasz tylko to, co naprawdę koliduje, a najpierw rzeczy, na których ci najmniej zależy.
- EN: Like tidying a wardrobe: you throw out only what really clashes, starting with the things you value least.

## Everyday example

- PL: Asystent pamiętał, w którym mieście pracuje kolega; gdy słyszy o przeprowadzce, poprawia tylko adres, a resztę informacji o nim zachowuje.
- EN: An assistant remembered a colleague works in one city; hearing about a move, it updates the address but keeps everything else about them.

## This concerns you if you…

- PL: budujesz asystenta z pamięcią, która musi się aktualizować
- PL: zastanawiasz się, jak poprawiać wiedzę modelu bez psucia reszty
- EN: build an assistant whose memory must stay up to date
- EN: wonder how to correct a model's knowledge without breaking the rest

## Keywords

AGM postulates · belief contraction · Levi identity · epistemic entrenchment · partial meet contraction · belief update · iterated revision · truth maintenance systems

## How it works

- PL: Przekonania tworzą zbiór domknięty logicznie. Rozszerzenie dodaje zdanie, kontrakcja usuwa je wraz z tym, co do niego prowadzi, a rewizja dodaje zdanie z zachowaniem spójności. Tożsamość Leviego buduje rewizję z kontrakcji i rozszerzenia, a porządek zakorzenienia wskazuje, które przekonania porzucić najpierw.
- EN: Beliefs form a logically closed set. Expansion adds a sentence, contraction removes it with whatever implies it, and revision adds a sentence while preserving consistency. The Levi identity builds revision from contraction and expansion, and an entrenchment ordering says which beliefs to give up first.

## Limits

- PL: Model zakłada idealnego agenta z nieskończonym, domkniętym zbiorem przekonań, co jest nierealne obliczeniowo. Niektóre postulaty, zwłaszcza odzyskiwanie, są sporne, a teoria nie mówi, skąd wziąć porządek ważności przekonań.
- EN: The model assumes an ideal agent with an infinite, closed belief set, which is computationally unrealistic. Some postulates, notably recovery, are disputed, and the theory does not say where the importance ordering comes from.

## Key terms

- PL: **kontrakcja**: Usunięcie przekonania razem z tym, co pozwalałoby je odtworzyć.
- PL: **tożsamość Leviego**: Rewizja to najpierw usunięcie zaprzeczenia, potem dodanie faktu.
- PL: **zakorzenienie epistemiczne**: Ranking ważności przekonań decydujący, co porzucić najpierw.
- EN: **contraction**: Removing a belief along with whatever would let it be rederived.
- EN: **Levi identity**: Revision is first removing the negation, then adding the fact.
- EN: **epistemic entrenchment**: Ranking of beliefs deciding which to give up first.

## Know first

- [Logika zdań i logika pierwszego rzędu (Propositional and first-order logic)](https://aiatlasgraph.com/t/fol.md)

## Related topics

Untyped, symmetric "see also" links.

- [Edycja wiedzy w modelu (ROME, MEMIT) (Knowledge editing in language models)](https://aiatlasgraph.com/t/knowledgeediting.md)

## Sources

- [Logic of Belief Revision — Stanford Encyclopedia of Philosophy](<https://plato.stanford.edu/archives/spr2021/entries/logic-belief-revision/>) `sep-belief-revision` · by Sven Ove Hansson

---

AI Atlas revision 125 (2026-11-01) · HTML: https://aiatlasgraph.com/t/beliefrevision · index: https://aiatlasgraph.com/llms.txt · everything: https://aiatlasgraph.com/llms-full.txt · updated 2026-11-01