A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)
Résumé
Computing acceptability semantics of abstract argumentation frameworks is receiving increasing attention. Large-scale instances, with a clustered structure, have shown particularly difficult to compute. This paper presents a distributed algorithm, AFDivider, that enumerates the acceptable sets under several labelling-based semantics. This algorithm starts with cutting the argumentation framework into clusters thanks to a spectral clustering method, before computing simultaneously in each cluster parts of the labellings. This algorithm is proven to be sound and complete for the stable, complete and preferred semantics, and empirical results are presented.
Le calcul de l’acceptabilité dans les systèmes d’argumentation reçoit une attention croissante. Dans les systèmes de grande envergure, avec une structure en clusters, ce calculs e montre particulièrement difficile. Cet article présente un algorithme distribué, AFDivider, qui énumère les ensembles acceptables sous plusieurs sémantiques, en commençant par découper le système d’argumentation en clusters grâce à une méthode de partitionnement spectral, avant de calculer simultanément dans chaque partition des parties des en-sembles acceptables. Cet algorithme est prouvé correct et complet pour les sémantiques stable, complète et préférée,et des résultats empiriques sont présentés.
Fichier principal
A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation.pdf (238.53 Ko)
Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte