Skip to Main content Skip to Navigation
Reports

RAFDivider

Sylvie Doutre 1 Marie-Christine Lagasquie-Schiex 2 
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : The topic of this work is related to a computational issue concerning an enriched abstract argumentation framework called RAF ("Recursive Argumentation Framework"). A RAF is composed of a set of arguments and a binary relation modelling the attacks as in Dung's framework. The main difference between Dung's framework and RAF is the fact that a RAF is able to take into account higher-order interactions (i.e. an attack can target an attack and not only an argument). Since this kind of framework is relatively recent, the efficient computation of the main semantics remains an open question. In this paper, we propose one of the first algorithms dedicated to this issue. We also prove the soundness and the completeness of our algorithms.
Document type :
Reports
Complete list of metadata

https://ut3-toulouseinp.hal.science/hal-03719439
Contributor : Marie-Christine Lagasquie-Schiex Connect in order to contact the contributor
Submitted on : Monday, July 11, 2022 - 11:22:17 AM
Last modification on : Tuesday, July 12, 2022 - 3:52:28 AM

File

Rapport-IRIT-2022-07.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03719439, version 1

Citation

Sylvie Doutre, Marie-Christine Lagasquie-Schiex. RAFDivider. [Research Report] IRIT/RR--2022--07--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48. ⟨hal-03719439⟩

Share

Metrics

Record views

43

Files downloads

0