Raciocínio Preferido em ABA por Quebra de Ciclo

Desenvolvemos um algoritmo com parâmetros fixos (FPT) para raciocínio preferido cético em argumentação baseada em suposições (ABA). Para tal, utilizamos os chamados backdoors, ou seja, conjuntos de suposições que precisam ser avaliados de forma que a estrutura ABA restante (ABAF) pertença a uma subclasse computacionalmente benéfica. Para identificar tais classes-alvo, empregamos uma noção adequada de um grafo de dependência de um ABAF. Demonstramos que esses grafos podem ser construídos em tempo polinomial e que é possível verificar eficientemente propriedades suficientes que garantam que o raciocínio no ABAF subjacente seja tratável. Após estabelecer as bases teóricas, testamos nossa implementação contra o solucionador ASPforABA, que venceu de forma convincente a modalidade ABA da competição ICCMA'23. Acontece que nosso algoritmo supera o ASPforABA em instâncias com tamanhos de backdoor pequenos.