Speaker: Carlo Proietti
Date and Time: Thursday, April 30th 2020, 16:30-18:00, Amsterdam time.
Title: DEL for Abstract Argumentation (joint work with Antonio Yuste-Ginel)
We introduce a multi-agent dynamic epistemic logic for abstract argumentation. The logic brings together tools from dynamic epistemic logic, awareness logic and abstract argumentation. The resulting framework allows reasoning about subtle epistemic and argumentative updates – such as the effects of different levels of trust in a source – and more in general about the epistemic dimensions of strategic and persuasive communication.
Our framework consists in the extension of one of the logics proposed by Schwarzentruber et al. in two different directions: (i) enriching its propositional fragment with new propositional variables, in order to capture the notion of fine-grained justification status of an argument, and (ii) adding action models with propositional assignments to the epistemic language, in order to reason about argumentative and epistemic dynamics.
Developing (i) and (ii) brings with it some conceptual and technical challenges, such as how to preserve given epistemic model restrictions after action execution. We address these questions and provide complete axiomatisations for different intuitive constraints.