Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version

Resumo Técnico: Sustentabilidade e Semânticas Fracas

Enunciação do Problema
Nos frameworks de argumentação abstrata no estilo de Dung (AFs), as semânticas padrão (por exemplo, completa, fundamentada, preferida) baseiam-se na admissibilidade, que exige que um conjunto de argumentos seja internamente consistente e capaz de defender cada membro contra todos os ataques relevantes simultaneamente, por meio de uma única postura uniforme. Esse requisito de "testemunha uniforme" é frequentemente excessivamente conservador na presença de padrões patológicos, como argumentos que se autodestroem ou ciclos ímpares, onde um ataque pode não constituir um desafio sério porque sua fonte é incoerente.

Embora as "semânticas fracas" existentes (por exemplo, admissibilidade fraca, abordagens baseadas em cogência, semânticas fracamente completas) relaxem a admissibilidade filtrando certos ataques (como os que se autodestroem), elas mantêm em grande parte o compromisso estrutural com uma defesa uniforme. Elas exigem uma única extensão ou rotulagem que contrarie adequadamente todos os ataques considerados relevantes de uma só vez. Os autores argumentam que isso é insuficiente para cenários onde a defensibilidade é inerentemente estratégica: a resposta apropriada a um desafio pode depender da linha de ataque específica à qual o oponente se compromete, e desafios mutuamente incompatíveis não precisam ser atendidos conjuntamente por uma única posição fixa.

Metodologia
O artigo introduz a sustentabilidade, uma família de semânticas baseadas em diálogo que formalizam a defesa não uniforme. A mudança conceitual central é de "existe uma postura que responde a todos os ataques relevantes" para "para cada linha consistente de ataque, existe uma resposta apropriada".

A metodologia emprega jogos de compromisso monótonos sobre movimentos finitos sem conflitos. Os autores definem três variantes de sustentabilidade, que diferem nas obrigações impostas aos disputantes (Proponente e Oponente):

1. Sustentabilidade Estática: Uma verificação estratégica única. Um conjunto $A$ é estaticamente sustentável se, para cada conjunto finito sem conflitos $B$ que ataca $A$, existir uma extensão sem conflitos $C \supseteq A$ que seja "tão cogente quanto" $B$ (isto é, $C$ contra-ataca cada elemento de $B$ que ataca $C$). Isso captura a ideia de que uma posição tem uma resposta para cada ataque consistente entrante, mas não leva em conta a escalada dinâmica.
2. Sustentabilidade Forte: Uma disputa dinâmica onde a Proponente deve manter uma estratégia vencedora. O jogo prossegue em movimentos alternados onde a Proponente estende sua posição para contra-atacar o ataque do Oponente. Crucialmente, o Oponente não é obrigado a defender seus próprios argumentos (uma dinâmica de "Mestre vs. Aprendiz"). A Proponente vence se puder defender indefinidamente sua posição inicial ou forçar o Oponente a uma posição onde ele não possa realizar um movimento estritamente mais cogente.
3. Sustentabilidade: Uma disputa dinâmica refinada que modela um debate "Mestre vs. Mestre". Ambos os jogadores devem argumentar de boa fé, o que significa que ambos devem defender as posições que introduzem. O jogo exige que cada movimento seja "tão cogente quanto" o movimento precedente, e o movimento do Oponente deve ser "mais cogente" (estritamente melhor) que o movimento anterior da Proponente para constituir um desafio válido. Isso previne a "troca de ataques", onde um oponente introduz argumentos incompatíveis sem defendê-los.

Principais Contribuições

• Formalização da Defesa Não Uniforme: O artigo fornece as primeiras semânticas formais onde a defesa contra um conjunto de ataques pode variar dependendo do subconjunto consistente específico de ataques apresentado pelo oponente.
• Padrões de Referência: Os autores motivam suas definições usando três padrões de referência específicos (Figura 1):
  • Ataque que se Autodestroi (S): A sustentabilidade aceita corretamente argumentos atacados apenas por conjuntos que se autodestroem, ao contrário da admissibilidade estrita.
  • Atribuição Flutuante (F): A sustentabilidade rejeita corretamente argumentos onde cada ataque singleton consistente é incontestável, mesmo que o conjunto de todos os atacantes seja inconsistente.
  • Restabelecimento Disjuntivo (U): A sustentabilidade aceita argumentos onde não existe uma única defesa uniforme, mas existe uma defesa específica para cada linha consistente de ataque (por exemplo, $c_1$ defende contra $b_1$, $c_2$ defende contra $b_2$, mas $c_1$ e $c_2$ são incompatíveis).
• Hierarquia e Propriedades: O artigo estabelece uma hierarquia estrita: Sustentabilidade Forte $\implies$ Sustentabilidade $\implies$ Sustentabilidade Estática.
  • Mostra-se que as noções de sustentabilidade são fechadas para baixo (se $A$ é sustentável, qualquer subconjunto $X \subseteq A$ é sustentável), uma propriedade distinta de muitas semânticas baseadas em extensões.
  • Elas são compatíveis com a extensão fundamentada (se $A$ é sustentável, $A \cup G$ é sustentável).
• Análise de Complexidade:
  • Decidir a Sustentabilidade Estática é $\Pi^P_2$-completa (comparável à aceitação cética em semânticas preferidas).
  • Decidir a Sustentabilidade e a Sustentabilidade Forte é PSPACE-completa (comparável à admissibilidade fraca).

Resultados

• Separação das Semânticas Existentes: O artigo prova que as noções de sustentabilidade são distintas e geralmente mais fracas que as semânticas de Cogência e Cogência Cíclica. Enquanto a Cogência exige uma linha fixa e singular de defesa, a sustentabilidade permite que a defesa mude com base no ataque.
• Relações de Inclusão: Os autores mapeiam o panorama das semânticas fracas (Figura 6), mostrando que:
  • Extensões cogentes são fortemente sustentáveis.
  • Conjuntos fortemente sustentáveis são sustentáveis.
  • Conjuntos sustentáveis são estaticamente sustentáveis.
  • Conjuntos sustentáveis estão contidos dentro de extensões Fracamente Completas (embora não necessariamente iguais).
  • Conjuntos fracamente admissíveis estão contidos dentro de extensões fracamente completas.
• Frameworks Infinitos: As definições são estendidas a frameworks infinitos. Os autores provam que a existência de estratégias vencedoras para Pro ou Oponente é absoluta e não depende do modelo de teoria dos conjuntos utilizado (ao contrário de alguns jogos infinitos gerais). Eles também demonstram que, para conjuntos infinitos, a sustentabilidade estática de um conjunto não implica a sustentabilidade estática de seus subconjuntos finitos, e vice-versa, destacando a necessidade de considerar compromissos infinitos.

Significado
O artigo afirma que a sustentabilidade adiciona um novo eixo ao panorama das semânticas fracas, tornando a não uniformidade estratégica explícita no nível abstrato. Ela preserva a intuição baseada em defesa do trabalho de Dung, enquanto relaxa o requisito de uma única testemunha uniforme.

Os autores posicionam a sustentabilidade não como um modelo autônomo para raciocínio prático em domínios ricos, mas como uma camada de avaliação dialética. Ela é particularmente adequada para:

• Raciocínio Jurídico e Evidencial: Onde debates envolvem deslocamentos do ônus da prova e onde uma parte pode precisar adaptar refutações a linhas específicas de ataque, em vez de fornecer uma única defesa abrangente contra acusações mutuamente incompatíveis.
• Explicação Interativa: Sistemas podem justificar a manutenção de uma posição exibindo uma estratégia de defesa adaptada às objeções específicas e razoáveis de um usuário, sem se comprometer com uma única extensão que antecipe todos os desafios possíveis (e potencialmente incompatíveis).

O trabalho sugere que a sustentabilidade é mais útil quando combinada com camadas de modelagem estabelecidas para estrutura, prioridades e padrões de prova, em vez de substituí-las. Os autores identificam trabalhos futuros na extensão da sustentabilidade para Frameworks de Argumentação Bipolar (BAFs) e formalismos estruturados como ASPIC+, onde a distinção entre ataque e suporte exigiria repensar os protocolos de compromisso.