Dear all,
Tomorrow we will have our next LIRa session. Here is the zoom link: https://uva-live.zoom.us/j/95748565835?pwd=V1g5RFptUDRDLzNvRGc2Qmp4aURadz09 (Meeting ID: 957 4856 5835, Password: 028909). The details of the talk are below.
You can find the guidelines for our online sessions here: https://projects.illc.uva.nl/lgc/seminar/guidelines-for-online-sessions/
Speaker: Carlo Proietti
Date and Time: Thursday, April 30th 2020, 16:30-18:00, Amsterdam time.
Venue: online
Title: DEL for Abstract Argumentation (joint work with Antonio Yuste-Ginel)
Abstract.
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.
Hope to see you there!
The LIRa team