RT Conference Proceedings
T1 A Dynamic Epistemic Logic for Abstract Argumentation
A1 Yuste-Ginel, Antonio
A1 Proietti, Carlo
K1 Filosofía - Congresos
AB This paper introduces a multi-agent dynamic epistemic logic for abstract argumenta-tion. Its main motivation is to build a general framework for modelling the dynamicsof a debate, which entails reasoning about goals, beliefs, as well as policies of com-munication and information update by the participants. After locating our proposaland introducing the relevant tools from abstract argumentation, we proceed to build athree-tiered logical approach. At the first level, we use the language of propositionallogic to encode states of a multi-agent debate. This language allows to specify whicharguments any agent is aware of, as well as their subjective justification status. Wethen extend our language and semantics to that of epistemic logic, in order to modelindividuals’ beliefs about the state of the debate, which includes uncertainty about theinformation available to others. As a third step, we introduce a framework of dynamicepistemic logic and its semantics, which is essentially based on so-called event modelswith factual change. We provide completeness results for a number of systems andshow how existing formalisms for argumentation dynamics and unquantified uncerSynthesetainty can be reduced to their semantics. The resulting framework allows reasoningabout subtle epistemic and argumentative updates—such as the effects of differentlevels of trust in a source—and more in general about the epistemic dimensions ofstrategic communication.
YR 2021
FD 2021
LK https://hdl.handle.net/10630/22891
UL https://hdl.handle.net/10630/22891
LA eng
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026