Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation

Resumo Técnico: Estruturas de Argumentação Dependentes de Contexto e Ativação Estratégica

Definição do Problema
O artigo aborda uma lacuna na teoria da argumentação formal padrão em relação à avaliação de argumentos sob regimes externos variáveis. Em cenários do mundo real, como revisões arquitetônicas, o mesmo conjunto de argumentos e seus conflitos permanecem fixos, mas a "lente" através da qual são avaliados muda com base nas prioridades do revisor (ex: desempenho vs. confiabilidade vs. custo). As estruturas de Dung (1995) padrão carecem de um mecanismo para modelar essa seleção de regime. As Estruturas de Argumentação Baseadas em Valores (VAFs) (Bench-Capon 2003) permitem diferentes padrões de derrota por meio de preferências do público, mas são limitadas: um público pode apenas reclassificar valores, não desativá-los inteiramente. Consequentemente, as VAFs não conseguem capturar cenários onde um agente escolhe estrategicamente excluir perspectivas específicas do processo de avaliação para alcançar um resultado desejado.

Metodologia: Estruturas de Argumentação Dependentes de Contexto (CDAFs)
Os autores introduzem as Estruturas de Argumentação Dependentes de Contexto (CDAFs) como uma extensão da teoria de Dung. Uma CDAF é definida como uma tupla $\langle A, R, C, \delta \rangle$, onde:

• $A$ é um conjunto finito de argumentos.
• $R \subseteq A \times A$ é a relação de ataque.
• $C$ é um conjunto finito de contextos.
• $\delta: C \times R \to \{0, 1\}$ é uma função de derrota que determina, para cada contexto, quais ataques têm sucesso.

O artigo foca em uma CDAF rotulada por perspectiva especializada, onde a função de derrota é derivada em vez de dada. Os argumentos recebem perspectivas de origem ($src: A \to \Pi$). Um contexto é definido por:

1. Conjunto de Relevância ($\rho$): Um subconjunto de perspectivas ativas ($\rho \subseteq \Pi$). Isso representa o espaço de ação ou a "lente" do agente.
2. Função de Prioridade ($\pi$): Um ranking de perspectivas dentro do contexto.

Um ataque $(a, b)$ tem sucesso em um contexto se, e somente se, a perspectiva do atacante estiver ativa ($src(a) \in \rho$) e a prioridade do atacante for maior ou igual à do defensor ($\pi(src(a)) \geq \pi(src(b))$). Crucialmente, isso cria uma assimetria: desativar uma perspectiva silencia todos os ataques montados por argumentos dessa perspectiva, mas esses argumentos permanecem presentes na estrutura e ainda podem ser defendidos ou aceitos se não forem atacados por perspectivas ativas.

Principais Contribuições e Resultados

1. Ativação Estratégica: O artigo demonstra que variar o conjunto de relevância $\rho$ (ativando/desativando perspectivas) pode gerar resultados de aceitação impossíveis de serem alcançados em VAFs.

   • Exemplo Prático: Os autores constroem um cenário com os argumentos $\{a, b, t, d\}$ e as perspectivas $\{\alpha, \beta, \gamma\}$. O argumento alvo $t$ está estruturalmente encurralado: sob relevância total (todas as perspectivas ativas), $t$ é rejeitado porque seu defensor $b$ também ataca $t$. No entanto, ao desativar a perspectiva $\alpha$ (definindo $\rho = \{\beta, \gamma\}$), o ataque de "fogo amigo" $(a, t)$ é silenciado. Isso permite que $t$ seja aceito via uma extensão preferida, um resultado inalcançável sob qualquer prioridade injetiva em um cenário de relevância total.
   • Limitação das VAFs: O artigo prova que o padrão de derrota induzido pela ativação parcial (ex: $\rho = \{\gamma\}$, onde os ataques mútuos entre $a$ e $b$ ambos falham) não pode ser realizado por qualquer público de VAF, pois os públicos de VAF exigem uma ordem total estrita sobre os valores, garantindo que pelo menos uma direção de um ataque mútuo tenha sucesso.

2. Problema de Decisão: MANIPULAÇÃO-DE-ATIVAÇÃO: Os autores formalizam a questão estratégica como um problema de decisão: Dado um framework, uma prioridade fixa e um argumento alvo $t$, existe um subconjunto não vazio $\rho \subseteq \Pi$ tal que $t$ é credulamente $\sigma$-aceito?

   • Limites de Complexidade:
     • Para as semânticas Grounded ($gr$), Stable ($stb$) e Preferred ($pref$), o problema mostra-se estar em NP. Os autores observam que, embora verificar uma extensão preferida seja tipicamente co-NP, a aceitação preferida credulosa coincide com a admissibilidade credulosa, permitindo que o problema seja resolvido supondo $\rho$ e um conjunto admissível em uma única computação NP.
     • Para as semânticas Stable e Preferred, o problema é NP-difícil (e, portanto, NP-completo) via redução da aceitação padrão de Dung.
     • Para a semântica Grounded, o problema está em P, embora permaneça em aberto se a liberdade de escolher $\rho$ eleva a variante grounded para NP-completude.
   • Restrição: A exigência de que $\rho$ seja não vazio é essencial; um $\rho$ vazio desativaria todos os ataques, aceitando trivialmente todos os argumentos.

Significância e Escopo
O artigo reivindica significância principalmente ao definir um novo formalismo que captura uma alavanca estratégica específica: a capacidade de selecionar quais regimes (perspectivas) governam um processo de argumentação, distinguindo-se de meramente reclassificá-los. Isso modela cenários onde um agente controla o "fórum" ou a "trilha" de um debate, em vez da lógica interna dos revisores.

Os autores mantêm um escopo modesto, declarando explicitamente que um estudo completo da estrutura está além do foco do artigo. Eles identificam várias direções abertas:

• Determinar limites de complexidade precisos, particularmente para a variante grounded.
• Explorar o design de mecanismos onde a seleção de $\rho$ é restringida por custos ou inclusões obrigatórias.
• Investigar variantes multiagente onde agentes determinam $\rho$ conjuntamente através de dinâmicas cooperativas ou adversariais.
• Examinar o fenômeno em ambientes aplicados, como sistemas de memória de agentes multi-perspectiva.

O trabalho distingue-se da Argumentação de Controle (que altera a estrutura) e da Manipulação em Argumentação Incompleta (que altera a estrutura), posicionando as CDAFs como um modelo onde a estrutura é fixa, mas a função de derrota é modulada dinamicamente pela escolha do agente sobre as perspectivas ativas.