Skip to Main content Skip to Navigation
Reports

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

Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03236475
Contributor : Marie-Christine Lagasquie-Schiex Connect in order to contact the contributor
Submitted on : Wednesday, May 26, 2021 - 11:42:44 AM
Last modification on : Wednesday, June 9, 2021 - 10:00:26 AM
Long-term archiving on: : Friday, August 27, 2021 - 7:10:41 PM

File

Rapport-IRIT-2021-04.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03236475, version 1

Citation

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⟩

Share

Metrics

Record views

36

Files downloads

24