A structural benchmark for logical argumentation frameworks

Bruno Yun (1) , Srdjan Vesic (2) , Madalina Croitoru (1) , Pierre Bisquert (1) , Rallou Thomopoulos (1)

1 GRAPHIK - Graphs for Inferences on Knowledge
2 CRIL - Centre de Recherche en Informatique de Lens

This paper proposes a practically-oriented benchmark suite for computational argumentation. We instantiate abstract argumentation frameworks with existential rules, a language widely used in Semantic Web applications and provide a generator of such instantiated graphs. We analyse performance of argu-mentation solvers on these benchmarks.

Domaines: Informatique et langage [cs.CL]

Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, Rallou Thomopoulos. A structural benchmark for logical argumentation frameworks. IDA: Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. pp.334-346, ⟨10.1007/978-3-319-68765-0_28⟩. ⟨lirmm-01668017⟩