🤖 AI

Intuitionistic $j$ -Do-Calculus in Topos Causal Models

Dit artikel generaliseert de do-calculus van Pearl naar een intuïtionistische setting binnen Topos Causale Modellen door de introductie van $j$ -do-calculus, een geldig regelsysteem dat causale interventies en conditionele onafhankelijkheden definieert als lokale waarheden die stabiel zijn onder een Lawvere-Tierney topologie $j$ en deze interpreteert via Kripke-Joyal semantiek.

Oorspronkelijke auteurs: Sridhar Mahadevan

Gepubliceerd 2026-07-28

📖 8 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Sridhar Mahadevan

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 voor dat je een detective bent die een mysterie probeert op te lossen, maar de aanwijzingen die je vindt, volledig afhangen van de kamer waarin je staat. In de ene kamer bewijst een vingerafdruk op het raam dat de verdachte is binnengekomen; in de volgende kamer is diezelfde vingerafdruk slechts een veeg van het schoonmaakteam. Dit is de kern van causale inferentie, een tak van de wetenschap die probeert uit te vogelen wat wat veroorzaakt, in plaats van alleen te kijken naar wat er toevallig samen gebeurt. Meestal gebruiken detectives een reeks logische regels (de zogenaamde do-calculus) om te vragen: "Wat zou er gebeuren als ik de verdachte dwing om binnen te komen?" door de gebruikelijke ketens van gebeurtenissen mentaal door te snijden. Maar deze regels gaan ervan uit dat je naar de hele wereld kijkt vanuit één enkel, perfect standpunt.

Het probleem is dat de echte wereld geen enkele kamer is; het is een gebouw met veel verschillende contexten, of "regimes". Een medische behandeling kan werken in een zonnig ziekenhuis, maar falen in een regenachtige kliniek. Een regel die werkt voor één groep mensen, kan breken voor een andere. Wetenschappers willen al lang een manier vinden om deze verschillende standpunten bij elkaar te voegen zonder de logica van de oorzaak-gevolgketen te verliezen. Ze hebben een systeem nodig dat kan zeggen: "Deze regel geldt in deze specifieke kamers, en omdat deze kamers het hele gebouw beslaan, geldt de regel ook voor het gebouw."

Dit is precies wat Sridhar Mahadevan's artikel, Intuitionistic j-Do-Calculus in Topos Causal Models, beoogt te doen. De auteur bouwt een nieuwe wiskundige "lijm" waarmee we de standaard regels van oorzaak en gevolg kunnen nemen en deze stuk voor stuk kunnen toepassen over verschillende omgevingen, om ze vervolgens weer aan elkaar te naaien tot één enkele, betrouwbare waarheid.

De gereedschapskist van de detective: Van een enkele kamer naar een hele stad

Om de magie van het artikel te begrijpen, moeten we eerst naar de instrumenten kijken die het gebruikt. Stel je een stad voor waar elke buurt zijn eigen wetten heeft. In het "Observatie-district" kun je alleen kijken naar wat er natuurlijk gebeurt. In het "Interventie-district" kun je rondgaan en fysiek dingen verplaatsen om te zien wat er verandert.

De oude manier van doen (de zogenaamde klassieke do-calculus) vereiste dat je één district koos en daar bleef. Als je wilde weten of een nieuw beleid een daling in criminaliteit veroorzaakte, moest je ervan uitgaan dat je gegevens afkomstig waren uit één enkele, consistente wereld. Maar wat als je gegevens een rommelige mix zijn? Wat als sommige gegevens afkomstig zijn van een tijd dat het regende, en andere van een tijd dat het zonnig was?

Het artikel introduceert een nieuw concept genaamd j-stabiliteit. Beschouw dit als een "vangnet" voor je logica. In plaats van te vragen: "Is deze regel overal waar?", vraagt het artikel: "Is deze regel waar op een specifieke set lokale kaarten die, wanneer ze bij elkaar worden gelegd, het hele gebied beslaan?"

Hier is hoe het nieuwe systeem van het artikel werkt, met behulp van een speelse metafoor:

1. De kaart van regimes (De Site)
Stel je voor dat de wereld een enorme puzzel is, maar in plaats van platte stukjes zijn het verschillende "regimes" of contexten. Eén stuk is "Observationele Data", een ander is "Experimentele Data", en een ander is "Data van een Specifiek Ziekenhuis". In de taal van het artikel worden dit stadia (stages) of kaarten (charts) genoemd. De auteur behandelt deze niet slechts als aparte stapels data, maar als een verbonden netwerk waar je van de ene context naar de andere kunt bewegen.

2. De lokale regels (Chartwise Semantics)
Op elk individueel puzzelstuk (elk regime) gebruikt de auteur de standaard, vertrouwde regels van oorzaak en gevolg. Als je in het "Observationele" stuk zit, gebruik je de standaardlogica om te zien of twee zaken onafhankelijk zijn. Als je in het "Interventie"-stuk zit, gebruik je de standaardlogica om te zien wat er gebeurt wanneer je een verandering afdwingt. Het artikel staat erop dat we geen nieuwe regels uitvinden voor deze lokale stukken; we gebruiken simpelweg de regels die we al vertrouwen.

3. De lijm (Sheaf Theory en Descent)
Dit is het meest creatieve deel. Het artikel vraagt: "Als een regel waar is op het 'Observationele' stuk EN het is waar op het 'Interventie'-stuk, en deze twee stukken overlappen op een manier die logisch is, kunnen we dan zeggen dat de regel waar is voor de hele puzzel?"

Het antwoord is ja, maar alleen als de stukken perfect in elkaar passen. De auteur gebruikt een wiskundig concept genaamd sheaf theory (denk aan een zeer strikte, hoogwaardige lijm) om ervoor te zorgen dat de lokale waarheden elkaar niet tegenspreken. Als de lokale waarheden het eens zijn over de overlappingen, staat de "lijm" toe dat ze neerdalen naar een enkele, globale waarheid. Dit wordt descent genoemd.

Wat het artikel daadwerkelijk vindt

Het artikel bewijst een local-to-global soundness theorem. In gewone mensentaal betekent dit:

Als je een causale regel (zoals "Variabele A veroorzaakt Variabele B") kunt verifiëren op een verzameling lokale kaarten (een J-cover) die samen jouw gehele situatie beslaan...
En als de manier waarop je tussen deze kaarten beweegt de causale structuur behoudt (zoals het behouden van dezelfde variabelen en regels)...
Dan ben je wiskundig gegarandeerd dat de regel waar is voor de gehele situatie, zelfs als je niet in één keer het hele plaatje kunt zien.

De auteur past dit toe op de drie beroemde regels van Pearl van de do-calculus. Deze regels vertellen ons wanneer we een actie (zoals een medicijn) kunnen vervangen door een observatie (zoals een symptoom) in onze vergelijkingen. Het artikel laat zien dat deze regels nog steeds werken in deze rommelige, multi-regime wereld, mits ze waar zijn op de lokale kaarten.

Wat het artikel expliciet verwerpt

Het is cruciaal om te weten wat dit artikel niet doet, want de auteur trekt heel zorgvuldig grenzen:

Het claimt niet alles op te lossen. Het artikel stelt expliciet dat het een "soundness"-theorema is, wat betekent dat het je vertelt wanneer je de regels veilig kunt gebruiken. Het claimt niet een "completeness"-theorema te zijn, wat zou betekenen dat het elk mogelijk causaal antwoord kan vinden. Er kunnen causale waarheden zijn die deze methode simpelweg niet kan bereiken.
Het zegt niet dat "Interventie" en "Conditionering" hetzelfde zijn. In sommige geavanceerde wiskunde proberen mensen "iets doen" en "iets observeren" als twee kanten van dezelfde munt te behandelen (met behulp van een concept genaamd Kan-extensies). Dit artikel verwerpt dat idee expliciet. Het beargumenteert dat interventie een fysieke vervanging van een mechanisme is (zoals het vervangen van een onderdeel in een machine), terwijl conditionering slechts het bekijken van een specifieke doorsnede van data is. Het zijn verschillende operaties, en het artikel weigert deze met elkaar te vermengen.
Het gaat er niet vanuit dat de wereld altijd "Boolean" (zwart-wit) is. In de standaardlogica is een bewering ofwel waar ofwel onwaar. In dit nieuwe kader kan een bewering "waar op een cover" zijn (waar in de lokale kaarten) zonder "globaal waar" te zijn in een eenvoudige, binaire zin. De logica is flexibeler, zoals een dimmer in plaats van een aan/uit-schakelaar.

De essentie: Een nieuwe manier om de wereld aan elkaar te naaien

Het artikel geeft je geen nieuw medicijn of een nieuw algoritme dat je nu direct op je computer kunt draaien. In plaats daarvan geeft het je een nieuw logisch kader voor hoe je over causale redenering moet denken wanneer de wereld complex en gefragmenteerd is.

Stel je voor dat je het weer probeert te voorspellen. Je hebt een lokale weersverwachting voor het strand, één voor de bergen en één voor de stad. Als de strandverwachting "zonnig" zegt en de bergenverwachting ook "zonnig" zegt, en ze overlappen op een manier die logisch is, dan kun je er met vertrouwen van uitgaan dat het "overal zonnig" is. Maar als het strand "zonnig" zegt en de bergen "regen", kun dan niet zomaar gokken.

Het artikel van Mahadevan biedt het rigoureuze wiskundige bewijs voor wanneer je die lokale weersverwachtingen mag samenvoegen tot een globale voorspelling. Het bewijst dat als de lokale regels van oorzaak en gevolg standhouden in elke specifieke context (de "kaarten"), en die contexten het hele plaatje beslaan, de causale conclusie geldig is voor het hele systeem.

De auteur merkt er zorgvuldig bij op dat dit een theoretische doorbraak is. Het artikel gaat ervan uit dat je de lokale kaarten en de covers al hebt; het vertelt je niet hoe je ze uit ruwe data moet halen (dat is een taak voor een begeleidend artikel). Maar voor iedereen die probeert AI- of machinelearningsystemen te bouwen die moeten redeneren over oorzaak en gevolg in verschillende omgevingen — zoals een zelfrijdende auto die zich anders gedraagt in de regen dan in de zon — biedt dit artikel de essentiële "lijm" om de logica bij elkaar te houden.

Kortom, het artikel zegt: "Je hebt geen enkelvoudig, perfect beeld van de wereld nodig om de waarheid te kennen. Als je genoeg lokale beelden hebt die in elkaar passen, zal de waarheid uit de lijm naar voren komen."

Technische Samenvatting: Intuïtionistische j-Do-Calculus in Topos Causale Modellen

Probleemstelling
Pearl's do-calculus biedt een volledig axioma-systeem voor interventionele identificatie in acyclische structurele causale modellen (SCM's) onder klassieke Booleaanse logica. Echter, standaard do-calculus gaat uit van een statische, globale context. In veel real-world scenario's variëren causale structuren en de beschikbaarheid van data over verschillende regimes, experimentele contexten of "stadia" (bijv. verschillende laboratoria, beleidsomgevingen of tijdperioden). Het artikel adresseert de uitdaging om causale inferentie te formaliseren in dergelijke regime-geïndexeerde settings waar causale beweringen lokaal kunnen gelden maar niet globaal, en waar de logica die deze beweringen beheerst intuïtionistisch is in plaats van klassiek. Het kernprobleem is het uitbreiden van do-calculus naar een setting waar causale modellen variëren over een site (een categorie van regimes) en waar de geldigheid van causale regels afhangt van het bestaan van een dekkende familie van lokale kaarten.

Methodologie
De auteurs ontwikkelen een scheef-waardige, regime-geïndexeerde semantiek voor Pearl's do-calculus binnen het kader van Topos Causale Modellen (TCM's). De methodologie verloopt via verschillende categorische en logische lagen:

Categorisch Kader: Causale modellen worden behandeld als objecten in een presheaf topos $\mathbf{Set}^{\mathcal{C}^{op}}$ over een kleine categorie $\mathcal{C}$ (de site van regimes). Een Grothendieck-topologie $J$ op $\mathcal{C}$ specificeert welke families van morfismen (kaarten) een "dekking" vormen, wat representatief is voor toegestane lokale inzichten van een regime.
Sheaf-Semantiek: De auteurs werken binnen de topos van sheaves $\mathbf{Sh}_J(\mathcal{C})$ . Een causale bewering wordt gedefinieerd als $J$ -stabiel (of $j$ -stabiel) op een stadium $U$ als deze geldt op een $J$ -dekking van $U$ in de zin van Kripke–Joyal semantiek. Dit betekent dat een uitspraak "waar" is op $U$ als deze geverifieerd kan worden op een familie van lokale kaarten die gezamenlijk $U$ dekken en compatibel zijn onder restrictie.
Interventie en Conditionering:
- Interventies worden gemodelleerd als structurele-mechanisme of stochastische kernel vervangingen (chirurgische operaties op de causale graaf), geformaliseerd via de Kleisli-categorie van een distributie-monade ( $\mathbf{Kl}(\mathbf{Dist})$ ).
- Conditionering wordt strikt gedefinieerd wanneer de vereiste eindige-discrete conditional een positieve normaliserende massa heeft (of via een compatibele disintegratie), geïmplementeerd als restrictie naar een comprehensie-subobject gevolgd door normalisatie.
- Het artikel verwerpt expliciet het identificeren van interventie en conditionering als een universeel paar van linker en rechter Kan-extensies, en benadrukt in plaats daarvan dat sheafification een reflectieve lokalisatie en descent is.
Logica: De interne logica van de topos is intuïtionistisch (Mitchell-Bénabou taal). De geldigheid van causale regels wordt bepaald door $J$ -forcing: een regel is van toepassing als de premissen (bijv. $d$ -separatie condities) gelden op een $J$ -dekking.

Belangrijkste Bijdragen
Het artikel levert vier primaire theoretische bijdragen:

Definitie van $J$ -Lokale $d$ -Separatie en Interventionele Gelijkheid: De auteurs definiëren $j$ -d-separatie ( $X \perp^j_U Y | Z$ ) als de conditie waarbij een conditionele onafhankelijkheid geldt op een $J$ -dekking van een stadium $U$ . Dit tilt het klassieke begrip van $d$ -separatie naar een lokaal-naar-globaal kader.
Compatibiliteitsveronderstellingen voor Sheaf Descent: Het artikel stelt expliciete aannames op waaronder chartwise SCM-semantiek een sheaf van causale modellen vormt. Specifiek moeten restrictie-afbeeldingen variabelen-signaturen, graaf-chirurgie (mutilaties), causale kernels en de conditionals die door de calculus worden gebruikt, behouden.
Lokaal-naar-Globaal Geldigheidsbewijs (Soundness Theorem): Het centrale resultaat is een soundness theorem voor regime-bewust causaal redeneren. Het bewijst dat als de drie regels van Pearl chartwise worden toegepast op een $J$ -dekking, en de resulterende interventionele kernels overeenkomen op overlappen, de gelijkheid naar het gedekte stadium $U$ afdaalt via de sheaf separatedness axiom. Dit levert $J$ -lokale vormen van Pearl's drie regels ( $J_1, J_2, J_3$ ) op zonder de oorspronkelijke gemutilerde-graaf premissen te wijzigen.
Conservativiteit en Reducties: Het framework demonstreert twee belangrijke reducties:
- De terminale site ( $C=1$ ) herstelt de gewone set-gebaseerde do-calculus.
- De triviale Grothendieck-topologie herstelt presheaf-semantiek (stagewise logica), hoewel de interne logica van een algemene presheaf topos niet noodzakelijkerwijs Booleaans hoeft te zijn.

Resultaten en Afleidingen
Het artikel biedt uitgewerkte afleidingen die illustreren hoe de drie regels van do-calculus vertalen naar interne gelijkheden binnen een TCM:

Regel 1 (Observeren Invoegen/Verwijderen): Als $Y \perp Z | X, W$ in de gemutilerde graaf $G_{\bar{X}}$ op een $J$ -dekking, dan geldt $P(Y | do(X), Z, W) = P(Y | do(X), W)$ intern.
Regel 2 (Actie/Observatie Uitwisseling): Als $Y \perp Z | X, W$ in $G_{\bar{X}, \underline{Z}}$ op een $J$ -dekking, dan is interveniëren op $Z$ equivalent aan het observeren van $Z$ .
Regel 3 (Acties Invoegen/Verwijderen): Als $Y \perp Z | X, W$ in $G_{\bar{X}, \underline{Z(W)}}$ op een $J$ -dekking, dan is $do(Z)$ irrelevant.

De auteurs illustreren deze concepten met eenvoudige DAG's (Earthquake/Burglary en Pollution/Smoker/Cancer), waarbij zij laten zien hoe een conditionele onafhankelijkheid die globaal faalt (bijv. conditioneren op een collider) $J$ -stabiel kan worden als de dekking een interventionele kaart bevat die de inkomende randen van de collider doorsnijdt.

Betekenis en Claims
Het artikel positioneert zich als een conceptueel werk dat de logische fundamenten legt voor causale inferentie in variërende regimes.

Omvang: Het neemt aan dat de theoretische objecten (stadia, dekkingen, interne distributies) gegeven zijn. Het biedt geen algoritmen voor de data-gedreven constructie van deze objecten, en merkt op dat dit wordt behandeld in aanvullend werk.
Soundness vs. Compleetheid: De auteurs stellen expliciet dat zij geen claim maken voor de compleetheid van de resulterende regime-geïndexeerde calculus. De bijdrage is een soundness theorem: geldige lokale redenering plakt samen met geldige globale redenering onder specifieke compatibiliteitsvoorwaarden.
Categorische Onderscheid: Het werk verheldert de categorische rol van sheafification (descent) versus Kan-extensies. Het betoogt dat hoewel conditionele verwachting een rechter Kan-extensie interpretatie heeft, causale interventie fundamenteel een mechanisme-vervanging is, en dat er geen universele linker/rechter Kan-dualiteit bestaat zonder verdere geïndexeerde structuur.
Extensie naar Exchangeability: Het artikel breidt het framework kort uit naar exchangeable j-stable causality, waarbij laat zien hoe $j$ -stabiliteit interacteert met permutatie-invariantie, waarbij "do-Finetti" principes intern worden hersteld wanneer de topologie invariant is onder groep-acties.

Samenvattend biedt het artikel een rigoureuze, sheaf-theoretische generalisatie van Pearl's do-calculus, die het mogelijk maakt om causaal te redeneren dat stabiel is over regimes en compatibel is met intuïtionistische logica, terwijl de grenzen tussen lokale verificatie en globale waarheid strikt worden afgebakend.

De gereedschapskist van de detective: Van een enkele kamer naar een hele stad

Wat het artikel daadwerkelijk vindt

Wat het artikel expliciet verwerpt

De essentie: Een nieuwe manier om de wereld aan elkaar te naaien

Meer zoals dit