RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks - Université Toulouse III - Paul Sabatier - Toulouse INP
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2023

RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks

Résumé

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 of a binary relation which models the attacks as in Dung’s seminal argumentation framework. The main difference between Dung’s framework and a 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). This kind of framework is recent enough for an efficient computation of its main semantics to remain an open question. In this paper, we propose one of the first algorithms dedicated to this issue, RAFDivider. We prove its soundness and its completeness.
Fichier non déposé

Dates et versions

hal-04184838 , version 1 (22-08-2023)

Identifiants

Citer

Sylvie Doutre, Marie-Christine Lagasquie-Schiex. RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. Journal of Applied Non-Classical Logics, 2023, Logic, arguments, inconsistencies: festschrift in honour of Philippe Besnard, 33 (3-4), pp.244-297. ⟨10.1080/11663081.2023.2244715⟩. ⟨hal-04184838⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

More