🤖 AI

Interval Orders, Biorders and Credibility-limited Belief Revision

Dit artikel introduceert en axiomatisch karakteriseert nieuwe families van geloofsrevisie-operatoren gebaseerd op intervalordes en biordes, en toont aan hoe laatstgenoemden dissonantie kunnen modelleren en leiden tot revisiestrategieën met beperkingen op geloofwaardigheid waarbij agenten aanvankelijk inconsistente informatie kunnen afwijzen maar deze na nadere toelichting kunnen accepteren.

Oorspronkelijke auteurs: Richard Booth, Ivan Varzinczak

Gepubliceerd 2026-05-01

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Richard Booth, Ivan Varzinczak

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

Het Grote Geheel: Het Bijwerken van Je Overtuigingen

Stel je voor dat je geest een bibliotheek is met boeken (je overtuigingen). Elke dag krijg je nieuwe informatie (een nieuw boek) die je aan de bibliotheek wilt toevoegen.

Op de standaard, "perfecte" manier om dit te doen (genaamd AGM-revisie), wordt ervan uitgegaan dat je een robot bent die:

Altijd het nieuwe boek direct accepteert (Succes).
Nooit toestaat dat de bibliotheek een puinhoop wordt waar twee boeken elkaar tegenspreken (Consistentie).

Als het nieuwe boek zegt "De lucht is groen" en je bibliotheek zegt "De lucht is blauw", gooit de robot het oude "blauwe" boek direct weg om ruimte te maken voor het nieuwe. Het twijfelt nooit en eindigt nooit met een kapotte bibliotheek.

Dit artikel betoogt dat echte mensen geen robots zijn. Soms is nieuwe informatie zo vreemd of schokkend dat we het niet blindelings moeten accepteren. Soms kan het accepteren ervan je hele wereldbeeld breken. De auteurs onderzoeken wat er gebeurt als we de regels van "altijd accepteren" en "altijd consistent blijven" versoepelen.

De Hulpmiddelen: Het Rangschikken van Je Wereld

Om te beslissen welke boeken we bewaren en welke we weggooien, hebben we een manier nodig om te rangschikken hoe "plausibel" verschillende scenario's zijn.

De Oude Manier (Totale Preordeningen): Stel je een enkele, rechte ladder voor. Elke mogelijke wereld staat op een sport. Als Wereld A hoger staat dan Wereld B, is A beter. Dit is de standaard AGM-aanpak.
De Nieuwe Manier 1: Intervalordeningen (De "Reeks" Analogie):
In plaats van een enkele sport, stel je voor dat elk scenario een reeks heeft (zoals een temperatuurreeks).
- Scenario A: "Het is tussen de 15°C en 21°C."
- Scenario B: "Het is tussen de 18°C en 24°C."
- Scenario C: "Het is tussen de 27°C en 32°C."
Hier overlappen A en B, dus ze zijn "dichtbij" in plausibiliteit. Maar C is duidelijk heter. Dit staat meer nuance toe dan een enkele ladder. Het artikel toont aan hoe je deze "reeksen" kunt gebruiken om overtuigingen bij te werken.
De Nieuwe Manier 2: Biordeningen (De "Negatieve Ruimte" Analogie):
Dit is de belangrijkste innovatie van het artikel. Stel je voor dat sommige scenario's zo vreemd zijn dat hun "reeks" een negatieve lengte heeft.
- Normaal Scenario: "Het is tussen de 15°C en 21°C" (Lengte = 6).
- Dissonant Scenario: "Het is tussen de 21°C en 15°C" (Lengte = -6).
Een "negatieve lengte" betekent niet dat de temperatuur koud is; het betekent dat het scenario onstabiel of dissonant is. Het is een wereld die voor het subject "fout" of "onmogelijk" aanvoelt. Als je probeert je overtuigingen in deze negatieve ruimte te dwingen, kan je bibliotheek instorten.

Het Probleem: Wanneer Nieuwe Informatie Alles Breekt

De auteurs tonen aan dat als je deze "Biordeningen" (met negatieve lengtes) gebruikt om je overtuigingen bij te werken, je op een probleem stuit: Consistentie breekt.

Het Scenario: Je gelooft "Mijn neefje is 5 jaar oud."
De Nieuwe Informatie: "Mijn neefje heeft vandaag lunch gehad met Koning Charles."
Het Resultaat: In het "Biordening"-model kan deze nieuwe informatie je overtuigingen in een zone met "negatieve lengte" duwen. Het resultaat is een set overtuigingen die logisch kapot is (inconsistent).

Het artikel noemt deze "Desabiliserende Zinnen." Het zijn invoeren die, als ze worden geaccepteerd, het overtuigingsstelsel van het subject doen crashen.

De Oplossing: De "Geloofwaardigheidsfilter"

Omdat we niet altijd consistentie kunnen garanderen met deze nieuwe, geavanceerde hulpmiddelen, stellen de auteurs een veiligheidsklep voor: Niet-geprioriteerde Revisie.

In plaats van het nieuwe boek blindelings te accepteren, heeft het subject een Geloofwaardigheidsfilter.

Als de nieuwe informatie "Geloofwaardig" is (het past binnen de veilige, positieve reeksen), accepteert het subject het en wordt de bibliotheek bijgewerkt.
Als de nieuwe informatie "Ongeloofwaardig" is (het landt in de negatieve, dissonante zone), verwerpt het subject het volledig en blijft de oude bibliotheek exact zoals hij was.

De Ruil:

Oude Regel: Accepteer altijd nieuwe informatie (Succes), zelfs als het consistentie breekt.
Nieuwe Regel: Houd altijd consistentie, zelfs als dat betekent dat je nieuwe informatie verwerpt.

De "Context" Twist

Het artikel maakt een zeer interessant punt over waarom we iets zouden kunnen verwerpen.

Stel je voor dat je hoort: "Mijn 5-jarige neefje heeft lunch gehad met Koning Charles."

Reactie: "Dat is onmogelijk! Ik verwerp het." (Het is ongeloofwaardig).

Maar dan hoor je een vervolg: "Koning Charles heeft vandaag een lokale school bezocht."

Reactie: "Oh! Nu geloof ik het. De neef was op de school."

Het artikel betoogt dat de eerste zin niet "onwaar" was; het was gewoon op zichzelf ongeloofwaardig. Het had context (de tweede zin) nodig om geloofwaardig te worden.

De meeste eerdere theorieën zeiden: "Als je een zin verwerpt, verwerp je hem voor altijd."
Dit artikel zegt: "Je kunt een zin vandaag verwerpen, maar als iemand je morgen een betere uitleg geeft, kun je hem accepteren."

Ze noemen dit Geloofwaardigheids-beperkte Revisie. Het is als een portier bij een club:

Als je alleen binnenkomt (de zin), word je geweigerd.
Als je binnenkomt met een VIP-vriend (de context/uitleg), laat de portier je binnen.

Samenvatting van de Claims van de Auteurs

We kunnen "vreemde" overtuigingen modelleren: Door "Biordeningen" te gebruiken (die negatieve intervallen toestaan), kunnen we wiskundig overtuigingen voorstellen die "onstabiel" of "dissonant" aanvoelen.
Consistentie is niet gegarandeerd: Als je deze modellen gebruikt om overtuigingen bij te werken, kun je eindigen met een gebroken, inconsistent stel overtuigingen.
De Oplossing is Verwerping: Om dit op te lossen, kunnen we een systeem creëren waarbij het subject nieuwe informatie die een crash zou veroorzaken, simpelweg negeert (verwerpt).
Context is Belangrijk: Dit systeem staat toe dat een zin aanvankelijk wordt verworpen maar later wordt geaccepteerd als er meer context wordt geboden. Dit breekt de oude regel dat "als je A gelooft, je ook A gecombineerd met alles anders moet geloven."

Kortom: Het artikel biedt een wiskundige toolkit voor subjecten die slim genoeg zijn om te zeggen: "Wacht, dat klinkt nu te gek om waar te zijn," maar ook slim genoeg zijn om te zeggen: "Oh, nu je de context uitlegt, geloof ik het."

1. Probleemstelling

Het artikel adresseert beperkingen in het standaard AGM (Alchourrón, Gärdenfors en Makinson) geloofsrevisie-kader. De AGM-benadering vertrouwt op totale preordes over mogelijke werelden om de overtuigingen van een agent te modelleren. Dit kader dwingt twee kernpostulaten af:

Succes: De nieuwe informatie wordt altijd geaccepteerd.
Consistentie: Het resulterende geloofssysteem is altijd consistent (op voorwaarde dat de invoer consistent is).

De auteurs betogen dat deze postulaten te geïdealiseerd zijn voor realistische agenten. Realistische agenten kunnen informatie tegenkomen die ontregelend is (wat leidt tot een instorting van huidige overtuigingen) of ongeloofwaardig is (initieel afgewezen maar potentieel acceptabel met verdere context). Het artikel beoogt geloofsrevisie-operatoren te verkennen die gebaseerd zijn op meer algemene ordeningsstructuren die toelaten voor:

Instabiliteit/Dissonantie: Scenario's waarin het accepteren van nieuwe informatie leidt tot een lege verzameling van optimale modellen (inconsistentie).
Niet-geprioriteerde Revisie: Scenario's waarin de agent nieuwe informatie afwijst om consistentie te behouden, of waarin het "Succes"-postulaat wordt verlaten.

2. Methodologie

De auteurs generaliseren de onderliggende semantische structuur van geloofsrevisie van totale preordes naar twee bredere klassen van ordeningen die worden bestudeerd in de theorie van rationele keuzes: Intervalordes en Biordes.

A. Intervalordes (IOB)

Definitie: Een binaire relatie die voldoet aan reflexiviteit en de Ferrers-voorwaarde.
Semantiek: Vertegenwoordigd door een Op Intervallen Gebaseerde Interpretatie $\mathcal{I} = \langle L, U \rangle$ , waarbij elke wereld $v$ wordt toegewezen een interval $[L(v), U(v)]$ van niet-negatieve gehele getallen.
Revisieregel: Een wereld $v$ wordt verkiest boven $u$ als $L(v) \leq U(u)$ .
Gedrag: Deze operatoren voldoen aan het Succes-postulaat maar falen voor Vacuïteit en Subexpansie (standaard AGM-postulaten) in het algemeen. Ze behouden Consistentie.

B. Biordes (BOB)

Definitie: Een generalisatie van intervalordes die voldoet aan de Ferrers-voorwaarde maar geen reflexiviteit vereist.
Semantiek: Vertegenwoordigd door een Op Biordes Gebaseerde Interpretatie $\mathcal{B} = \langle L, U \rangle$ $B = ⟨ L, U ⟩$ . Cruciaal is dat de interval lengte $U(v) - L(v)$ $U (v) - L (v)$ negatief kan zijn.
- Een negatief interval ( $U(v) < L(v)$ ) duidt een dissonante waardering aan, wat een vorm van "onmogelijkheid" of instabiliteit vertegenwoordigt.
Revisieregel: $v \preceq_{bi} u$ dan en slechts dan als $L(v) \leq U(u)$ .
Gedrag: Deze operatoren voldoen aan Succes maar schenden Consistentie. Als de nieuwe informatie $\alpha$ "ontregelend" is (d.w.z. de optimale verzameling modellen voor $\alpha$ is leeg omdat alle modellen van $\alpha$ dissonant zijn), levert de revisie een inconsistent (leeg) geloofssysteem op.

C. Subklassen en Transitiviteit

De auteurs definiëren twee subklassen van biordes om sterkere structurele eigenschappen op te leggen:

ZTBOB (z-transitief): Voldoet aan een verzwakte vorm van transitiviteit die dissonante elementen betreft. Dit zorgt voor Consistente Voorzichtig Monotonie.
TBOB (Transitief): Voldoet aan volledige transitiviteit. Dit herstelt het Subexpansie-postulaat (een belangrijk AGM-supplementair postulaat) maar staat nog steeds inconsistentie toe.

D. Niet-geprioriteerde Revisie (NPR)

Om het inconsistentieprobleem in op biordes gebaseerde revisie aan te pakken, definiëren de auteurs Niet-geprioriteerde Revisie-operatoren ( $\circ$ ).

Mechanisme: Als een op biordes gebaseerde revisie ( $\bullet$ ) van $\alpha$ resulteert in een inconsistent verzameling, wijst de NPR-operator de invoer af en retourneert het oorspronkelijke geloofssysteem $KB$.
Geloofwaardigheid: Een invoer $\alpha$ wordt geloofwaardig geacht als $KB \bullet \alpha$ consistent is; anders is het ongeloofwaardig.
Link naar Geloofwaardigheidsbeperkte Revisie (CLR): De auteurs koppelen deze NPR-operatoren aan het kader van Geloofwaardigheidsbeperkte Revisie (Hansson et al.), maar met een cruciale wijziging: ze verwerpen de Eigenschap van Sluiting voor Enkele Zinnen.
- Standaard CLR: Als $\alpha$ geloofwaardig is, is elke logische consequentie geloofwaardig.
- Voorgestelde CLR: Een agent kan $\alpha$ initieel afwijzen maar $\alpha \land \beta$ accepteren als $\beta$ de nodige context biedt (bijvoorbeeld: "Koning Karel bezocht een school" maakt "Nefie had lunch met Koning Karel" geloofwaardig).

3. Belangrijkste Bijdragen

Extensie van Revisiesemantiek:
- Introductie van Op Intervalordes Gebaseerde (IOB) revisie, waarmee het beeld wordt voltooid dat Rott (2014) startte voor contractie.
- Introductie van Op Biordes Gebaseerde (BOB) revisie, waarbij negatieve interval lengten worden gebruikt om "dissonantie" en instabiliteit te modelleren, een concept dat eerder niet was onderzocht in geloofsrevisie.
Axiomatische Karakterisering:
- Verschaffing van representatietheorema's voor IOB-, ZTBOB- en TBOB-operatoren.
- Identificatie dat TBOB-operatoren voldoen aan alle AGM-postulaten behalve Consistentie, plus Disjunctieve Rationaliteit.
- Karakterisering van de resulterende NPR-operatoren (BOB-NPR, ZTBOB-NPR, TBOB-NPR) met behulp van een set postulaten waaronder Relatief Succes (Succes of geen verandering) en gemodificeerde Disjunctieve Rationaliteit.
Geloofwaardigheidsbeperkte Revisie met Contextuele Sluiting:
- Formulering van NPR-operatoren als Geloofwaardigheidsbeperkte Revisie-operatoren.
- Voorstellen van een versoepeling van de Sluiting voor Enkele Zinnen-voorwaarde (vervangen door een zwakkere sluiting voor disjuncties). Dit maakt contextafhankelijke geloofwaardigheid mogelijk, waarbij een zin wordt afgewezen in isolatie maar wordt geaccepteerd wanneer deze wordt gecombineerd met verklarende context.
Omgaan met Ontregelende Invoer:
- Definitie van Ontregelende, Onverzoenbare en Precaire zinnen.
- Demonstratie dat biordes scenario's kunnen modelleren waarin een agent de "onderhoudsmodus" ingaat (invoer afwijzen) totdat verdere uitleg de geloofsstaat stabiliseert.

4. Resultaten

Stelling 1-3: Vaststelling van de correspondentie tussen Totale Preordes, Intervalordes en Biordes en hun respectieve revisie-operatoren.
Stelling 4 & 5: Aantonen dat ZTBOB- en TBOB-operatoren voldoen aan specifieke versterkte sets van postulaten (bijv. TBOB voldoet aan Subexpansie).
Stelling 6-8: Verschaffing van axiomatische karakterisering voor de niet-geprioriteerde versies van deze operatoren, met introductie van postulaten zoals P12+ (als een disjunctie geloofwaardig is en één disjunct niet, dan is het resultaat equivalent aan revisie met alleen de geloofwaardige disjunct).
Stelling 9 & 10: Bewijs dat ZTBOB-NPR- en TBOB-NPR-operatoren equivalent zijn aan Geloofwaardigheidsbeperkte Revisie-operatoren waarbij de onderliggende revisie gebaseerd is op respectievelijk Intervalordes en AGM (Totale Preordes).
Tegenvoorbeelden: Demonstratie dat standaard AGM-postulaten zoals Vacuïteit en Subexpansie falen voor algemene biordes, en dat Consistentie faalt voor BOB-revisie tenzij invoer wordt gefilterd.

5. Betekenis

Realisme in AI: Het artikel brengt geloofsrevisie dichter bij realistisch agentengedrag door instabiliteit en voorwaardelijke acceptatie van informatie toe te staan. Het modelleert het cognitieve proces van het afwijzen van informatie die "te mooi om waar te zijn" of "te vreemd" is totdat deze wordt gecontextualiseerd.
Theoretische Nieuwheid: Het overbrugt de kloof tussen Theorie van Rationele Keuzes (specifiek biordes en intervalordes) en Geloofsrevisie, en introduceert concepten zoals "negatieve intervallen" en "dissonantie" in de logica van geloofsverandering.
Flexibiliteit: Door de Sluiting voor Enkele Zinnen-voorwaarde te versoepelen, ondersteunt het kader meer genuanceerd redeneren waarbij de geloofwaardigheid van een stelling afhangt van zijn conjunctie met andere stellingen (context), en niet alleen van zijn logische vorm.
Toekomstige Richtingen: Het werk opent wegen voor het bestuderen van geïtereerde revisie met biordes, defeasible redeneren en normatief redeneren, wat suggereert dat de extra structuur in biordes (boven wat nodig is voor een enkele revisiestap) cruciaal kan zijn voor het behandelen van reeksen updates.

Samenvattend stelt het artikel een robuust theoretisch kader voor waarin geloofsrevisie geen blinde acceptatie van waarheid is, maar een selectief proces dat wordt beheerst door de structurele eigenschappen van de geloofsordening van de agent, en dat in staat is om instabiliteit en contextafhankelijke geloofwaardigheid te hanteren.