[Date Prev][Date Next][Date Index]
Talk announcement Wednesday, 4th of June 2014
- From: Beatrix Forsthuber <email@example.com>
- Date: Tue, 20 May 2014 09:50:56 +0200
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0
The Database and Artificial Intelligence Group cordially invites you to the
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).
Institut für Informationssysteme E 184