Fixpoints and Iterated Updates in Abstract Argumentation
Davide Grossi ( University of Liverpool )
- 14:00 12th October 2012 ( week 1, Michaelmas Term 2012 )Tony Hoare Room
In this talk I will discuss epistemic processes by means of which an agent faced with conflicting information inputs (e.g., arguments, pieces of evidence, testimonies, etc.) can, in a principled way, accept some of the inputs and discard others, in order to support a 'rational' information state. To this end, I will interface techniques from so-called abstract argumentation theory and modal logic ( in particular dynamic epistemic logic). The broad aim of the talk is to showcase interesting technical and conceptual issues at the interface of abstract argumentation theory and dynamic epistemic logic.