Constructing Local Functions to Decompose Argumentation Semantics: Preliminary Results

This paper builds on a general model for the investigation on decomposability in abstract argumentation, i.e. the possibility of determining the labellings prescribed by a semantics based on evaluations of local functions in subframeworks. A constructive procedure for identifying local functions is devised, able to enforce decomposability whenever the semantics is decomposable. In particular, two kinds of local functions are identified, and some of their properties are analyzed.