🤖 AI

Belief Contraction in Dynamic Epistemic Logic

Dit artikel behandelt de beperkingen van bestaande dynamische epistemische logica-benaderingen voor geloofscontractie door een nieuw mechanisme te introduceren dat direct op standaard Kripke-modellen is gedefinieerd en complexe scenario's zoals afgezwakte aankondigingen en private gebeurtenissen accommodeert, terwijl het een sound en volledige axiomatisering biedt voor zowel de specifieke als de gegeneraliseerde logica's.

Oorspronkelijke auteurs: Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley, California)

Gepubliceerd 2026-07-01

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley, California)

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je je geest voor als een bibliotheek vol boeken over hoe de wereld werkt. Sommige boeken zijn "feiten" waarvan je absoluut zeker bent (zoals "de lucht is blauw"), terwijl andere slechts "mogelijkheden" zijn die je voor de zekerheid op de planken bewaart (zoals "misschien gaat het morgen regenen").

In de wereld van de logica proberen wetenschappers al lang een perfect systeem te bouwen om uit te leggen hoe we deze bibliotheken bijwerken wanneer we nieuwe informatie krijgen. Dit artikel, getiteld "Belief Contraction in Dynamic Epistemic Logic," door Gaia Belardinelli en Snow Zhang, pakt een specifiek probleem aan: Wat gebeurt er als iemand je vertelt dat iets waarvan je 100% zeker bent, misschien niet waar is?

Hier is het verhaal van hun ontdekking, eenvoudig uitgelegd.

1. De Oude Manier: De "Hard" Bibliotheek

Lama een standaardmanier om geloofverandering te modelleren, was als een beveiliger bij een bibliotheek.

Hoe het werkte: Als je de beveiliger vertelde: "De lucht is niet blauw," zou de beveiliger onmiddellijk elk boek weggooien dat zei: "De lucht is blauw."
Het Probleem: Dit werkt geweldig voor het uitbreiden van je kennis (het toevoegen van nieuwe feiten). Maar het faalt jammerlijk bij contractie (het loslaten van een overtuiging).
Het Scenario: Stel je voor dat Alice 100% zeker weet dat ze haar kantoordeur heeft op slot gedaan. Bob komt naar haar toe en zegt: "Hé, je deur staat misschien open."
- In het oude "Hard" systeem is de uitspraak van Bob verwarrend. Het geeft geen hard feit om boeken weg te gooien, maar het laat Alice ook niet met 100% zekerheid blijven zitten dat de deur dicht is. Het oude systeem kon niet modelleren dat Alice zegt: "Oké, ik ben niet meer 100% zeker, maar ik weet ook niet zeker of hij open is." Het systeem liep gewoon vast.

2. De "Soft" Poging: De Plausibiliteitsranking

Om dit op te lossen, probeerden andere logici een andere aanpak. In plaats van een beveiliger die boeken weggooit, stelden zij een ranglijst voor.

Hoe het werkte: Elk boek in de bibliotheek had een sterrenwaardering. De boeken met 5 sterren waren de "meest plausibele" (wat je gelooft). Als Bob zei: "De deur staat misschien open," zou het systeem het boek "De deur is open" simpelweg naar de 5-sterrenplank verplaatsen, vlak naast het boek "De deur is dicht."
De Gebreken: De auteurs vonden twee grote gaten in dit "Soft" systeem:
1. Het "Alwetendheidsprobleem": Dit systeem dwingt je om altijd precies te weten wat je gelooft. Als je iets gelooft, gaat het systeem ervan uit dat je weet dat je het gelooft. Maar in het echte leven kunnen mensen fout zitten over hun eigen overtuigingen (bijv. "Ik denk dat ik eerlijk ben, maar ik heb eigenlijk een vooroordeel"). Het oude systeem kon deze fout niet modelleren.
2. Het "Misschien"-probleem: Wanneer Bob zegt: "Het staat misschien open," is hij niet alleen een boek naar een hogere plank aan het verplaatsen. Hij opent een hele nieuwe sectie van de bibliotheek die voorheen afgesloten was. Het "Soft" systeem kon dit specifieke type "voorzichtige" aankondiging (waarbij je niet zeker bent, maar je wel zorgen maakt) niet aan.

3. De Nieuwe Oplossing: Het "Expansie" Mechanisme

Belardinelli en Zhang stellen een compleet nieuwe manier voor om dit aan te pakken. In plaats van boeken weg te gooien of ze alleen maar opnieuw te rangschikken, stellen ze voor om nieuwe boeken aan de plank toe te voegen.

De Metafoor: Stel je voor dat Alice's overtuiging dat de deur op slot zit een fort is.
- Oude Logica: Als je haar vertelt dat de deur open is, sla je het fort aan puin.
- Nieuwe Logica: Wanneer Bob zegt: "De deur staat misschien open," slaat Alice haar fort niet aan puin. In plaats daarvan bouwt ze een nieuwe vleugel aan haar bibliotheek. Ze voegt een "Misschien Open"-sectie toe.
- De Regel: Als ze al 100% zeker wist dat de deur op slot zat, voegt ze nu elke mogelijke situatie waarin de deur open is toe aan haar bibliotheek. Ze verwijdert haar oude overtuiging niet; ze geeft simpelweg toe: "Oké, ik kan de 'open' mogelijkheden niet langer uitsluiten."

4. Wat Ze Ontdekten

De auteurs bouwden een nieuwe wiskundige logica (een set regels) om deze "Nieuwe Vleugel"-aanpak te beschrijven. Ze noemden het HPAL (Hedged Public Announcement Logic).

Dit zijn de belangrijkste bevindingen van hun nieuwe systeem:

Het werkt voor "Misschien": Het modelleert perfect wat er gebeurt als iemand zegt: "Dit is misschien niet waar." De actor stopt met 100% zeker zijn en begint het tegenovergestelde te overwegen.
Het breekt sommige oude regels: In de oude "Soft" systemen waren er strikte regels over hoe overtuigingen zich moeten gedragen (zoals "Als ik X geloof, moet ik weten dat ik X geloof"). De auteurs laten zien dat hun nieuwe systeem deze regels breekt. En dat is eigenlijk goed! Het betekent dat hun systeem echte mensen kan modelleren die soms in de war zijn over hun eigen overtuigingen.
De "Moore" Paradox: Ze keken naar lastige zinnen zoals "De deur staat open, maar ik geloof het niet." In hun nieuwe systeem, als je een "misschien"-aankondiging hoort over dit, verandert je overtuigingsstaat op een manier die de zin onwaar maakt. Ze hebben precies uitgewerkt welke zinnen deze verandering overleven en welke niet.

5. De "Algemene" Upgrade

Ten slotte realiseerden ze zich dat het leven niet alleen uit publieke aankondigingen bestaat. Soms vertel je een geheim aan één persoon, of hoort een groep mensen iets anders.

Ze creëerden een nog groter systeem genaamd GDEL (Generalized Dynamic Epistemic Logic).
Zie dit als de Meestersleutel. Deze kan publieke aankondigingen, private fluisteringen en "semi-private" hints aan.
Ze bewezen dat deze Meestersleutel bijna elke vorm van geloofverandering kan simuleren, inclusief de "Soft" ranglijstsystemen, maar dan met veel meer flexibiliteit.

De Kernboodschap

Dit artikel gaat over het repareren van een defect instrument. De oude instrumenten voor het modelleren van geloofverandering waren te rigide — ze konden alleen "harde feiten" of "herrangschikking" aan. De auteurs hebben een nieuw instrument gebouwd dat "misschien" aankan.

Ze hebben aangetoond dat wanneer we horen "Het is misschien niet waar," we niet simpelweg onze overtuigingen verwisselen; we breiden onze bibliotheek uit met nieuwe mogelijkheden. Hun nieuwe logica legt precies uit hoe die uitbreiding plaatsvindt, zelfs wanneer het ons een beetje minder zeker maakt over wat we weten dat we weten.

Technische Samenvatting: Geloofscontractie in Dynamische Epistemische Logica

Probleemstelling
Standaard Dynamische Epistemische Logica (DEL) modelleert verandering van geloof primair door de eliminatie van mogelijkheden (harde updates), wat effectief geloofsexpansie vangt, maar faalt in het modelleren van geloofscontractie met betrekking tot feitelijke proposities. Hoewel een populair alternatief Kripke-modellen verrijkt met plausibiliteitsordeningen om "zachte" updates te representeren (het promoten van mogelijkheden in plaats van het elimineren ervan), identificeert dit artikel twee kritieke expressieve beperkingen in het plausibiliteitskader:

Positieve Introspectie: Omdat plausibiliteitsordeningen transitief zijn, valideert het kader axioma 4 ( $Ba\phi \to BaBa\phi$ ), waardoor het niet in staat is om agenten te modelleren die een verkeerd beeld hebben van hun eigen overtuigingen.
Hedged Aankondigingen: Het kader kan geen geloofscontracties modelleren die voortkomen uit "hedged" (voorzichtige) publieke aankondigingen (bijv. " $\phi$ zou onwaar kunnen zijn"). Dergelijke aankondigingen zorgen intuïtief ervoor dat een agent zijn oordeel over $\phi$ opschort zonder noodzakelijkerwijs nieuwe feitelijke overtuigingen aan te nemen. Het artikel demonstreert via Stelling 3.2 dat geen enkele plausibiliteitsevenementmodel een model kan transformeren waar een agent $\neg p$ gelooft naar een model waar de agent zijn oordeel over $p$ opschort (noch $p$ , noch $\neg p$ gelovend is), terwijl de modale equivalentie behouden blijft.

Methodologie
De auteurs stellen een nieuw kader voor voor geloofscontractie dat direct wordt gedefinieerd op standaard multi-agent Kripke-modellen, zonder restricties (zoals transitiviteit of Euclidische eigenschappen) op te leggen aan de doxastische toegankelijkheidsrelaties.

Hedged Public Announcement Logic (HPAL): De kernmechanisme is een dynamische modaliteit $[\div \phi]$ , een voorzichtige publieke aankondiging dat $\phi$ onwaar zou kunnen zijn. De update-operatie, aangeduid als $M \div \phi$ , wijzigt de toegankelijkheidsrelaties $R_a$ als volgt:
- Als een agent $a$ $\phi$ gelooft in wereld $w$ ( $M, w \models Ba\phi$ ), wordt de verzameling toegankelijke werelden van de agent uitgebreid met alle werelden waar $\neg \phi$ geldt: $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$ .
- Als de agent $\phi$ niet gelooft, blijft de toegankelijkheidsrelatie ongewijzigd.
  Deze benadering behandelt contractie als een extensie van het model (het toevoegen van randen) in plaats van een restrictie (het verwijderen van werelden).
Generalized DEL (GDEL): Om complexere scenario's te faciliteren, zoals private of semi-private aankondigingen, introduceren de auteurs een gegeneraliseerd evenementmodel $E = (E, Q, Q^+, pre)$ . Dit breidt standaard evenementmodellen uit door een relatie $Q^+_a$ toe te voegen die evenementen representeert die door het evenement zelf als mogelijkheden worden geïntroduceerd, onderscheiden van $Q_a$ die mogelijkheden representeert die niet zijn uitgesloten. De gegeneraliseerde product-update $M \otimes E$ combineert standaard eliminatie (via $Q$ ) met de toevoeging van nieuwe mogelijkheden (via $Q^+$ ).

Kernbijdragen en Resultaten

Axiomatisering van HPAL: Het artikel biedt een sound en complete axiomatisering voor de logica van voorzichtige publieke aankondigingen (Tabel 1). Het systeem bevat reductie-axioma's die toelaten dat dynamische formules worden vertaald naar statische doxastische formules. Een cruciaal reductie-axioma (A5) karakteriseert het geloof na contractie: een agent gelooft $\psi$ na contractie op $\phi$ dan en slechts dan als de agent aanvankelijk niet $\phi$ geloofde en $\psi$ gelooft na de update, of als de agent $\phi$ geloofde en $\psi$ geldt in alle nieuw toegevoegde $\neg \phi$ -werelden.
Analyse van Preservatie en Succes:
- Preservatie: De auteurs definiëren een formule $\phi$ als gepreserveerd als $\phi \to [\div \neg \phi]\phi$ valide is. Ze tonen aan dat terwijl standaard publieke aankondigingen universele formules preserveren, voorzichtige aankondigingen existentiële formules preserveren (opgebouwd uit literalen, $\land$ , $\lor$ , en $eBa$).
- Succes: Een formule is succesvol als deze niet wordt geloofd na een voorzichtige aankondiging dat het onwaar zou kunnen zijn ( $[\div \phi]\neg Ba\phi$ ). Het artikel bewijst dat universele formules succesvol zijn. Daarentegen worden "Moorean" zinnen zoals $p \land Ba\neg p$ getoond als zelf-weerleggend en dus niet gepreserveerd.
AGM Postulaten: Het artikel evalueert standaard AGM-contractiepostulaten binnen deze dynamische setting.
- Valide: Closure, Extensionality en Consistency houden stand.
- Invalid: Success, Inclusion en Vacuity houden niet onbeperkt stand. Bijvoorbeeld, een agent kan nieuwe overtuigingen verwerven over het eigen gebrek aan geloof (wat Inclusion schendt) na een voorzichtige aankondiging.
- Sterke Vacuity: Een versterkte versie van Vacuity houdt stand: als geen enkele agent $\phi$ ergens in het model gelooft, heeft de contractie geen effect.
Generalized DEL (GDEL) en Simulatie: Het artikel stelt vast dat GDEL een conservatieve extensie is van standaard DEL. Een belangrijk theoretisch resultaat (Theorem 7.8) is dat elke gegeneraliseerde update een model produceert dat een simulatie is van een verfijning van het initiële model. Dit vangt formeel de duale natuur van de update: het kan mogelijkheden elimineren (verfijning) én mogelijkheden toevoegen (simulatie).
Expressieve Kracht: De auteurs demonstreren dat GDEL dynamieken kan modelleren die HPAL niet kan. Specifiek laten Voorbeeld 7.9 en Propositie 7.10 zien dat HPAL niet in staat is om een scenario te modelleren waarin een voorzichtige aankondiging een agent zijn oordeel over één propositie ( $p$ ) laat opschorten terwijl hij een specifieke overtuiging over een andere ( $q$ ) behoudt. GDEL overwint dit door $Q^+$ -relaties te gebruiken om selectief nieuwe mogelijkheden te introduceren die compatibel zijn met de achtergrondkennis van de agent.

Betekenis
Het artikel claimt een oplossing te bieden voor de expressieve beperkingen van plausibiliteitsgebaseerde benaderingen van geloofscontractie. Door contractie direct op standaard Kripke-modellen te definiëren, slaagt het kader erin om agenten te modelleren die geen positieve introspectie hebben en agenten die hun oordeel opschorten in reactie op voorzichtige aankondigingen. De auteurs positioneren hun werk als een natuurlijke uitbreiding van standaard DEL die informatieverlies (contractie) naast informatiewinst (expansie) accommodeert. Zij merken op dat hoewel hun kader plausibiliteitsdynamiek kan emuleren door randen toe te voegen, het afwijkt van de AGM-theorie doordat het de waarheidswaarden van epistemische formules tijdens contractie laat veranderen, een kenmerk dat inherent is aan dynamische settings maar afwezig is in statische AGM-modellen. Het werk laat de karakterisering van alle succesvolle formules in HPAL en de condities waaronder introspectie-eigenschappen in GDEL behouden blijven, als openstaande vragen.