Davide Grossi, "Fixpoints and Iterated Updates in Abstract Argumentation"

In this talk I will discuss epistemic processes by means of which an agent faced with conflicting informational 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 coherent informational state. To this end, I will mix techniques from 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 argumentation theory and dynamic epistemic logic.