Reference : On the Input/Output behavior of argumentation frameworks
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/19625
On the Input/Output behavior of argumentation frameworks
English
Baroni, Pietro [> >]
Boella, Guido [> >]
Cerutti, Federico [> >]
Giacomin, Massimiliano [> >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2014
Artificial Intelligence and Law
Elsevier Science
Yes (verified by ORBilu)
International
0004-3702
[en] Argumentation frameworks Argumentation semantics Modularity Decomposability Equivalence
[en] This paper tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical entities. This modeling stance arises naturally in some application contexts, like multi-agent systems, but, more importantly, has a crucial impact on several general application-independent issues, like argumentation dynamics, argument summarization and explanation, incremental computation, and inter-formalism translation. Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation frameworks on a solid formal ground. This is achieved by combining three main ingredients. First, several novel notions are introduced at the representation level, notably those of argumentation framework with input, of argumentation multipole, and of replacement of multipoles within a traditional argumentation framework. Second, several relevant features of argumentation semantics are identified and formally characterized. In particular, the canonical local function provides an input-aware semantics characterization and a suite of decomposability properties are introduced, concerning the correspondences between semantics outcomes at global and local level. The third ingredient glues the former ones, as it consists of the investigation of some semantics-dependent properties of the newly introduced entities, namely S-equivalence of multipoles, S-legitimacy and S-safeness of replacements, and transparency of a semantics with respect to replacements. Altogether they provide the basis and draw the limits of sound interchangeability of multipoles within traditional frameworks. The paper develops an extensive analysis of all the concepts listed above, covering seven well-known literature semantics and taking into account various, more or less constrained, ways of partitioning an argumentation framework. Diverse examples, taken from the literature, are used to illustrate the application of the results obtained and, finally, an extensive discussion of the related literature is provided.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/19625
10.1016/j.artint.2014.08.004
http://www.sciencedirect.com/science/article/pii/S0004370214001131

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1-s2.0-S0004370214001131-main.pdfPublisher postprint2.53 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.