Argumentation, non-monotonic reasoning and classical logic

30^th April 2013, 16:00 G12
Dr. Sanjay Modgil
Agents and Intelligent Systems Group
King's College London

Abstract

Argumentation is emerging as the predominant logic-based paradigm for
reasoning in the presence of uncertainty and conflict. In this talk I will
begin by addressing the question: "Argumentation - what's all the fuss about ?", by highlighting features that distinguish argumentation from traditional
approaches to non-monotonic reasoning, and the importance of these
features in a wider AI context. I will then further illustrate by briefly reviewing two recent research developments. The first (undertaken in collaboration with
Henry Prakken) describes a framework for argumentation applied to
conflict resolution in Tarksian logics. I will then briefly present a special case
of this framework and show that it corresponds to the well known non-monotonic formalism of Brewka (i.e., Preferred Subtheories). The second (undertaken in collaboration with Marcello D'Agostino) describes an approach
to argumentation over inconsistent classical logic theories, that takes
into account resource bounds on the reasoning capacities of agents
involved in the construction and exchange of arguments.