Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

1. Declaração do Problema

O artigo aborda uma tensão fundamental na lógica deôntica entre sistemas baseados em preferências (que modelam obrigações por meio de ordenações de mundos) e sistemas baseados em normas (que modelam obrigações por meio de regras explícitas e raciocínio não monótono).

• A Questão Central: Sistemas baseados em preferências (por exemplo, Hansson, Lewis) são excelentes para lidar com o raciocínio Contra o Dever (CTD), mas sofrem de monotonicidade. Uma vez que uma obrigação é derivada, ela não pode ser retirada por novas informações. Isso leva ao Problema do Reforço: se "Você não deve comer com os dedos" ($\bigcirc \neg f$) e "Se servido com aspargos, você deve comer com os dedos" ($\bigcirc (f|a)$) estiverem ambos presentes, a semântica de preferência padrão força a conclusão de que "Você não deve ser servido com aspargos" ($\bigcirc \neg a$).
• A Falácia da Exceção Proibida: Esse resultado trata a exceção (aspargos) como uma proibição global, o que é contra-intuitivo. A exceção deve apenas sobrepor a regra geral em contextos específicos, não negar a existência da própria exceção.
• O Efeito de Afogamento: Em muitas abordagens não monótonas, se uma obrigação geral é sobreposta, ela "afoga" (desaparece completamente), tornando impossível verificar se a regra geral foi violada no contexto específico.
• Crítica de Horty: John Horty argumentou que sistemas baseados em preferências não podem modelar adequadamente o raciocínio normativo derrogável porque não conseguem distinguir entre mundos "ideais" (onde as obrigações são cumpridas) e mundos "normais" (onde ocorrem exceções) sem colapsar a lógica.

2. Metodologia: Um Framework de Dois Níveis

Parent propõe um framework semântico bi-preferencial de dois níveis que integra um mecanismo de raciocínio não monótono em uma lógica deôntica diádica baseada em preferências.

A. Duas Ordenações Distintas

O framework emprega duas ordenações separadas sobre mundos possíveis ($W$):

1. Ordenação de Normalidade ($\leq_N$): Classifica mundos com base no quão bem eles conformam-se a condicionais de normalidade (por exemplo, "Normalmente, se A então B").
   • Método: Utiliza LEX (Ordenação Lexicográfica), baseada no trabalho de Lehmann.
   • Mecanismo: Os mundos são classificados pelo número de condicionais violados, priorizando a especificidade. Um mundo que viola uma regra específica é classificado abaixo de um que viola uma regra geral. Isso previne o erro "f-DIS" (baseado em distância plana), onde violações específicas e gerais são tratadas igualmente.
2. Ordenação de Idealidade ($\leq_I$): Classifica mundos com base no quão bem eles conformam-se a obrigações condicionais (por exemplo, "Se A, então você deve B").
   • Método: Utiliza DEL (Método de Delgrande).
   • Mecanismo: Um mundo é "melhor" se violar menos obrigações. Crucialmente, uma obrigação não é considerada violada se uma obrigação sobreposta mais específica for acionada e cumprida. Isso resolve o problema do "afogamento".

B. As Condições de Verdade

A lógica introduz um condicional de normalidade ($\triangleright$) e uma obrigação condicional ($\bigcirc$).

• Normalidade ($A \triangleright B$): Verdadeiro se todos os mundos $A$ mais normais são mundos $B$.
• Obrigação Condicional ($\bigcirc(B|A)$): Verdadeiro se o conjunto de mundos $A \land B$ mais normais é estritamente melhor (sob $\leq_I$) do que o conjunto de mundos $A \land \neg B$ mais normais.
  • Inovação Chave: Ao restringir a avaliação das obrigações aos mundos mais normais, o framework filtra cenários "anormais" (como ser servido com aspargos) ao avaliar a obrigação geral. Isso impede que a obrigação geral seja "afogada" pela exceção.

C. Camada Não Monótona

A relação de consequência ($\vdash$) é definida sobre uma teoria $\Delta = (\Gamma, R)$, onde $R$ contém condicionais de normalidade e obrigações.

• Derrogabilidade: Novas informações (por exemplo, "Você foi servido com aspargos") alteram o conjunto de mundos "mais normais", alterando assim quais obrigações valem.
• Postulados: O sistema satisfaz postulados não monótonos chave:
  • Inclusão: Condicionais explícitos são consequentes (a menos que inconsistentes).
  • Reforço Derrogável do Antecedente (SA): Permite inferir $\bigcirc(B|A \land C)$ a partir de $\bigcirc(B|A)$, a menos que $C$ acione um derrotador específico.
  • Sem-Afogamento: Garante que obrigações sobrepostas não desapareçam; elas permanecem válidas para verificar conformidade no contexto específico.

3. Contribuições Principais

1. Resolução da Falácia da Exceção Proibida: Ao separar normalidade e idealidade, o framework permite que um mundo onde "aspargos são servidos e dedos são usados" seja menos ideal (violando a regra geral) mas ainda normal (satisfazendo a regra específica). Evita-se concluir que "aspargos não devem ser servidos".
2. Eliminação do Efeito de Afogamento: O framework garante que, quando uma obrigação específica sobrepuja uma geral, a obrigação geral não é apagada. Ela permanece aplicável para verificações de conformidade normativa (por exemplo, determinar se uma violação ocorreu).
3. Embutimento Fiel na Lógica I/O Constrained: O autor prova que o fragmento deôntico deste sistema baseado em preferências pode ser fielmente embutido na Lógica de Entrada/Saída (I/O) Constrained (um sistema baseado em normas).
   • Isso une a lacuna entre as abordagens model-teóricas (preferência) e operacionais (baseadas em normas).
   • O embutimento mapeia obrigações condicionais para pares I/O onde o corpo inclui a negação de todos os derrotadores (obrigações mais específicas).
4. Análise de Complexidade: O embutimento implica que a consequência neste sistema tem um limite de complexidade $\Pi^P_2$, comparável ao raciocínio cético na lógica padrão, que é superior à complexidade co-NP de bases monótonas.

4. Resultados

• Validação Teórica: O artigo fornece provas formais (nos apêndices) para a suavidade da ordenação de normalidade, a validade dos postulados não monótonos (Inclusão, Sem-Afogamento) e a fidelidade do embutimento na Lógica I/O Constrained.
• Estudo de Caso (O Exemplo dos Aspargos): O framework deriva com sucesso:
  • $\bigcirc(\neg f | \text{aspargos})$ é falso (a exceção sobrepuja).
  • $\bigcirc(n | \text{aspargos})$ é verdadeiro (a regra geral de usar guardanapo vale).
  • $\bigcirc(\neg a)$ é falso (não é obrigatório evitar ser servido com aspargos).
  • $\bigcirc(\neg f)$ é verdadeiro (a regra geral vale em contextos normais).

5. Significado

• Unificação: Este trabalho representa um passo significativo em direção à unificação dos dois paradigmas dominantes na lógica deôntica: semântica baseada em preferências (boa para CTD) e semântica baseada em normas (boa para derrogabilidade).
• Aplicação Prática: Ao resolver os problemas de "afogamento" e "exceção proibida", o framework é mais adequado para tarefas de raciocínio normativo do mundo real, como raciocínio jurídico e verificação de conformidade, onde distinguir entre uma violação e uma exceção é crítico.
• Impacto Fundacional: Estabelece um novo padrão para modelar obrigações condicionais derrogáveis, oferecendo uma perspectiva model-teórica sobre a lógica I/O Constrained que anteriormente faltava.

Em resumo, o artigo de Parent constrói com sucesso um framework semântico robusto que retém as forças intuitivas da lógica baseada em preferências, incorporando a maquinaria não monótona necessária para lidar com exceções e normas conflitantes sem colapso lógico.