Raisonnement Préféré en ABA par Interruption de Cycle

Nous développons un algorithme à paramètres fixes (FPT) pour le raisonnement préférentiel sceptique dans l'argumentation basée sur des hypothèses (ABA). À cette fin, nous utilisons ce qu'on appelle des portes de secours, c'est-à-dire des ensembles d'hypothèses qui doivent être évalués de sorte que le cadre ABA restant (ABAF) appartienne à une sous-classe computationnellement bénéfique. Pour identifier de telles classes cibles, nous employons une notion appropriée de graphe de dépendance d'un ABAF. Nous montrons que ces graphes peuvent être construits en temps polynomial et qu'il est possible de vérifier efficacement les propriétés suffisantes garantissant que le raisonnement dans l'ABAF sous-jacent est gérable. Après avoir établi les fondements théoriques, nous testons notre mise en œuvre contre le solveur ASPforABA qui a convaincu en remportant la piste ABA de la compétition ICCMA'23. Il s'avère que notre algorithme surpasse ASPforABA sur des instances avec de petites tailles de portes de secours.