An Abstract Worlds Semantic Framework for Belief Change Operators

Technische Samenvatting: Een Abstracte Werelden Semantisch Raamwerk voor Geloofswijzigingsoperatoren

Probleemstelling
De theorie van geloofswijziging (belief change), geworteld in het baanbrekende AGM-raamwerk (Alchourrón et al., 1985), is historisch gezien gekoppeld aan specifieke logische syntaxes, met name de Klassieke Propositielogica (KPL). Hoewel latere raamwerken zoals Katsuno-Mendelzon (KM) en Multiple Change de reikwijdte hebben uitgebreid, blijven de meeste operatoren structureel gebonden aan hun onderliggende logica. Deze afhankelijkheid belemmert de vergelijking tussen raamwerken en de adaptatie van operatoren naar niet-klassieke logica. Bovendien leunen bestaande studies naar niet-klassieke logica vaak uitsluitend op klassieke AGM-operatoren, waarbij zij er niet in slagen de diversiteit van niet-geprioriteerde operatoren (bijv. shielded contraction, credibility-limited revision, filtered revision en moderated revision) te verklaren. Er is behoefte aan een verenigd, syntaxis-onafhankelijk semantisch raamwerk dat deze diverse operatoren kan systematiseren en de theorie van geloofswijziging kan generaliseren voor voorbij AGM-conforme logica.

Methodologie
De auteurs introduceren Abstract Worlds Semantics (AWS), een verzamelingstheoretisch raamwerk waarin "werelden" worden behandeld als primitieve elementen van een willekeurige indexverzameling $I$, onafhankelijk van een specifieke logische syntaxis. Deze benadering generaliseert Grove's possible world semantics (1988) door gebruik te maken van de algebra van verzamelingen $(\mathcal{P}(I), \cap, \cup, ^c, \subseteq)$ als de fundamentele structuur.

De methodologie verloopt in drie hoofdfasen:

1. Semantische Definitie van Bewegingen: Het raamwerk definieert geloofswijziging niet als een enkele operator, maar als een verzameling "bewegingen" (Expansie, Contractie, Revisie, Geen Verandering en Moderatie) gebaseerd op de intersectie en inclusie van verzamelingen die kennis ($A$) en nieuwe informatie ($B$) representeren.
2. Operatorconstructie via Selectiefuncties: De auteurs definiëren elementaire wereld-operatoren (contraction $-_w$ en revision $*_w$) met behulp van wereld-selectiefuncties $\sigma$. Ze introduceren een nieuwe familie van veelzijdige operatoren ($\circ_w$) die deze elementaire operatoren verenigen. Veelzijdige operatoren worden gedefinieerd door twee selectiefuncties, $\sigma$ en $\rho$, waardoor ze het volledige spectrum van bewegingen kunnen dekken, inclus[ief] de "Moderation"-beweging die tussen contractie en revisie in ligt.
3. Translatie naar Tarskische Logica: Om het abstracte semantische raamwerk te verbinden met concrete logische systemen, passen de auteurs Suszko's Reductie en Galois-verbindingen toe. Ze mappen het AWS-raamwerk op Tarskische logica (logica's gedefinieerd door een consequentie-operator die voldoet aan inclusie, monotonie en idempotentie). Dit omvat het estabeleceren van een bijectie tussen geloofssets (gesloten verzamelingen van formules) en gesloten verzamelingen van evaluaties, waardoor de translatie van wereld-gebaseerde postulaten naar geloofsset-postulaten mogelijk wordt.

Kernbijdragen

• De Veelzijdige Operatorfamilie: Het artikel definieert elementaire wereld veelzijdige operatoren als een verenigende klasse die klassieke contractie, revisie en niet-geprioriteerde operatoren omvat. Deze operatoren voldoen aan een reeks postulaten waardoor ze kunnen fungeren als expansies, revisies, contracties of gemodereerde wijzigingen, afhankelijk van de input.
• Systematisering van Niet-Geprioriteerde Operatoren: Het raamwerk biedt een homogene account van niet-geprioriteerde operatoren (shielded contraction, credibility-limited revision, filtered revision en moderated revision) door ze te karakteriseren als subfamilies van veelzijdige operatoren. Dit wordt bereikt door geloofwaardige (credible) en twijfelachtige (questionable) relaties ($\prec_w, \succ_w$) te definiëren die afgeleid zijn van het gedrag van de operator, in plaats van te vertrouwen op externe verzamelingen formules.
• Generalisatie naar Tarskische Logica: De auteurs demonstreren dat AWS niet beperkt is tot KPL. Door gebruik te maken van Tarskische representatiesen laten zij zien hoe geloofswijzigingsoperatoren kunnen worden gedefinieerd voor elke Tarskische logica, inclusief die welke niet AGM-conform zijn (dat wil zeggen, waar het recovery-postulaat kan falen).
• Verenigde Representatietheorema's: Het artikel stelt representatietheorema's vast die aantonen dat:
  • Elementaire wereld-contractie en -revisie dualen zijn die geconstrueerd worden door dezelfde selectiefunctie.
  • Veelzijdige operatoren geconstrueerd kunnen worden uit paren selectiefuncties of paren geassocieerde contractie/revisie-operatoren.
  • In T1 Tarskische logica's (die KPL omvatten) zijn klassieke constructies (choice remainders en package openings) isomorf aan constructies gebaseerd op klassieke wereld-selectiefuncties.

Resultaten

• Unificatie van Raamwerken: Het AWS-raamwerk slaagt erin de AGM, KM en Multiple Change raamwerken te herstellen wanneer deze worden beperkt tot geloofssets in de Klassieke Propositielogica.
• Dualiteit en Levi/Harper Identiteiten: Het artikel heronderzoekt de Levi en Harper identiteiten binnen de veelzijdige context. Het toont aan dat hoewel elementaire contractie en revisie extreme posities zijn, veelzijdige operatoren de intermediaire ruimte innemen, waarmee de dualiteit tussen contractie en revisie effectief wordt gegeneraliseerd.
• Karakterisering van Niet-Geprioriteerde Operatoren:
  • Shielded Contraction wordt getoond als een subfamilie van veelzijdige operatoren waarbij de "questionable" relatie triviaal is.
  • Credibility-Limited (CL) Revision en Filtered Revision worden gekarakteriseerd door specifieke verstrengelingseigenschappen tussen de geloofwaardige en twijfelachtige relaties.
  • Moderated Revision wordt gedefinieerd als een veelzijdige operator die voldoet aan specifieke consistentie- en vacuiteitspostulaten.
• AGM-Conformiteit Analyse: Het artikel identificeert T1 Tarskische logica's (logica's met topologische en complete representaties) als de klasse van logica's die AGM-conform zijn. Het bewijst dat in deze logica's de standaard AGM-constructies (remainders) direct corresponderen met wereld-selectiefuncties, terwijl in niet-AGM-conforme logica's veelzijdige operatoren nog steeds axiomatisch gedefinieerd kunnen worden zonder de vereiste van het recovery-postulaat.

Betekenis en Claims
De auteurs claimen dat AWS een zuiver semantische fundering biedt voor geloofswijziging die de theorie loskoppelt van specifieke logische syntaxis. Door werelden als primitieve elementen te behandelen, vereenvoudigt het raamwerk de theorie van geloofswijziging over geloofssets en generaliseert het deze.

De betekenis van het werk ligt in het vermogen om:

1. Te systematiseren: Disparate geloofswijzigingsraamwerken en operatoren onder één abstracte constructie te brengen.
2. Te generaliseren: De theorie van geloofswijziging uit te breiden naar niet-AGM-conforme logica's, en een formeel verband te leggen tussen semantische structuren en Tarskische logica.
3. Te herinterpreteren: De dualiteit tussen contractie en revisie, waarbij wordt aangetoond hoe niet-geprioriteerde operatoren passen in het bredere landschap van geloofswijziging.
4. Te standaardiseren: Concepten zoals geloofwaardigheid (credibility) en twijfelachtigheid (questionability) als relaties inherent aan het gedrag van de operator te definiëren, in plaats van als externe beperkingen.

Het artikel concludeert dat AWS een fundament legt voor een onderzoeksprogramma in plaats van een enkel formeel resultaat, en een systematisch translatiemechanisme biedt dat toegepast kan worden op toekomstige analyses van niet-klassieke logica's (bijv. modale, paraconsistente, beschrijvingslogica's) en andere operatoren (bijv. update, erase), hoewel deze specifieke toepassingen aan toekomstig werk worden overgelaten.