Technische Samenvatting: PROMETHEUS – Automatisering van Diep Causaal Onderzoek

Probleemstelling

Grote Taalmodellen (LLM's) hebben de capaciteit aangetoond om wetenschappelijke literatuur te samenvatten, lokale causale claims te extraheren en relevante passages op te halen. Voor diep onderzoek zijn deze capaciteiten echter onvoldoende. Vlakke samenvattingen en geaggregeerde causale grafieken falen in het vastleggen van de localiteit, regimespecificiteit en evidentiële grenzen van wetenschappelijke kennis. Een onderzoeker moet vaak niet alleen weten wat een claim is, maar ook waar deze geldt (bijvoorbeeld specifieke populaties, tijdsvensters of meetprotocollen), waar deze in conflict raakt met andere claims, en hoe de ondersteuning varieert binnen een corpus. Bestaande benaderingen brengen vaak heterogene bewijslast samen in één universele grafiek of een generiek antwoord, waardoor de "drift", "contradictie" en "ondeterminatie" worden verduisterd die cruciale signalen zijn in wetenschappelijk onderzoek.

Methodologie: Het Topos-Wereldmodel

PROMETHEUS herformuleert causaal onderzoek als de constructie van een Topos-Wereldmodel: een schuif-achtige familie van lokale causale voorspellende-staatmodellen, geïndexeerd over een expliciete overdekking van een onderzoeks-substraat.

Kernarchitectuur

Het systeem opereert als een pijplijn die opgehaalde literatuur, dossiers, rapporten en brondata omzet in een navigeerbare Causale Atlas:

1. Extractie en Normalisatie (Overgenomen van DEMOCRITUS):

   • Het systeem haalt documenten op en extrahert causale gebeurtenissen, episodes en relationele triples (onderwerp-relatie-object).
   • Deze worden genormaliseerd tot gestructureerde cSQL-achtige rijen met oorzaak, gevolg, modificatoren, polariteit en herkomst.
   • In tegenstelling tot eerdere iteraties die deze als terminale grafranden behandelden, behandelt PROMETHEUS ze als observaties voor lokale modellen.

2. Contextualisatie en Overdekkingconstructie:

   • Geëxtraheerde claims worden toegewezen aan lokale contexten (bijvoorbeeld specifieke soorten, boekjaren, productgebruiksfases of agentrollen).
   • Er wordt een overdekking geconstrueerd, waarbij elke context $U$ een regio voorstelt waarin claims verwachte vergelijkbare semantiek hebben.

3. Lokale Voorspellende-Staat Representatie (PSR):

   • Voor elke context $U$ construeert het systeem een Lokaal Causaal Voorspellende-Staat Representatie.
   • In plaats van een latent variabelenmodel, maakt het gebruik van een waarneembaar-voorspellingsbenadering. Een staat wordt gedefinieerd door een tabel $M_U[h, \tau]$ die de voorspellende waarschijnlijkheid (of ondersteuningsscore) van een toekomstige test $\tau$ weergeeft, gegeven een geschiedenis $h$.
   • Geschiedenissen zijn sequenties van causale gebeurtenissen; tests zijn causale voortzettingen (bijvoorbeeld "thermische stress $\to$ verandering in larvale overleving").
   • Deze tabellen worden gevuld met ondersteuningsaantallen, onzekerheidsschattingen en herkomstkoppelingen.

4. Schuif-theoretische Organisatie:

   • Restrictie-afbeeldingen: Wanneer contexten overlappen, aligneren restrictie-afbeeldingen gedeelde geschiedenissen, tests en claims. Het systeem berekent discrepanties (gaten) tussen overlappende lokale modellen.
   • Verbindingsdiagnostiek: Het systeem evalueert of lokale secties kunnen "vervloeien" tot een coherent globaal segment.
     • Compatibele overlappingen: Lokale modellen komen overeen; ze kunnen worden geaggregeerd.
     • Spanningsvolle/Geblokkeerde overlappingen: Modellen zijn het oneens vanwege drift, regiegrenzen of contradicties. Deze worden niet weggegemiddeld, maar vastgelegd als expliciete diagnostische signalen (bijvoorbeeld "contradictie", "regime-afhankelijkheid" of "ondeterminatie").
   • Persistente Staat: De resulterende atlas is een cumulatief artefact. Nieuwe runs kunnen worden vergeleken met eerdere staten om drift te detecteren of verbindings-spanningen te repareren.

5. Gegrondde Contrafactuelen:

   • Wanneer een paper brondata, code of simulatie-outputs biedt, kan PROMETHEUS een symbolische interventie koppelen aan een extern wetenschappelijk substraat.
   • Het voert de interventie uit (bijvoorbeeld het wijzigen van een dwingende parameter in een hydrologisch model of het substitueren van een experimenteel regime in single-cell data).
   • Het gemeten resultaat wordt teruggevoerd naar het wereldmodel, waarbij de lokale PSR en schuifstructuur rond de nieuwe observatie wordt herbouwd.

Belangrijkste Bijdragen

Het artikel schetst zes specifieke bijdragen:

1. PROMETHEUS Pijplijn: Een taal-naar-Topos-Wereldmodel-pijplijn voor diep causaal onderzoek vanuit tekst.
2. Extensie van DEMOCRITUS: Van statische causale tabellen/grafieken naar lokale causale voorspellende-staatmodellen met overdekkingen, restricties en verbindingsdiagnostiek.
3. Formalisatie: Een eindige schuif-theoretische formalisatie van causale gebeurtenissen, episodes, contexten en verbindings-spanningen, geschikt voor implementatie.
4. Claims-Atlas Interface: Een gebruikersgerichte object die een corpus organiseert op causale ruggengraat, lokale regio's, ondersteuning, drift en herkomstdiepteboringen.
5. Evaluatieprogramma: Een voorstel voor het evalueren van causale instrumenten op basis van dekking, driftzichtbaarheid, ondersteuningsaggregatie, herkomstkwaliteit, expertnavigatietijd en herhaalbaarheid, in plaats van alleen extractienauwkeurigheid.
6. Gegrondde Contrafactuele Demonstraties: Vier casestudies die tonen hoe het systeem interventies evalueert tegen externe substraten (brontabellen, code en data) en het wereldmodel herbouwt.

Resultaten en Casestudies

Het artikel presenteert drie literatuur-atlas casestudies en vier gegrondde-contrafactuele casestudies:

Literatuur-Atlas Casestudies

1. Invloeden van Oceaantemperaturen: 11 studies over vispopulaties geanalyseerd. De atlas onthulde een kern causale ruggengraat (opwarming $\to$ thermische stress $\to$ overleving), maar identificeerde distincte lokale regimes (bijvoorbeeld larvale overleving versus economische visserijoutput) en "drift"-regio's (bijvoorbeeld claims over menselijke gezondheid die niets te maken hebben met de kernvraag). Het blootlegde regimetensies waar claims over larvale rekrutering in conflict raakten tussen verschillende ecologische contexten.
2. GLP-1 Bewijs voor Gewichtsverlies: 11 studies over GLP-1 medicijnen geanalyseerd. Het systeem scheidde effectiviteitsclaims van veiligheidssignalen (bijvoorbeeld haaruitval), toegangsproblemen en mechanismeclaims. Het benadrukte dat terwijl effectiviteit en sommige cardiorenale voordelen "vervloeiden" over regimes, GI-risico's en claims over beloningspaden geblokkeerd of regime-gevoelig bleven.
3. Resveratrol/Rode Wijn: 13 studies over gezondheidsvoordelen geanalyseerd. De atlas onderscheidde claims die werden ondersteund door cellijn-data, wijnchemie, bio-beschikbaarheidsbeperkingen en humane epidemiologie. Het identificeerde dat "gezondheidsvoordelen" geen enkele globale claim zijn, maar een verzameling lokale mechanismen met variërende transporteerbaarheid.

Gegrondde Contrafactuele Casestudies

1. Microplastics (Nature Climate Change): Gebruik van brontabellen om in te grijpen op optische dwinging. Het vervangen van "gekleurde" deeltje-optica door "witte/pristine" waarden in de brondata verlaagde de geschatte stralingsdwang met ongeveer 90%. Het systeem herbouwde het schuifmodel met deze nieuwe observaties.
2. Hydrologie van de Indusvallei: Gebruik van VIC-afgeleide afvoerdata en code om een "droogterestauratie"-contrafactueel te simuleren. Het systeem mat een herstel in afvoerindices en actualiseerde de causale verklaring van de Harappase metamorfose om de verzwakte link tussen droogte en verspreiding onder het contrafactueel weer te geven.
3. Sachs Proteïne Signaleren: Gebruik van single-cell perturbatie-data om experimentele regimes te substitueren. Het systeem mat verschuivingen in markers (bijvoorbeeld PKA/Akt/Erk) en actualiseerde de causale atlas met data-gegronde observaties, waarbij DAG-achtige structuren werden behandeld als lokale kaarten binnen een grotere schuif.
4. Zingende Muizen (MAPseq): Gebruik van projectiematrices om motor-cortex-projecties bij zingende muizen te verzwakken tot lab-muis-niveaus. Het systeem mat een reductie van ongeveer 72% in projectie-ondersteuning en actualiseerde de causale brug tussen motor-cortex-uitbreiding en vocaal repertoire.

Betekenis en Claims

Het artikel positioneert PROMETHEUS niet als een hulpmiddel voor het genereren van één "beste antwoord" of een universele causale grafiek, maar als een onderzoeksinstrument voor het navigeren door de geometrie van bewijs.

• Epistemische Transparantie: Het systeem maakt expliciet waar claims overeenkomen, waar ze drift vertonen en waar ze falen om samen te komen tot een coherent globaal beeld. Het behandelt "mislukte vervloeiing" als een waardevol onderzoekssignaal in plaats van ruis.
• Localiteit en Transporteerbaarheid: Het biedt een formeel mechanisme om te bepalen welke claims transporteerbaar zijn naar nieuwe contexten en welke specifieke voorbehoud vereisen of regime-gebonden zijn.
• Gegrondde Herziening: Door externe wetenschappelijke substraten (code, data, modellen) te integreren, gaat PROMETHEUS voorbij aan symbolisch redeneren naar gemeten interventies, waardoor het wereldmodel kan worden herzien door daadwerkelijke experimentele of simulatieresultaten.
• Toekomstige Richting: De auteurs stellen "Substraat-Zoekende Topos-Constructie" voor, waarbij toekomstige systemen actief zoeken naar en heterogene onderzoeksartefacten (tabellen, code, simulaties) integreren om causale wereldmodellen te construeren, te testen en te herzien, waardoor een bredere wetenschappelijke praktijk wordt geautomatiseerd van het samenstellen van coherente verklaringen uit gefragmenteerd bewijs.

Het artikel concludeert dat de waarde van het systeem ligt in het vermogen om localiteit, ondersteuning, drift, contradictie en herkomst te behouden, waardoor onderzoekers de grenzen van huidige kennis kunnen inspecteren en kunnen identificeren waar nieuwe data of interventies vereist zijn.