Resumo Técnico: Rejeição de Argumentos Baseada em Dúvida em Argumentação Bipolar Estruturada

Problema

Os atuais frameworks de argumentação computacional, particularmente aqueles baseados em argumentação abstrata (ex: semânticas de Dung), frequentemente dependem de duas suposições que divergem das práticas de raciocínio informal:

1. Aceitação Automática de Argumentos Defendidos: As semânticas formais (especificamente as semânticas completas) tipicamente exigem que agentes racionais aceitem todos os argumentos que conseguem defender. Em contraste, abordagens informais permitem que agentes rejeitem argumentos defendidos se nutrirem dúvidas sobre premissas específicas, mesmo na ausência de um contra-argumento formal.
2. Avaliação Holística de Argumentos: Abordagens formais frequentemente tratam argumentos como unidades atômicas, avaliando-os como um todo. Abordagens informais sugerem que agentes naturalmente avaliam sentenças ou afirmações específicas dentro de um debate, em vez de estruturas de argumentos inteiras.

Frameworks de argumentação bipolar existentes (que incluem relações de suporte) frequentemente ainda dependem de semânticas baseadas em completude ou semânticas de suporte dedutivo que forçam a aceitação de argumentos suportados, falhando em capturar a nuance da "dúvida", onde um agente aceita as premissas, mas rejeita a inferência ou a conclusão.

Metodologia

Os autores propõem Frameworks de Argumentação Bipolar Estruturada (SBAFs) para integrar a argumentação estruturada (premissas e conclusões) com relações bipolares (ataques e suportes).

1. Definição do Framework

• Linguagem ($L$): Definida como uma tupla $\langle L, \bowtie, n \rangle$, onde $L$ é um conjunto de sentenças, $\bowtie$ é uma função de incompatibilidade simétrica (contrariedade) e $n$ é uma função de nomeação que mapeia estruturas de argumentos para sentenças que representam alegações de inferência.
• Argumentos: Definidos como tuplas $\langle Prem(a), Conc(a) \rangle$, onde $Prem(a)$ é um conjunto finito não vazio de sentenças e $Conc(a)$ é uma sentença.
• Relações:
  • Ataque ($\rightarrow$): Um argumento $a$ ataca $b$ se $Conc(a)$ for incompatível com uma sentença em $Sent(b)$ (rebatimento/rebuttal) ou se $Conc(a)$ for incompatível com o nome de $b$ (subcorte/undercut).
  • Suporte ($\rightarrow\!\!\!\rightarrow$): Um conjunto de argumentos $E$ suporta um argumento $a$ se $Prem(a) \subseteq Sent(E)$. Isso captura o "suporte de premissa" e o "suporte de compartilhamento de premissas" (exaustão).

2. Semântica

O artigo introduz duas camadas de semântica: Semântica de Argumentos (avaliando conjuntos de argumentos) e Semântica de Linguagem (avaliando conjuntos de sentenças). Ambas as camadas oferecem variantes "Fortes" e "Fracas" para modelar diferentes interpretações de dúvida.

Semântica de Argumentos

Os autores definem Extensões de Argumentos Coerentes como extensões admissíveis que satisfazem condições de fechamento específicas em relação ao suporte:

• Coerência Forte: Uma extensão $E$ é fortemente coerente se satisfizer o Fechamento de Suporte Forte: Se $E$ suporta $a$ e $E$ não contém informação de subcorte para $a$, então $a \in E$. Isso força a aceitação de argumentos suportados, a menos que sejam explicitamente subcortados.
• Coerência Fraca: Uma extensão $E$ é fracamente coerente se satisfizer o Fechamento de Suporte Fraco: Se $E$ suporta $a$, $E$ não contém informação de subcorte para $a$, e $E$ defende $a$, então $a \in E$. Isso permite que agentes rejeitem argumentos suportados se eles não forem defendidos, efetivamente modelando a dúvida sobre a inferência, mesmo que as premissas sejam aceitas.

Semântica de Linguagem

Para abordar a avaliação de sentenças diretamente, os autores definem Extensões de Linguagem Adequadas:

• Conjunto de Argumentos Forte ($Args(S)$): O conjunto de argumentos cujas premissas estão em $S$ e cujos nomes não estão em $S$.
• Conjunto de Argumentos Fraco ($Arg_w(S)$): Definido via construção de ponto fixo análoga às extensões completas, garantindo que argumentos defendidos sejam incluídos.
• Extensões Fortemente/Fracamente Adequadas: Um conjunto de sentenças $S$ é adequado se for compatível (sem sentenças incompatíveis), satisfaz o fechamento de sentença (inclui conclusões de argumentos aceitos) e o conjunto de argumentos correspondente (forte ou fraco) defende todos os seus argumentos.

Principais Contribuições

1. Formalização da Dúvida: O artigo formaliza o conceito de "reação crítica" onde um agente pode rejeitar um argumento defendido baseado na dúvida sobre uma premissa ou inferência, desde que não haja suporte para remover essa dúvida. Isso é alcançado relaxando o requisito de aceitar todos os argumentos defendidos encontrados nas semânticas completas.
2. Perspectiva Dual (Argumento vs. Linguagem): O framework fornece semânticas tanto para extensões de argumentos quanto para extensões de linguagem. Isso permite que agentes se comuniquem baseados em sentenças aceitas em vez de estruturas de argumentos complexas, aproximando a lacuna entre a argumentação abstrata e a estruturada.
3. Novo Espectro Semântico: As semânticas propostas (Coerência Forte/Fraca e Adequação) ocupam um espaço teórico entre as semânticas admissíveis e completas. Elas são mais fracas que as semânticas completas (permitindo a rejeição de argumentos defendidos) mas mais fortes que as semáticas admissíveis (respeitando as relações de suporte).
4. Reinterpretação de Semânticas Existentes:
   • Semânticas Preferenciais: O artigo mostra que, em frameworks saturados, as extensões preferenciais correspondem a extensões fracamente coerentes confiantes. Isso implica que maximizar argumentos aceitos é equivalente a maximizar sentenças aceitas apenas sob condições estruturais específicas (saturação forte).
   • Semântica de Suporte Dedutivo: O artigo demonstra que a coerência forte coincide com a d-admissibilidade (semântica de suporte dedutivo) quando os argumentos possuem exatamente uma premissa única e não existe informação de subcorte, generalizando o suporte dedutivo para estruturas de argumentos mais complexas.

Resultados e Achados Teóricos

• Direcionalidade: A coerência fraca satisfaz a propriedade de direcionalidade (argumentos só afetam a aceitabilidade se estiverem conectados via caminhos direcionados), enquanto a coerência forte não satisfaz.
• Correspondência: Em SBAFs saturados, há uma correspondência direta entre extensões de argumentos coerentes e extensões de linguagem adequadas.
• Estratégias de Maximização: A estratégia de maximizar argumentos aceitos (extensões preferenciais) e maximizar sentenças aceitas (extensões fracamente coerentes confiantes) nem sempre coincidem. Elas coincidem apenas em frameworks fortemente saturados, onde há argumentos mínimos para todas as sentenças.
• Subcorte (Undercutting): O framework lida explicitamente com o subcorte através da função de nomeação, permitindo que agentes rejeitem inferências mesmo se as premissas forem aceitas, desde que a alegação de inferência seja atacada.

Significância e Alegações

O artigo afirma oferecer uma nova perspectiva sobre a argumentação computacional informada por teorias informais (filosofia, linguística). Sua principal significância reside em:

• Ponte entre o Formal e o Informal: Incorpora a intuição informal de que agentes podem duvidar e rejeitar argumentos sem um contra-argumento completo, e que agentes raciocinam sobre sentenças diretamente.
• Generalização: Generaliza as semânticas bipolares existentes (especificamente a semântica de suporte dedutivo) para argumentos estruturados com premissas complexas.
• Flexibilidade: Ao distinguir entre interpretações fortes e fracas, o framework permite modelar diferentes níveis de ceticismo ou compromisso dos agentes.
• Clarificação do Suporte: Clarifica quando a argumentação abstrata (ignorando o suporte) é apropriada (em frameworks fortemente saturados com semânticas preferenciais) e quando o suporte estruturado é necessário.

Os autores observam que sua abordagem implementa uma "noção generosa de dúvida", o que pode dificultar o ato de forçar agentes a aceitar argumentos. Eles sugerem que trabalhos futuros poderiam distinguir entre sentenças duvidosas e um "terreno comum" de sentenças aceitas, mas não implementam isso dentro do framework atual. O artigo conclui que os SBAFs fornecem um mecanismo robusto para avaliar debates onde a estrutura dos argumentos e as sentenças específicas envolvidas são críticas para o processo de raciocínio do agente.