🤖 AI

A Counterfactual Cause in Situation Calculus

Ce papier propose une notion de cause d'accomplissement fondée sur le contrefactuel dans le calcul des situations qui généralise et affine le cadre existant de Batusov et Soutchanski, tout en clarifiant sa relation avec la théorie de la causalité effective de Halpern et Pearl, en particulier concernant les objectifs disjonctifs.

Auteurs originaux : Daxin Liu, Vaishak Belle

Publié 2026-05-13

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Daxin Liu, Vaishak Belle

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous regardiez un film d'un robot déplaçant des blocs. À la fin du film, un bloc spécifique est brisé. Vous voulez savoir : "Qui ou quoi a réellement causé la rupture du bloc ?"

Ce papier porte sur la création d'un meilleur "outil d'enquête" pour répondre à cette question, spécifiquement pour les robots et les programmes informatiques qui planifient des actions.

Voici l'histoire du papier, décomposée en concepts simples :

1. Le Problème : Le Test "Sans Cela" est Piégeux

En philosophie et en droit, nous utilisons souvent un test simple pour trouver une cause : la causalité "Sans Cela".

Le Test : "Sans cette action spécifique, le résultat se serait-il produit ?"
La Logique : Si la réponse est "Non, il ne se serait pas produit", alors cette action est la cause.

Les auteurs disent que cela fonctionne bien pour des histoires simples. Mais dans le monde complexe des robots (où ils peuvent faire plusieurs choses à la fois, ou où différents chemins mènent au même résultat), les anciens tests se perdent. Ils manquent soit la cause, soit ils blâment la mauvaise chose.

2. La Nouvelle Idée : Le Détective "Contrefactuel"

Les auteurs proposent une nouvelle définition de la cause basée sur les contrefactuels. C'est un mot compliqué pour "et si ?".

Au lieu de simplement regarder l'histoire de ce qui s'est passé, leur outil demande : "Si nous effacions cette partie spécifique de l'histoire du robot, l'objectif serait-il toujours atteint ?"

Ils appellent cela une "Cause d'Atteinte Contrefactuelle".

L'Objectif : Le robot voulait briser un bloc.
L'Histoire : Le robot a ramassé le bloc, l'a laissé tomber, puis a ramassé un autre bloc et l'a laissé tomber lui aussi.
Le Test : Si nous supprimons le premier "ramasser et laisser tomber" de l'histoire, le bloc se brise-t-il toujours ?
- Si Oui : Cette première action n'était pas la cause (peut-être que la seconde l'a fait).
- Si Non : Cette première action était la cause.

3. Le Mécanisme de "Filtre" : Nettoyage de la Chronologie

Voici la partie ingénieuse. Parfois, si vous retirez une action précoce, les actions ultérieures deviennent impossibles à réaliser.

Analogie : Imaginez une recette. Si vous retirez "mélanger les œufs", vous ne pouvez pas passer à "cuire le gâteau". L'étape "cuire" devient impossible.
La Solution du Papier : Leur outil possède un "Filtre". Lorsqu'ils retirent une cause suspectée, ils suppriment automatiquement toutes les étapes futures qui ne peuvent plus se produire parce que la cause est partie. Ils ne regardent que les actions restantes légales pour voir si l'objectif est toujours atteint.

4. L'Analogie du "Feu de Forêt" (Objectifs Disjonctifs)

Le papier aborde un scénario délicat appelé un objectif disjonctif.

Le Scénario : Un feu de forêt se produit si soit une allumette est jetée soit la foudre frappe.
La Situation : L'allumette est jetée ET la foudre frappe. La forêt brûle.
La Confusion : L'allumette est-elle la cause ? La foudre est-elle la cause ?
Le Verdict du Papier : À leur avis, les deux font partie de la cause. Si vous retirez l'allumette, la foudre brûle toujours la forêt. Si vous retirez la foudre, l'allumette la brûle toujours. Parce qu'ils rivalisent pour atteindre le même objectif, la "cause" est la combinaison des deux événements.

Cela s'aligne avec une théorie célèbre de Halpern et Pearl (HP), qui dit que lorsque deux choses rivalisent pour faire le même travail, elles sont toutes les deux "partie de la cause".

5. Comparaison avec les Autres Détectives

Les auteurs comparent leur outil à deux autres "détectives" célèbres :

Batusov et Soutchanski : Ils avaient un outil précédent qui regardait l'histoire et trouvait la séquence "minimale" d'étapes nécessaires. Le nouvel outil est d'accord avec eux dans de nombreux cas, mais utilise la méthode "et si" (contrefactuelle) pour être plus précis sur pourquoi ces étapes comptent.
Halpern et Pearl (HP) : Leur outil est très populaire mais repose sur un modèle mathématique rigide (comme un organigramme). Les auteurs soutiennent que leur outil est meilleur pour les robots car il gère le flux du temps et les actions plus naturellement, sans avoir besoin de forcer l'histoire dans un organigramme rigide au préalable.

6. La Limite : Quand les Choses Deviennent Embrouillées

Les auteurs admettent que leur outil n'est pas parfait.

Le Problème : Si deux "histoires" différentes (séquences d'actions) se produisent en même temps et s'entremêlent (s'interpénètrent), l'outil pourrait se perdre.
Le Résultat : Il pourrait dire : "La cause est tout le mélange embrouillé", plutôt que d'identifier exactement quelle étape spécifique était le coupable. Ils reconnaissent que c'est un problème difficile que les philosophes et les informaticiens débattent encore.

Résumé

Ce papier introduit une nouvelle façon pour les ordinateurs de comprendre la causalité. Au lieu de simplement regarder une liste d'événements, il simule le fait de "rembobiner le ruban" et de supprimer des actions spécifiques pour voir si le résultat se produit toujours. Il gère des situations complexes où plusieurs actions rivalisent pour atteindre un objectif, offrant une façon plus simple et plus naturelle pour les robots de comprendre "qui a fait quoi" dans leur propre histoire.

Résumé technique : Une cause contrefactuelle dans le calcul des situations

Énoncé du problème
Des travaux récents de Batusov et Soutchanski ont établi une notion de « cause effective d'accomplissement » au sein du calcul des situations, capable de déterminer la cause d'effets quantifiés dans un historique d'actions donné. Bien que cette approche gère avec succès les préconditions d'action et les effets quantifiés — des limitations des approches antérieures basées sur les modèles d'équations structurelles (SEM) comme celle de Halpern et Pearl (HP) —, elle manque d'une définition ancrée dans une perspective contrefactuelle. L'approche HP, bien qu'influente, repose sur des SEM qui éprouvent souvent des difficultés avec le raisonnement temporel, les quantificateurs et la distinction entre actions et effets dans des domaines complexes. Les auteurs identifient un vide dans la définition de la causalité effective au sein des langages d'action, qui soit à la fois simple et explicitement contrefactuelle, particulièrement en ce qui concerne la gestion des objectifs disjonctifs et de la préemption sans surcharger la définition.

Méthodologie
Les auteurs proposent une nouvelle notion de cause basée sur une analyse contrefactuelle au sein de la logique ES, une variante modale du calcul des situations. Cette logique simplifie le formalisme classique en évitant les termes de situation explicites tout en conservant les capacités de régression et de progression.

Cadre formel : L'article utilise une théorie d'action de base (BAT) $\Sigma$ , comprenant des axiomes d'état initial, des préconditions d'action et des axiomes d'état successeur (la solution de Reiter au problème du cadre).
Définition de la cause minimale : Les auteurs définissent d'abord une « cause minimale » de manière générale comme une séquence d'actions $z$ qui réalise un objectif $\phi$ (où $\phi$ était initialement faux) telle que $z$ soit minimale selon des critères spécifiques (longueur, taille de l'ensemble de fluents, ou une combinaison). Cela établit un contrefactuel de base : si $z$ n'avait pas eu lieu, $\phi$ ne tiendrait pas.
Cause d'accomplissement dans les récits : La contribution centrale est la définition d'une cause d'accomplissement pour un contexte causal spécifique $C = \langle z, \phi \rangle$ $C = ⟨ z, ϕ ⟩$ , où $z$ $z$ est un historique d'actions connu (récit) menant à $\phi$ $ϕ$ .
- Un préfixe $z' \subseteq z$ $z^{'} \subseteq z$ est une cause si :
  1. $\phi$ tient après toute extension de $z'$ dans $z$ .
  2. Dans le scénario contrefactuel où $z'$ est retiré, les actions restantes de $z$ (filtrées pour assurer l'exécutabilité) ne mènent pas à $\phi$ .
  3. $z'$ est minimale (aucune sous-séquence propre ne satisfait les conditions ci-dessus).
- Crucialement, les auteurs introduisent une fonction Filtre pour gérer le retrait contrefactuel des actions. Si le retrait d'un préfixe $z'$ rend les actions subséquentes du récit inexécutables (par exemple, lâcher un objet que l'on ne tient plus), la fonction Filtre retire ces actions dépendantes du scénario contrefactuel.

Contributions clés

Définition contrefactuelle dans les langages d'action : L'article fournit une définition de la cause effective d'accomplissement qui est explicitement contrefactuelle, contrastant avec les définitions récursives et non contrefactuelles de Batusov et Soutchanski.
Généralisation : La notion proposée se généralise naturellement au concept de cause d'accomplissement dans le contexte des historiques d'actions.
Gestion des objectifs disjonctifs et de la préemption : Les auteurs analysent comment leur définition gère les objectifs disjonctifs (par exemple, $A \lor B$ ). Ils notent que dans les cas de préemption (où plusieurs actions concurrentes pourraient réaliser un objectif), leur définition traite l'ensemble joint des événements concurrents comme la cause, plutôt que d'isoler un seul événement préempté. Cela s'aligne sur l'approche HP modifiée où la conjonction d'événements constitue la cause.
Comparaison formelle : L'article relie formellement leur approche aux travaux de Batusov et Soutchanski (Théorème 1), montrant que l'ensemble des chaînes causales d'accomplissement dans le cadre de Batusov-Soutchanski est un sous-ensemble des préfixes identifiés par la définition contrefactuelle des auteurs.
Comparaison avec HP : Les auteurs comparent leur approche à l'approche HP, soulignant que si HP est puissante, elle est sensible aux choix de modélisation du domaine. En revanche, l'approche du calcul des situations offre un standard uniforme (la BAT) mais rencontre des défis dans la modélisation d'événements concurrents imbriqués et non atomiques sans « coder en dur » les relations causales.

Résultats et analyse

Analyse d'exemples : Par le biais d'exemples (par exemple, un monde de blocs impliquant la saisie, le lâchage, l'extinction et la réparation), les auteurs démontrent que leur définition identifie avec succès les préfixes minimaux qui réalisent des objectifs tout en filtrant les actions redondantes.
Objectifs disjonctifs : Dans des scénarios avec des objectifs disjonctifs (par exemple, tenir l'objet C ou l'objet D), la définition identifie correctement que si les deux actions sont requises pour garantir que l'objectif soit tenu en l'absence contrefactuelle du préfixe, alors l'ensemble du préfixe est la cause. Si une seule action suffit dans le contrefactuel, elle n'est pas la cause.
Limites : Les auteurs reconnaissent que leur définition peut sembler contre-intuitive dans les cas de préemption impliquant des événements non atomiques et imbriqués. Par exemple, si une séquence $z$ réalise un objectif, et que le retrait d'un préfixe $z'$ rend le reste de $z$ inexécutable, la définition pourrait inclure dans $z'$ des actions qui semblent redondantes pour l'objectif lui-même mais qui sont nécessaires pour permettre le reste du récit. Cela est une conséquence de l'exigence contrefactuelle stricte selon laquelle le récit entier restant doit échouer à réaliser l'objectif.

Signification et affirmations
Les auteurs affirment modestement que leur approche n'est pas strictement « meilleure » que les formalismes existants, mais offre une alternative plus simple, basée sur le contrefactuel, au sein du calcul des situations.

Simplicité : La définition repose sur l'intuition du « sans quoi » (si l'action n'avait pas eu lieu, l'objectif ne serait pas vrai), adaptée à des contextes d'action riches, évitant les structures récursives complexes des définitions antérieures de causalité dans le calcul des situations.
Applicabilité : Il est soutenu que cette approche est bénéfique pour les applications nécessitant un raisonnement causal dans les langages d'action, telles que la programmation de robots basée sur GOLOG.
Nuance : L'article met en lumière les nuances spécifiques de l'application des contrefactuels aux objectifs disjonctifs, une difficulté connue dans les définitions de la causalité effective, et positionne leur approche d'événements conjoints comme une solution raisonnable cohérente avec les modifications récentes de HP.

L'article conclut en suggérant des travaux futurs visant à étendre cette approche à des contextes épistémiques (raisonnement sur la connaissance des causes) et à adapter la méthode pour des tâches pratiques de programmation de robots.