Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

CENTRIA seminar: Extended Argumentation Frameworks

Main informationBy: Sanjay Modgil (Imperial College London)

Date: Wednesday, 24th of June 2009, 14h00

Location: FCT/UNL, Seminar Room (Ed. II)
AbstractDung’s abstract argumentation theory provides a general framework for various species of non-monotonic reasoning. A Dung framework’s arguments constitute proofs of claims in some underlying logic, and these arguments are related by an attack relation that accounts for the notion of conflict in the underlying logic. The justified arguments of a framework are then evaluated under different semantics, where the claims of the justified arguments equate with the underlying theory’s inferences. In recent work I have extended Dung’s theory to accommodate arguments that attack attacks as well as arguments. In this way one can encode argumentation-based reasoning about possibly conflicting preferences between arguments. The extended theory has been proposed as a unifying framework for non-monotonic formalisms that accommodate defeasible reasoning about preferences, and as an argumentation semantics for flexible, adaptive agent defeasible reasoning. In this talk I will review the extended theory, present argument game dialectical proof theories for evaluating the justified status of arguments in an extended framework, and look forward to future developments.
Short-bioSanjay Modgil is currently based at the department of Computer Science, Imperial College London. His primary research interests are in development and application of formal theories of argumentation extended to accommodate metalevel reasoning. His other areas of interest include normative reasoning, electronic contracts and applications of AI in medicine.

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT