HIIT seminar, Friday Mar 12, 10:15 a.m. (coffee from 10), Exactum C222

Dr. Emilia Oikarinen
Helsinki Institute for Information Technology HIIT
Department of Computer Science
University of Helsinki

Characterizing Strong Equivalence for Argumentation Frameworks

Abstract:
Since argumentation is an inherently dynamic process, it is of great
importance to understand the effect of incorporating new information
into given argumentation frameworks. In this work, we address this
issue by analyzing equivalence between argumentation frameworks under
the assumption that the frameworks in question are incomplete, i.e.
further information might be added later to both frameworks
simultaneously. In other words, instead of the standard notion of
equivalence (which holds between two frameworks, if they possess the
same extensions), we require here that frameworks F and G are also
equivalent when conjoined with any further framework H. Due to the
nonmonotonicity of argumentation semantics, this concept is different
to (but obviously implies) the standard notion of equivalence. We
thus call our new notion strong equivalence and study how strong
equivalence can be decided with respect to the most important semantics
for abstract argumentation frameworks. We also consider variants of
strong equivalence in which we define equivalence with respect to the
sets of arguments credulously (or skeptically) accepted, and restrict
strong equivalence to augmentations H where no new arguments are raised.

Joint work with Stefan Woltran, Vienna University of Technology, 
Austria.

Welcome!