Résumé Technique : PROMETHEUS – Automatisation de la Recherche Causale Approfondie

Énoncé du Problème

Les Modèles de Langage à Grande Échelle (LLM) ont démontré leur capacité à résumer la littérature scientifique, à extraire des affirmations causales locales et à récupérer des passages pertinents. Cependant, pour une recherche approfondie, ces capacités sont insuffisantes. Les résumés plats et les graphes causaux agrégés échouent à capturer la localité, la spécificité du régime et les limites probatoires des connaissances scientifiques. Un chercheur a souvent besoin de savoir non seulement quelle est une affirmation, mais où elle s'applique (par exemple, populations spécifiques, fenêtres temporelles ou protocoles de mesure), où elle entre en conflit avec d'autres affirmations, et comment le soutien varie à travers un corpus. Les approches existantes réduisent souvent des preuves hétérogènes à un seul graphe universel ou à une réponse générique, obscurcissant la « dérive », la « contradiction » et la « sous-détermination », qui sont des signaux critiques dans l'enquête scientifique.

Méthodologie : Le Modèle Monde de Topos

PROMETHEUS reformule la recherche causale comme la construction d'un Modèle Monde de Topos : une famille de type faisceau de modèles locaux de prédiction d'état causal, indexés sur un recouvrement explicite d'un substrat de recherche.

Architecture Principale

Le système fonctionne comme un pipeline transformant la littérature récupérée, les dépôts, les rapports et les données sources en une Atlas Causal navigable :

1. Extraction et Normalisation (Hérité de DEMOCRITUS) :

   • Le système récupère des documents et extrait des événements causaux, des épisodes et des triplets relationnels (sujet-relation-objet).
   • Ceux-ci sont normalisés en lignes de style cSQL structurées contenant la cause, l'effet, les modificateurs, la polarité et la provenance.
   • Contrairement aux itérations précédentes qui traitaient ces éléments comme des arêtes terminales d'un graphe, PROMETHEUS les traite comme des observations pour des modèles locaux.

2. Contextualisation et Construction du Recouvrement :

   • Les affirmations extraites sont assignées à des contextes locaux (par exemple, espèces spécifiques, années fiscales, étapes d'utilisation d'un produit ou rôles d'agents).
   • Un recouvrement est construit, où chaque contexte $U$ représente une région où les affirmations sont attendues pour avoir des sémantiques comparables.

3. Représentation Locale de l'État Prédictif (PSR) :

   • Pour chaque contexte $U$, le système construit une Représentation Locale de l'État Prédictif Causal.
   • Au lieu d'un modèle à variables latentes, il utilise une approche de prédiction observable. Un état est défini par un tableau $M_U[h, \tau]$ représentant la probabilité prédictive (ou le score de soutien) d'un test futur $\tau$ étant donné une histoire $h$.
   • Les histoires sont des séquences d'événements causaux ; les tests sont des continuations causales (par exemple, « stress thermique $\to$ changement de survie des larves »).
   • Ces tableaux sont remplis de comptes de soutien, d'estimations d'incertitude et de liens de provenance.

4. Organisation Théorique des Faisceaux :

   • Applications de Restriction : Lorsque les contextes se chevauchent, les applications de restriction alignent les histoires, les tests et les affirmations partagés. Le système calcule les écarts (manques) entre les modèles locaux qui se chevauchent.
   • Diagnostics de Collage : Le système évalue si les sections locales peuvent « coller » en une section globale cohérente.
     • Chevauchements compatibles : Les modèles locaux s'accordent ; ils peuvent être agrégés.
     • Chevauchements tendus/obstrués : Les modèles ne sont pas d'accord en raison de la dérive, des limites de régime ou des contradictions. Ceux-ci ne sont pas moyennés mais enregistrés comme des signaux de diagnostic explicites (par exemple, « contradiction », « dépendance du régime » ou « sous-détermination »).
   • État Persistant : L'atlas résultant est un artefact cumulatif. De nouvelles exécutions peuvent comparer par rapport aux états précédents pour détecter la dérive ou réparer les tensions de collage.

5. Contrefactuels Ancrés :

   • Lorsqu'un article fournit des données sources, du code ou des sorties de simulation, PROMETHEUS peut lier une intervention symbolique à un substrat scientifique externe.
   • Il exécute l'intervention (par exemple, modifier un paramètre de forçage dans un modèle hydrologique ou substituer un régime expérimental dans des données de cellules uniques).
   • Le résultat mesuré est renvoyé dans le modèle monde, reconstruisant le PSR local et la structure de faisceau autour de la nouvelle observation.

Contributions Clés

L'article décrit six contributions spécifiques :

1. Pipeline PROMETHEUS : Un pipeline de langage vers Modèle Monde de Topos pour la recherche causale approfondie à partir de texte.
2. Extension de DEMOCRITUS : Passage des tableaux/graphes causaux statiques à des modèles locaux de prédiction d'état causal avec recouvrements, restrictions et diagnostics de collage.
3. Formalisation : Une formalisation finie théorique des faisceaux des événements causaux, des épisodes, des contextes et des tensions de collage, adaptée à l'implémentation.
4. Interface Atlas des Affirmations : Un objet orienté utilisateur organisant un corpus par colonne vertébrale causale, régions locales, soutien, dérive et approfondissements de provenance.
5. Programme d'Évaluation : Une proposition pour évaluer les instruments causaux basés sur la couverture, la visibilité de la dérive, l'agrégation du soutien, la qualité de la provenance, le temps de navigation des experts et la cohérence des réexécutions, plutôt que sur la seule précision d'extraction.
6. Démonstrations de Contrefactuels Ancrés : Quatre études de cas montrant le système évaluant des interventions contre des substrats externes (tableaux sources, code et données) et reconstruisant le modèle monde.

Résultats et Études de Cas

L'article présente trois études de cas d'atlas de littérature et quatre études de cas de contrefactuels ancrés :

Études de Cas d'Atlas de Littérature

1. Impacts de la Température Océanique : Analyse de 11 études sur les populations de poissons. L'atlas a révélé une colonne vertébrale causale centrale (réchauffement $\to$ stress thermique $\to$ survie) mais a identifié des régimes locaux distincts (par exemple, survie des larves vs production de pêcheries économiques) et des régions de « dérive » (par exemple, affirmations sur la santé humaine sans rapport avec la requête centrale). Il a exposé des tensions de régime où des affirmations sur le recrutement des larves entraient en conflit dans différents contextes écologiques.
2. Preuves sur la Perte de Poids par les GLP-1 : Analyse de 11 études sur les médicaments GLP-1. Le système a séparé les affirmations d'efficacité des signaux de sécurité (par exemple, perte de cheveux), des problèmes d'accès et des affirmations de mécanisme. Il a mis en évidence que, tandis que l'efficacité et certains bénéfices cardiorenal « collaient » à travers les régimes, les risques gastro-intestinaux et les affirmations sur les voies de récompense restaient obstrués ou sensibles au régime.
3. Resvératrol/Vin Rouge : Analyse de 13 études sur les bienfaits pour la santé. L'atlas a distingué entre les affirmations soutenues par des données de lignées cellulaires, la chimie du vin, les contraintes de biodisponibilité et l'épidémiologie humaine. Il a identifié que les « bienfaits pour la santé » ne constituent pas une affirmation globale unique, mais un ensemble de mécanismes locaux avec une transférabilité variable.

Études de Cas de Contrefactuels Ancrés

1. Microplastiques (Nature Climate Change) : Utilisation de tableaux sources pour intervenir sur le forçage optique. Le remplacement des optiques de particules « colorées » par des valeurs « blanches/pristines » dans les données sources a réduit le forçage radiatif estimé d'environ 90 %. Le système a reconstruit le modèle de faisceau avec ces nouvelles observations.
2. Hydrologie de la Vallée de l'Indus : Utilisation de données de débit dérivées de VIC et de code pour simuler un contrefactuel de « restauration de la sécheresse ». Le système a mesuré un rétablissement des indices de débit et mis à jour l'explication causale de la métamorphose harappéenne pour refléter le lien affaibli entre la sécheresse et la dispersion sous le contrefactuel.
3. Signalisation des Protéines de Sachs : Utilisation de données de perturbation de cellules uniques pour substituer des régimes expérimentaux. Le système a mesuré des décalages de marqueurs (par exemple, PKA/Akt/Erk) et mis à jour l'atlas causal avec des observations ancrées dans les données, traitant les structures de type DAG comme des cartes locales au sein d'un faisceau plus large.
4. Souris Chanteuses (MAPseq) : Utilisation de matrices de projection pour atténuer les projections du cortex moteur chez les souris chanteuses jusqu'aux niveaux des souris de laboratoire. Le système a mesuré une réduction d'environ 72 % du soutien des projections et mis à jour le pont causal entre l'expansion du cortex moteur et le répertoire vocal.

Importance et Affirmations

L'article positionne PROMETHEUS non pas comme un outil pour générer une seule « meilleure réponse » ou un graphe causal universel, mais comme un instrument de recherche pour naviguer dans la géométrie des preuves.

• Transparence Épistémique : Le système expose explicitement où les affirmations s'accordent, où elles dérivent et où elles échouent à s'assembler en une vue globale cohérente. Il traite le « collage raté » comme un signal de recherche précieux plutôt que comme du bruit.
• Localité et Transférabilité : Il fournit un mécanisme formel pour déterminer quelles affirmations sont transférables à de nouveaux contextes et lesquelles nécessitent des mises en garde spécifiques ou sont liées à un régime.
• Révision Ancrée : En intégrant des substrats scientifiques externes (code, données, modèles), PROMETHEUS va au-delà du raisonnement symbolique pour des interventions mesurées, permettant au modèle monde d'être révisé par des résultats expérimentaux ou de simulation réels.
• Orientation Future : Les auteurs proposent une « Construction de Topos à la Recherche de Substrat », où les futurs systèmes recherchent et intègrent activement des artefacts de recherche hétérogènes (tableaux, code, simulations) pour construire, tester et réviser des modèles mondiaux causaux, automatisant une pratique scientifique plus large consistant à assembler des explications cohérentes à partir de preuves fragmentées.

L'article conclut que la valeur du système réside dans sa capacité à préserver la localité, le soutien, la dérive, la contradiction et la provenance, permettant aux chercheurs d'examiner les limites des connaissances actuelles et d'identifier où de nouvelles données ou interventions sont nécessaires.