A Distributed and Clustering-Based Algorithm for the Enumeration Problem in Abstract Argumentation

Doutre, Sylvie; Lagasquie-Schiex, Marie-Christine

doi:10.1007/978-3-030-33792-6_6

Cited by 3 publications

(1 citation statement)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Clustering on AFs, in rather different directions, is studied using semantic similarity measures of arguments (Block et al 2019), for classification (Gómez and Chesñevar 2003), and for computing reasoning tasks efficiently (Doutre, Lafages, and Lagasquie-Schiex 2019). Block argumentation (Arisaka, Santini, and Bistarelli 2019) and fibring argument frames (Gabbay 2009) can be seen as a kind of "clustering" in the sense that an argument may stand for whole AFs.…”

Section: Related Workmentioning

confidence: 99%

Existential Abstraction on Argumentation Frameworks via Clustering

Saribatur

Wallner

2021

Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning

View full text Add to dashboard Cite

Argumentation in Artificial Intelligence (AI) builds on formal approaches to reasoning argumentatively. Common to many such approaches is to use argumentation frameworks (AFs) as reasoning engines, with AFs being composed of arguments and attacks between arguments, which are instantiated from knowledge bases in a principle-based manner. While representing what can be argued for in an AF provides a conceptually clean way, this process can face challenges arising from generating a large number of arguments, which can act as a barrier to explainability. Inspired by successful approaches to model checking where the state explosion is mitigated by applying existential abstraction, we study an adaption of existential abstraction in form of clustering arguments in an AF to address an associated "argument explosion". In this paper, we provide a foundational investigation of this form of existential abstraction by defining semantics of the resulting clustered AFs, which balance two inherent aspects of existential abstractions: abstracting from concrete AFs and not permitting too much spuriousness (i.e., conclusions that hold on the abstraction but not on the original AF). Moreover, we show properties of clustered AFs, including complexity results, discuss use of clusterings for explaining results of reasoning tasks, and employ the recently introduced methodology of abstraction in answer set programming (ASP) for obtaining and reasoning over clustered AFs.

show abstract

Section: Related Workmentioning

confidence: 99%