A Counterfactual Cause in Situation Calculus

Resumen Técnico: Una Causa Contrafactual en el Cálculo de Situaciones

Enunciado del Problema
Trabajos recientes de Batusov y Soutchanski establecieron una noción de "causa de logro real" dentro del Cálculo de Situaciones, capaz de determinar la causa de efectos cuantificados en una historia de acciones dada. Si bien este enfoque maneja con éxito las precondiciones de las acciones y los efectos cuantificados —limitaciones de los enfoques anteriores de Modelos de Ecuaciones Estructurales (SEM) como el de Halpern y Pearl (HP)—, carece de una definición fundamentada en una perspectiva contrafactual. La cuenta de HP, aunque influyente, depende de SEMs que a menudo luchan con el razonamiento temporal, los cuantificadores y la distinción entre acciones y efectos en dominios complejos. Los autores identifican una brecha en la definición de causalidad real dentro de los lenguajes de acción que sea tanto simple como explícitamente contrafactual, particularmente en cuanto a cómo manejar objetivos disyuntivos y la preemoción sin complicar en exceso la definición.

Metodología
Los autores proponen una nueva noción de causa basada en el análisis contrafactual dentro de la lógica ES, una variante modal del Cálculo de Situaciones. Esta lógica simplifica el formalismo clásico al evitar términos de situación explícitos, mientras retiene las capacidades de regresión y progresión.

1. Marco Formal: El artículo utiliza una Teoría de Acción Básica (BAT) $\Sigma$, que comprende axiomas del estado inicial, precondiciones de acción y axiomas de estado sucesor (la solución de Reiter al problema del marco).
2. Definición de Causa Mínima: Los autores definen primero una "causa mínima" generalmente como una secuencia de acciones $z$ que logra un objetivo $\phi$ (donde $\phi$ era inicialmente falso) tal que $z$ es mínima según criterios específicos (longitud, tamaño del conjunto de fluentes, o una combinación). Esto establece un contrafactual de referencia: si $z$ no hubiera ocurrido, $\phi$ no se cumpliría.
3. Causa de Logro en Narrativas: La contribución central es la definición de una Causa de Logro para un contexto causal específico $C = \langle z, \phi \rangle$, donde $z$ es una historia de acciones conocida (narrativa) que conduce a $\phi$.
   • Un prefijo $z' \subseteq z$ es una causa si:
     1. $\phi$ se cumple después de cualquier extensión de $z'$ dentro de $z$.
     2. En el escenario contrafactual donde $z'$ se elimina, las acciones restantes en $z$ (filtradas para garantizar la ejecutabilidad) no conducen a $\phi$.
     3. $z'$ es mínima (ninguna subsecuencia propia satisface lo anterior).
   • Crucialmente, los autores introducen una función Filtro para manejar la eliminación contrafactual de acciones. Si eliminar un prefijo $z'$ hace que las acciones subsiguientes en la narrativa sean inexecutables (por ejemplo, soltar un objeto que ya no se sostiene), la función Filtro elimina esas acciones dependientes del escenario contrafactual.

Contribuciones Clave

• Definición Contrafactual en Lenguajes de Acción: El artículo proporciona una definición de causa de logro real que es explícitamente contrafactual, contrastando con las definiciones recursivas y no contrafactuales de Batusov y Soutchanski.
• Generalización: La noción propuesta se generaliza naturalmente al concepto de causa de logro en el contexto de historias de acciones.
• Manejo de Objetivos Disyuntivos y Preemoción: Los autores analizan cómo su definición maneja objetivos disyuntivos (por ejemplo, $A \lor B$). Señalan que en casos de preemoción (donde múltiples acciones compitiendo podrían lograr un objetivo), su definición trata el conjunto conjunto de eventos competidores como la causa, en lugar de aislar un único evento preemido. Esto se alinea con la cuenta modificada de HP donde la conjunción de eventos es la causa.
• Comparación Formal: El artículo relaciona formalmente su cuenta con el trabajo de Batusov y Soutchanski (Teorema 1), mostrando que el conjunto de cadenas causales de logro en el marco de Batusov-Soutchanski es un subconjunto de los prefijos identificados por la definición contrafactual de los autores.
• Comparación con HP: Los autores comparan su enfoque con la cuenta de HP, destacando que, aunque HP es poderosa, es sensible a las elecciones de modelado del dominio. En contraste, el enfoque del Cálculo de Situaciones ofrece un estándar uniforme (la BAT) pero enfrenta desafíos en el modelado de eventos competidores entrelazados y no atómicos sin "codificar en firme" las relaciones causales.

Resultados y Análisis

• Análisis de Ejemplos: A través de ejemplos (por ejemplo, un mundo de bloques con acciones de agarrar, soltar, apagar y reparar), los autores demuestran que su definición identifica con éxito prefijos mínimos que logran objetivos mientras filtra acciones redundantes.
• Objetivos Disyuntivos: En escenarios con objetivos disyuntivos (por ejemplo, sostener el objeto C o el objeto D), la definición identifica correctamente que si ambas acciones son necesarias para asegurar que el objetivo se cumpla en la ausencia contrafactual del prefijo, todo el prefijo es la causa. Si una sola acción basta en el contrafactual, no es la causa.
• Limitaciones: Los autores reconocen que su definición puede parecer contraintuitiva en casos de preemoción que involucran eventos no atómicos e intercalados. Por ejemplo, si una secuencia $z$ logra un objetivo, y eliminar un prefijo $z'$ hace que el resto de $z$ sea inexecutable, la definición podría incluir acciones en $z'$ que parecen redundantes para el objetivo en sí, pero que son necesarias para habilitar el resto de la narrativa. Esto es una consecuencia del requisito contrafactual estricto de que toda la narrativa restante debe fallar en lograr el objetivo.

Significado y Afirmaciones
Los autores afirman modestamente que su cuenta no es estrictamente "mejor" que los formalismos existentes, sino que ofrece una alternativa más simple, basada en lo contrafactual, dentro del Cálculo de Situaciones.

• Simplicidad: La definición se basa en la intuición del "pero" (si la acción no hubiera ocurrido, el objetivo no sería cierto), adaptada para entornos de acción ricos, evitando las estructuras recursivas complejas de las definiciones anteriores de causalidad en el Cálculo de Situaciones.
• Aplicabilidad: Se argumenta que el enfoque es beneficioso para aplicaciones que requieren razonamiento causal en lenguajes de acción, como la programación de robots basada en GOLOG.
• Matiz: El artículo destaca los matices específicos de aplicar contrafactuales a objetivos disyuntivos, una dificultad conocida en las definiciones de causalidad real, y posiciona su enfoque de eventos conjuntos como una solución razonable consistente con las modificaciones recientes de HP.

El artículo concluye sugiriendo trabajo futuro en la extensión de esta cuenta a entornos epistémicos (razonamiento sobre el conocimiento de las causas) y la adaptación del método para tareas prácticas de programación de robots.