Constrained Assumption-Based Argumentation Frameworks

1. O Problema

O Argumentação Baseada em Suposições (ABA) é um formalismo bem estabelecido para raciocínio não monotônico, onde argumentos são deduções baseadas em regras e suposições, e ataques ocorrem quando a conclusão de um argumento contradiz uma suposição de outro.

No entanto, a maioria das instâncias práticas do ABA (especialmente aquelas baseadas em Programação Lógica) restringe-se a uma linguagem proposicional (atômica). Isso significa que:

• As regras e argumentos devem ser "ground" (sem variáveis).
• Para lidar com domínios infinitos ou variáveis, é necessário realizar uma instanciação completa (grounding) de todas as regras antes da análise.
• Se o domínio for infinito (ex: números reais, inteiros) ou se os indivíduos não forem conhecidos a priori, o grounding pode ser computacionalmente inviável ou até mesmo impossível (infinito).

O artigo identifica a necessidade de um framework que permita o uso de variáveis e restrições (constraints) diretamente na estrutura argumentativa, evitando a necessidade de um grounding prévio e explícito.

2. Metodologia

Os autores propõem o CABA (Constrained Assumption-Based Argumentation), uma extensão do ABA que integra um solucionador de restrições (Constraint Solver) ao paradigma de argumentação.

Componentes Principais do CABA:

• Linguagem Atômica com Restrições: O framework utiliza uma linguagem atômica onde as regras podem conter variáveis e restrições (ex: $I \ge 0$, $X < 5$).
• Teoria de Restrições (CT): Um sistema formal (como Aritmética Linear Racional) que define a validade das restrições e permite operações lógicas sobre elas.
• Argumentos Confinados (Constrained Arguments): Em vez de árvores de dedução com fatos concretos, os argumentos são definidos como árvores que contêm:
  • Um conjunto de restrições ($C$).
  • Um conjunto de suposições ($A$).
  • Um conjunto de regras ($R$).
  • Uma conclusão ($s$).
  • Um argumento é representado como $C \cup A \vdash_R s$.
• Tipos de Argumentos:
  • Argumento Confinado Apertado (Tight): Construído diretamente das regras normalizadas.
  • Argumento Confinado Mais Geral (Most General - MGC): O argumento com a maior generalidade possível (usando variáveis livres), do qual todos os outros argumentos são instâncias.

Semântica e Ataques:
O papel central é a definição de ataques entre argumentos confinados, que não dependem de instanciar todas as variáveis, mas sim de verificar a consistência lógica das restrições:

• Ataque Total (Full Attack): Ocorre se as restrições do argumento atacante implicam logicamente a negação das restrições do argumento atacado (em todas as instâncias possíveis).
• Ataque Parcial (Partial Attack): Ocorre se existe pelo menos uma instância comum onde as restrições de ambos os argumentos são consistentes e o ataque ocorre.

Semântica de Extensões:
Os autores definem extensões (Conflito-livre, Admissível, Estável) diretamente sobre os argumentos confinados, utilizando os conceitos de ataque total e parcial, sem precisar converter o framework para o ABA ground.

3. Principais Contribuições

1. Definição Formal do CABA: Introdução de um novo formalismo que generaliza o ABA padrão, permitindo variáveis e domínios infinitos através de restrições.
2. Semântica Não-Ground: Definição de semânticas de extensão (conflito-livre, admissível, estável) que operam diretamente sobre argumentos com variáveis e restrições.
3. Generalização Conservativa: Demonstração teórica de que o CABA é uma generalização conservativa do ABA padrão. Ou seja, se um framework CABA não tiver variáveis (for ground), ele se comporta exatamente como um framework ABA tradicional.
4. Mapeamento e Equivalência: Prova de que as extensões no CABA correspondem às extensões no framework ABA ground derivado, mas sem a necessidade de calcular o ground explicitamente.
5. Procedimento de "Argument Splitting": Desenvolvimento de um algoritmo que transforma um conjunto de argumentos confinados em um conjunto equivalente, disjunto de instâncias e não sobreposto. Isso permite a construção de extensões finitas mesmo quando o conjunto ground correspondente é infinito.
   • O procedimento utiliza operações de split para dividir argumentos que compartilham instâncias ou que atacam parcialmente, garantindo que a análise de semântica possa ser feita de forma finita e eficiente.

4. Resultados

• Teoremas de Correspondência: Os autores provam que um conjunto de argumentos confinados é uma extensão estável/admissível no CABA se e somente se o conjunto de suas instâncias ground for uma extensão no framework ABA ground correspondente.
• Eficiência Computacional: O método proposto permite calcular extensões finitas para problemas que, se abordados via grounding tradicional, resultariam em conjuntos infinitos de argumentos.
• Exemplos Práticos: O artigo ilustra o uso do CABA em cenários de raciocínio legal (ex: decisões sobre pagamento de impostos com base em faixas de renda e tipos de renda), onde as variáveis (valor da renda) não são conhecidas previamente e o domínio é contínuo.
• Propriedades de Equivalência: Estabelecimento de relações de equivalência entre argumentos que diferem apenas por renomeação de variáveis ou restrições logicamente equivalentes, permitindo a simplificação do espaço de busca.

5. Significado e Impacto

O trabalho é significativo por várias razões:

• Quebra de Limitações Representacionais: Remove a barreira que impedia o uso do ABA em domínios com variáveis contínuas ou infinitas, expandindo sua aplicabilidade para áreas como direito, diagnóstico médico e descoberta causal.
• Eficiência: Evita o custo computacional proibitivo do "grounding" (instanciação completa) em problemas complexos, oferecendo uma abordagem declarativa que mantém a generalidade.
• Unificação: Integra conceitos de Programação Lógica com Restrições (CLP) e Argumentação Estruturada, criando uma ponte teórica sólida entre essas duas áreas.
• Fundamento para Futuras Aplicações: Abre caminho para o desenvolvimento de motores de inferência e ferramentas de decisão que lidam nativamente com incerteza numérica e variáveis simbólicas dentro de estruturas argumentativas.

Em resumo, o CABA oferece uma maneira elegante e matematicamente rigorosa de realizar raciocínio argumentativo em cenários onde os dados não são totalmente conhecidos ou pertencem a domínios infinitos, mantendo a solidez semântica do ABA tradicional.