Anti-Goal Reasoning: Rethinking the Theory of Goal Reasoning in Non-Axiomatic Logic

Resumo Técnico: Raciocínio de Anti-Objetivos na Lógica Não Axiomática

Enunciado do Problema
O artigo identifica uma ambiguidade teórica crítica na implementação atual do Raciocínio de Objetivos dentro da Lógica Não Axiomática (NAL), a fundação lógica do Sistema de Raciocínio Não Axiomático (NARS). Embora a NAL lide efetivamente com a realização de eventos desejados sob conhecimento e recursos insuficientes (AIKR), a representação da esquiva está mal definida. A convenção prevalecente trata "evitar o evento $G$" como a sentença de objetivo "$\neg G!$" (perseguir o evento negado). O autor demonstra que essa confluência leva a um paradoxo: um sistema pode derivar um objetivo positivo para realizar uma ação meramente porque essa ação é usualmente seguida pela ausência de um resultado negativo, mesmo quando a ação também é uma causa conhecida desse resultado negativo sob condições específicas.

Este paradoxo surge da ambiguidade semântica da "negação de objetivo". A notação "$\neg G!$" é usada para representar duas leituras lógicas distintas:

1. Perseguição de um evento negado: O sistema deseja o estado onde $G$ não ocorre (ou seja, $(\neg G) \Rightarrow \tilde{D}$).
2. Esquiva de um evento positivo: O sistema deseja impedir que $G$ ocorra (ou seja, $G \Rightarrow \neg \tilde{D}$).

No estudo de caso "pressão leve" apresentado, o sistema infere incorretamente que pressionar um botão é um meio para alcançar "não dor" ($\neg \text{hurt}!$) porque pressionar geralmente leva a nenhuma dor. No entanto, essa inferência ignora o contexto específico onde pressionar (sob um sinal leve) causa dor. O sistema paradoxalmente decide pressionar o botão para "evitar a dor", contradizendo a expectativa prática de que ele deveria reter a ação.

Metodologia
O artigo propõe uma extensão mínima à NAL que separa a representação de objetivos e anti-objetivos, movendo-se de um framework de Lógica de Herança (IL) idealizado para a semântica de evidência da NAL.

1. Separação Formal:

   • Objetivo ($G!$): Definido como um evento que o sistema deseja realizar, formalmente representado como $G \Rightarrow \tilde{D}$, onde $\tilde{D}$ é um termo virtual que resume o estado desejado pelo sistema.
   • Anti-Objetivo ($G¡$): Definido como um evento que o sistema deseja evitar. Isso é formalmente representado como $G \Rightarrow \neg \tilde{D}$, onde $\neg \tilde{D}$ representa o oposto do estado desejado.
   • O artigo esclarece que "evitar $G$" não é equivalente a "perseguir $\neg G$". Em vez disso, evitar $G$ é a negação lógica da própria sentença de objetivo: $\neg(G \Rightarrow \tilde{D})$.

2. Funções de Valor-de-Desejo e Valor-de-Aversão:

   • O artigo redefine as funções de valor-de-desejo para inferência reversa. Para um objetivo, o valor-de-desejo é o valor de verdade de $G \Rightarrow \tilde{D}$. Para um anti-objetivo, o valor-de-aversão é o valor de verdade de $G \Rightarrow \neg \tilde{D}$.
   • As regras de inferência para anti-objetivos são construídas simetricamente às regras de objetivos. Se uma regra de inferência direta existe (ex: dedução), a regra reversa correspondente para anti-objetivos adota a mesma fórmula de cálculo da função de valor de verdade direta.

3. Prevenção Ativa ($\uparrow\text{prevent}$):

   • Para preencher a lacuna entre a esquiva passiva e a intervenção ativa, o artigo introduz uma operação mental $\uparrow\text{prevent}$.
   • Se $G$ é um anti-objetivo, prevenir $G$ torna-se um objetivo positivo ($\uparrow\text{prevent}(G)! \equiv G¡$).
   • Esta operação depende de evidência contrastiva: o sistema deve aprender que uma ação leva à ausência de um evento que ocorreria de outra forma (ex: pressionar previne a dor, enquanto não pressionar leva à dor). Isso é formalizado via uma regra de nível de objeto específica (Eq. 13) que requer observações negativas e indução contrastiva.

Principais Contribuições
O artigo apresenta três contribuições teóricas primárias:

1. Resolução da Ambiguidade Semântica: Ele distingue entre a perseguição de um evento negado e a esquiva de um evento positivo. Ao introduzir a forma explícita de anti-objetivo ($G¡$), o framework evita o paradoxo onde intenções de esquiva são incorretamente convertidas em objetivos de ação positiva baseados em correlações estatísticas gerais.
2. Princípio para Funções de Valor-de-Desejo: Estabelece um princípio geral para derivar funções de valor-de-desejo em inferência motivacional reversa. Em vez de atribuir funções arbitrariamente, o artigo argumenta que as regras reversas devem herdar suas fórmulas de cálculo de suas correspondentes regras diretas, garantindo consistência lógica entre a propagação do valor de verdade e do valor de desejo.
3. Integração de Prevenção Ativa: Formaliza o mecanismo pelo qual um anti-objetivo pode gerar um plano de ação positivo. Através da operação $\uparrow\text{prevent}$ e da inferência contrastiva, o sistema pode derivar um objetivo de agir especificamente para prevenir um resultado indesejado, distinguindo isso de apenas reter a ação.

Resultados
O framework proposto foi validado através de quatro estudos de caso mínimos envolvendo um sistema simulado com babbling motor e avaliação de recompensa cumulativa:

1. Fazer para Realizar: O sistema deriva corretamente um objetivo de pressionar um botão para obter comida.
2. Não Fazer para Evitar: O sistema deriva corretamente um anti-objetivo de não pressionar um botão para evitar dor (esquiva passiva).
3. Fazer para Evitar: O sistema aprende uma relação de prevenção (pressionar previne a dor) e deriva corretamente um objetivo positivo de pressionar o botão para evitar ativamente a dor.
4. Não Fazer para Realizar: O sistema aprende que pressionar previne a comida e deriva corretamente um anti-objetivo de não pressionar o botão, preservando assim o evento desejado.

Em todos os casos, o comportamento do sistema alinhou-se com as expectativas teóricas. Especificamente, nos casos "Fazer para Evitar" e "Não Fazer para Realizar", o sistema utilizou com sucesso a evidência contrastiva para alternar entre esquiva passiva e intervenção ativa ou supressão, uma capacidade que era paradoxal sob a convenção anterior de "objetivo negado".

Significância
O artigo afirma que esta extensão completa o framework de raciocínio de objetivos da NAL sem substituir as teorias existentes. Ao separar objetivos e anti-objetivos, o sistema agora pode lidar com a esquiva com a mesma precisão evidencial da perseguição. A distinção permite que o sistema:

• Diferencie entre "fazer nada" (reter ação) e "fazer algo para prevenir".
• Evite o erro lógico onde uma correlação geral (ação $\to$ nenhuma dor) sobrepõe um risco causal específico (ação sob condição $X \to$ dor).
• Forneça uma base formal para a prevenção ativa, que é essencial para a descoberta causal e o comportamento adaptativo em ambientes de mundo aberto onde as motivações são incompletas e revisáveis.

O autor observa que, embora o framework explique assimetrias comportamentais observadas no aprendizado humano (ex: agir por recompensa vs. reter por punição), o presente trabalho foca estritamente na extensão lógica da NAL, deixando a modelagem detalhada da aquisição motivacional para pesquisas futuras.