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

talk announcement, April 15th 2010



    [ The following text is in the "ISO-8859-15" character set. ]
    [ Your display is set for the "ISO-8859-1" character set.  ]
    [ Some special characters may be displayed incorrectly. ]

The Database and Artificial Intelligence Group of Institute
of Information Systems invites to the following talk:
=======================================

Anthony Hunter
Department of Computer Science
University College London
http://www.cs.ucl.ac.uk/staff/a.hunter/

Date: April 15th 2010
Time: 12:15-13:15
Place: seminar room "Gödel", located in ground floor, Favoritenstraße 9, 
entrance through the yard


Title: Computational Models of Argumentation for Richer Logics

Abstract:
Abstract argumentation provides a natural starting point for modelling 
argumentation. In abstract argumentation, a graph is used to represent a 
constellation of arguments and the conflict between them. Each argument 
is represented by a node, and the attack of one argument on another is 
represented by a directed arc. Proposals by Phan Minh Dung and others 
then give principled ways for determining which arguments are acceptable 
based on the structure of the graph. However, abstract argumentation 
assumes the existence of such graphs and does not provide means for 
generating them. To address this, Henry Prakken and others, have shown 
how logic can be used to generate arguments and to identify conflict 
between arguments. However, most proposals for using logic, assume a 
simple defeasible logic. Yet, elsewhere in artificial intelligence, 
there is the need to use richer logics such as classical logics, 
description logics, modal logics, temporal logics, and probabilistic 
logics. In this talk, we consider a framework for harnessing richer 
logics in computational models of argument.


With kindly support of the Wolfgang Pauli Institute and the WWTF-Project "New Methods for Analyzing, Comparing, and Solving Argumentation Problems"


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

-- 
Schwarz Therese
Sekretary of the Institut of Information Systems
Vienna University of Technology 
A-1040 Vienna, Favoritenstr. 9-11/Stg.2/3. Stock/1842
Tel.: ++43(1)58801-18404, Fax: ++43(1)58801-18492 
DVR Nr.: 0005886