Handling Support Cycles in the Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: An Improvement

Marie-Christine Lagasquie-Schiex (1)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

We propose an improvement of our previous work (Cayrol, C., Lagasquie-Schiex, M.C.: Logical encoding of argumentation frameworks with higher-order attacks and evidential supports. International Journal on Artificial Intelligence Tools 29(3-4), 2060003:1–2060003:50 (June 2020). https://doi.org/10.1142/s0218213020600039). This work concerned a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks/supports whose targets are arguments or other attacks/supports) with an evidential meaning for supports (such frameworks are called REBAF). Then this encoding has been used for giving a characterization of REBAF semantics. We show in the current paper that the encoding proposed in [25] has some weaknesses when support cycles exist in the REBAF. Our aim is to solve these weaknesses and so to propose a new characterisation that allows to take into account support cycles whatever is the type of these support cycles.

Domaines: Intelligence artificielle [cs.AI]

Marie-Christine Lagasquie-Schiex. Handling Support Cycles in the Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: An Improvement. [Research Report] IRIT/RR--2021--04--FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2021. ⟨hal-03236475⟩