[Date Prev][Date Next][Date Index]

Talk announcement Wednesday, 4th of June 2014





The Database and Artificial Intelligence Group cordially invites you to the
following talk:

=======================================================================

Speaker: Massimiliano Giacomin
Università degli Studi di Brescia
======================================================================

DATE:	Wednesday, 4th of June 2014
TIME:	10:00 c.t.
VENUE:	Seminarroom 187/2
	(Favoritenstrasse 9-11, 2nd floor)

======================================================================

TITLE: An input/output characterization of abstract argumentation frameworks and semantics.
======================================================================

This talk considers the decomposition of a Dung's argumentation framework into an arbitrary set of interacting components characterized by an Input/Output behavior. First, a suite of decomposability properties will be introduced, concerning the correspondence between semantics outcomes at global and local level. The satisfaction of these properties, considering more or less constrained ways of partitioning an argumentation framework, will be discussed for admissible, complete, stable, grounded, preferred, ideal and semi-stable semantics. Second, the talk will introduce the notion of argumentation multipole, inspired from the field of digital logic, as a general way to represent a modular component. On the basis of the semantics-specific input/output behavior of argumentation multipoles, different legitimacy properties of a replacement between multipoles can be introduced. Correspondingly, a semantics can be considered transparent if a legitimate replacement does not affect the evaluation of the arguments not involved by the replacement. The transparency properties of the above mentioned semantics will be outlined. Finally, the input/output characterization of argumentation semantics suggests a correspondence with abstract dialectical frameworks, a recent generalization of Dung's argumentation frameworks. Some interesting directions for further research will be presented in this respect. With kind support of the Vienna Center for Logic and Algorithms (VCLA) and Wofgang Pauli Instiut (WPI).

__________________________________________________________________________________________

Beatrix Forsthuber
TU WIEN
Institut für Informationssysteme E 184
Favoritenstraße 9-11
1040 Wien
DVR-Nummer: 0005886
Tel.: +43-1-58801-18403
Fax:  +43-1-58801-918403
Mobile:0664-6104937
mail: forst@dbai.tuwien.ac.at