Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

Resumo Técnico: Rumo à Implicação Não Monotônica em Lógica de Perspectiva Proposicional Defensível

Enunciado do Problema
Avanços recentes no raciocínio defensível aplicaram com sucesso a semântica preferencial e a implicação do estilo KLM a lógicas modais, especificamente à Lógica de Perspectiva Proposicional Defensível (PDSL). A PDSL permite a representação de pontos de vista conflitantes e crenças típicas dentro de um único arcabouço utilizando modalidades como $❘∼∼❘_e \alpha$ (que significa "$\alpha$ ocorre nas compreensões mais típicas do ponto de vista $e$"). No entanto, o trabalho existente neste domínio tem focado primariamente na verificação de satisfatibilidade e na implicação tarskiana (monotônica) ($\models_P$).

Os autores identificam uma fraqueza inferencial crítica na atual abordagem monotônica. Sob $\models_P$, uma base de conhecimento frequentemente falha em sustentar inferências não monotônicas intuitivas. Por exemplo, se um ponto de vista $P$ tipicamente acredita em $\alpha$, e $\alpha$ implica defensivelmente $\beta$, o arcabouço monotônico não consegue concluir que $P$ tipicamente acredita em $\beta$. Da mesma forma, sub-perspectivas (ex: Engenharia) não podem herdar crenças típicas de uma super-perspectiva (ex: Física) se houver qualquer potencial de conflito, mesmo que nenhum conflito específico exista. Isso limita a utilidade da PDSL para o raciocínio prototípico, onde a herança e a typicalidade são esperadas.

Metodologia
Para abordar essas limitações, o artigo propõe elevar as relações de implicação racional não monotônica do raciocínio condicional KLM proposicional tradicional para um fragmento da PDSL. A metodologia procede através de quatro etapas principais:

1. Extensão da Expressividade via Condicionais Situados:
   Os autores introduzem "condicionais de perspectiva situados" da forma $\alpha \rightsquigarrow_e \beta$, lidos como "dentro do ponto de vista $e$, uma crença em $\alpha$ usualmente implica uma crença em $\beta$". Este construto permite que as implicações defensíveis sejam situadas especificamente no contexto de um ponto de vista, em vez de serem globais. Os autores demonstram que esta nova sintaxe é expressiva o suficiente para re-caracterizar toda a linguagem PDSL, efetivamente substituindo modalidades e implicações defensíveis padrão por estes condicionais situados e uma modalidade de perspectiva universal ($\square_*$).

2. Tradução para KLM Proposicional:
   O artigo define um fragmento específico da PDSL, denotado como $Cond(\tilde{\mathcal{L}}_S)$, que consiste em condicionais defensíveis positivos ($\alpha \rightsquigarrow_e \beta$) e refinamentos de perspectiva ($e \lesssim d$). Uma função de tradução $T$ é definida para mapear fórmulas deste fragmento para bases de conhecimento condicionais KLM proposicionais tradicionais.

   • Expressões de perspectiva são traduzidas em átomos proposicionais ou combinações booleanas dos mesmos.
   • Um condicional $\alpha \rightsquigarrow_e \beta$ é traduzido para $(\alpha \land t(e)) \mid\sim \beta$.
   • Um refinamento de perspectiva $e \lesssim d$ é traduzido para $t(e) \mid\sim t(d)$.
     Crucialmente, os autores provam que esta tradução é fiel: uma base de conhecimento PDSL é satisfatível se, e somente se, sua tradução proposicional for satisfatível, e a satisfação do modelo é preservada sob a tradução ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. Elevação das Relações de Implicação:
   Usando a tradução $T$, os autores elevam as relações de implicação racional defensível do caso proposicional para o caso PDSL. Para uma estratégia de classificação $r$ (que atribui uma função de classificação a uma base de conhecimento), a relação de implicação $| \approx_r$ em PDSL é definida tal que $\mathcal{K} | \approx_r \varphi$ se, e somente se, o pre-imagem do modelo classificado proposicional $r(T(\mathcal{K}))$ satisfaz $\varphi$.
   Esta abordagem permite o uso de algoritmos proposicionais existentes (como o DefeasibleEntail) para realizar a verificação de implicação em PDSL.

4. Instanciações Específicas:
   O arcabouço é aplicado a dois sistemas conhecidos de implicação racional:

   • Fechamento Racional (Rational Closure): Definido via a função de classificação mínima. O artigo mostra que o Fechamento Racional na PDSL evita as fraquezas inferenciais da implicação monotônica, permitindo a herança de crenças típicas na ausência de conflito direto.
   • Fechamento Lexicográfico (Lexicographic Closure): Introduzido para resolver o "problema do afogamento" (onde uma exceção em um atributo bloqueia a herança de crenças típicas não relacionadas). Os autores demonstram que o Fechamento Lexicográfico na PDSL distingue com sucesso entre crenças não relacionadas, permitindo que uma sub-perspectiva herde crenças que não estão envolvidas na exceção específica.

Principais Resultados

• Expressividade: A introdução de condicionais situados permite que a PDSL expresse toda a sua sintaxe usando uma estrutura análoga aos condicionais proposicionais, facilitando a tradução para a lógica KLM.
• Força Inferencial: A implicação não monotônica proposta ($| \approx_r$) é estritamente mais forte que a anterior implicação monotônica ($\models_P$). Ela suporta com sucesso a herança de crenças típicas para sub-perspectivas e a derivação de consequências a partir de crenças típicas, o que $\models_P$ falhou em fazer.
• Preservação de Complexidade: A complexidade da verificação de implicação no fragmento PDSL proposto é idêntica à do caso proposicional.
  • Verificar o Fechamento Racional é $P^{NP}_{||}$-completo.
  • Verificar o Fechamento Lexicográfico é $P^{NP}$-completo.
  • Isso é alcançado porque a tradução $T$ é linear, e os algoritmos proposicionais subjacentes podem ser usados diretamente.
• Tratamento de Modalidades de Diamante: O artigo introduz um operador de "negação como falha" (not) para lidar com modalidades de diamante ($\Diamond_e \alpha$) dentro do arcabouço não monotônico. Isso permite o "raciocínio corajoso" (brave reasoning) em relação à possibilidade: se uma possibilidade não é precluída pela base de conhecimento, ela é considerada implicada.

Significância e Alegações
O artigo alega fornecer um método sistemático para integrar o raciocínio não monotônico em lógicas de perspectiva, abordando a natureza "inferencialmente fraca" das abordagens monotônicas anteriores. Ao estabelecer uma tradução fiel entre um fragmento da PDSL e a lógica KLM proposicional, os autores permitem a aplicação direta de sistemas de implicação racional estabelecidos (Fechamento Racional e Lexicográfico) ao raciocínio de múltiplas perspectivas.

A significância reside em:

1. Resolver a Fraqueza Inferencial: Permitir que a PDSL realize o raciocínio prototípico onde sub-perspectivas herdam crenças típicas e implicações defensíveis propagam-se dentro de perspectivas específicas.
2. Resolver o Problema do Afogamento: Demonstrar que o Fechamento Lexicográfico pode ser aplicado à PDSL para evitar que exceções não relacionadas bloqueiem a herança de crenças típicas.
3. Eficiência Computacional: Provar que estas inferências não monotônicas avançadas podem ser computadas usando algoritmos proposicionais existentes sem aumentar a classe de complexidade computacional.

Os autores concluem que seu trabalho preenche a lacuna entre a expressividade das lógicas de perspectiva e as robustas capacidades de inferência do raciocínio do tipo KLM, oferecendo um arcabouço prático para o raciocínio com pontos de vista conflitantes e típicos.