A Counterfactual Cause in Situation Calculus

Resumo Técnico: Uma Causa Contrafactual no Cálculo de Situações

Declaração do Problema
Trabalhos recentes de Batusov e Soutchanski estabeleceram uma noção de "causa real de realização" dentro do Cálculo de Situações, capaz de determinar a causa de efeitos quantificados em um histórico de ações dado. Embora essa abordagem lide com sucesso com pré-condições de ações e efeitos quantificados — limitações das abordagens anteriores de Modelo de Equações Estruturais (SEM), como a de Halpern e Pearl (HP) —, ela carece de uma definição fundamentada numa perspectiva contrafactual. A conta de HP, embora influente, baseia-se em SEMs que frequentemente lutam com raciocínio temporal, quantificadores e a distinção entre ações e efeitos em domínios complexos. Os autores identificam uma lacuna na definição de causalidade real dentro de linguagens de ação que seja ao mesmo tempo simples e explicitamente contrafactual, particularmente no que diz respeito a como lidar com objetivos disjuntivos e preemptão sem complicar excessivamente a definição.

Metodologia
Os autores propõem uma nova noção de causa baseada em análise contrafactual dentro da lógica ES, uma variante modal do Cálculo de Situações. Essa lógica simplifica o formalismo clássico ao evitar termos de situação explícitos, mantendo ao mesmo tempo capacidades de regressão e progressão.

1. Estrutura Formal: O artigo utiliza uma Teoria de Ação Básica (BAT) $\Sigma$, compreendendo axiomas de estado inicial, pré-condições de ação e axiomas de estado sucessor (solução de Reiter para o problema do quadro).
2. Definição de Causa Mínima: Os autores definem primeiro uma "causa mínima" geralmente como uma sequência de ações $z$ que realiza um objetivo $\phi$ (onde $\phi$ era inicialmente falso) tal que $z$ é mínima de acordo com critérios específicos (comprimento, tamanho do conjunto de fluentes, ou uma combinação). Isso estabelece um contrafactual de base: se $z$ não tivesse ocorrido, $\phi$ não se manteria.
3. Causa de Realização em Narrativas: A contribuição central é a definição de uma Causa de Realização para um cenário causal específico $C = \langle z, \phi \rangle$, onde $z$ é um histórico de ações conhecido (narrativa) que leva a $\phi$.
   • Um prefixo $z' \subseteq z$ é uma causa se:
     1. $\phi$ se mantém após qualquer extensão de $z'$ dentro de $z$.
     2. No cenário contrafactual onde $z'$ é removido, as ações restantes em $z$ (filtradas para garantir executabilidade) não levam a $\phi$.
     3. $z'$ é mínima (nenhuma subsequência própria satisfaz o acima).
   • Crucialmente, os autores introduzem uma função Filtro para lidar com a remoção contrafactual de ações. Se remover um prefixo $z'$ tornar ações subsequentes na narrativa inexequíveis (por exemplo, soltar um objeto que já não se segura), a função Filtro remove essas ações dependentes do cenário contrafactual.

Principais Contribuições

• Definição Contrafactual em Linguagens de Ação: O artigo fornece uma definição de causa real de realização que é explicitamente contrafactual, contrastando com as definições recursivas e não contrafactuais de Batusov e Soutchanski.
• Generalização: A noção proposta generaliza naturalmente para o conceito de causa de realização no contexto de históricos de ações.
• Lidar com Objetivos Disjuntivos e Preemptão: Os autores analisam como sua definição lida com objetivos disjuntivos (por exemplo, $A \lor B$). Eles notam que, em casos de preemptão (onde múltiplas ações concorrentes poderiam realizar um objetivo), sua definição trata o conjunto conjunto de eventos concorrentes como a causa, em vez de isolar um único evento preemptado. Isso alinha-se com a conta HP modificada onde a conjunção de eventos é a causa.
• Comparação Formal: O artigo relaciona formalmente sua conta ao trabalho de Batusov e Soutchanski (Teorema 1), mostrando que o conjunto de cadeias causais de realização na estrutura Batusov-Soutchanski é um subconjunto dos prefixos identificados pela definição contrafactual dos autores.
• Comparação com HP: Os autores comparam sua abordagem com a conta HP, destacando que, embora HP seja poderosa, ela é sensível a escolhas de modelagem de domínio. Em contraste, a abordagem do Cálculo de Situações oferece um padrão uniforme (a BAT), mas enfrenta desafios na modelagem de eventos concorrentes intercalados e não atômicos sem "codificar rigidamente" relações causais.

Resultados e Análise

• Análise de Exemplos: Através de exemplos (por exemplo, um mundo de blocos com pegar, soltar, apagar e reparar), os autores demonstram que sua definição identifica com sucesso prefixos mínimos que realizam objetivos, filtrando ações redundantes.
• Objetivos Disjuntivos: Em cenários com objetivos disjuntivos (por exemplo, segurar o objeto C ou o objeto D), a definição identifica corretamente que, se ambas as ações forem necessárias para garantir que o objetivo se mantenha na ausência contrafactual do prefixo, todo o prefixo é a causa. Se uma única ação for suficiente na contrafactual, ela não é a causa.
• Limitações: Os autores reconhecem que sua definição pode parecer contra-intuitiva em casos de preemptão envolvendo eventos não atômicos e intercalados. Por exemplo, se uma sequência $z$ realiza um objetivo, e remover um prefixo $z'$ torna o resto de $z$ inexequível, a definição pode incluir ações em $z'$ que parecem redundantes para o objetivo em si, mas são necessárias para permitir o resto da narrativa. Isso é uma consequência do requisito contrafactual estrito de que toda a narrativa restante deve falhar em realizar o objetivo.

Significado e Alegações
Os autores modestamente afirmam que sua conta não é estritamente "melhor" do que formalismos existentes, mas oferece uma alternativa mais simples, baseada em contrafactuais dentro do Cálculo de Situações.

• Simplicidade: A definição baseia-se na intuição "mas para" (se a ação não tivesse acontecido, o objetivo não seria verdadeiro), adaptada para cenários de ação ricos, evitando as estruturas recursivas complexas de definições anteriores de causalidade no Cálculo de Situações.
• Aplicabilidade: Argumenta-se que a abordagem é benéfica para aplicações que exigem raciocínio causal em linguagens de ação, como programação de robôs baseada em GOLOG.
• Nuance: O artigo destaca as nuances específicas de aplicar contrafactuais a objetivos disjuntivos, uma dificuldade conhecida em definições de causalidade real, e posiciona sua abordagem de evento conjunto como uma solução razoável consistente com modificações recentes de HP.

O artigo conclui sugerindo trabalho futuro na extensão dessa conta para cenários epistêmicos (raciocínio sobre o conhecimento de causas) e na adaptação do método para tarefas práticas de programação de robôs.