Refining SCC decomposition in argumentation semantics: a first investigation

P. Baroni, M. Giacomin

Proc. of NMR 2006, 11th International Workshop on Non-Monotonic Reasoning, Lake District, UK, 2006, 442-450



In the recently proposed SCC-recursive approach to argumentation semantics, the strongly connected components of an argumentation framework are used as the basic elements for the incremental construction of extensions. In this paper we argue that a finer decomposition, considering some suitably defined internal substructures of strongly connected components, called autonomous fragments, may be appropriate and support, in some cases, more intuitive results than the original approach. We cast this proposal within the SCC-recursive framework, show that it satisfies some fundamental requirements and provide some examples of its potential advantages.

PDF file

Publisher's on-line resources

Return to publication list