Articolo in rivista, 2021, ENG, 10.1007/s11229-021-03178-5
Proietti Carlo Yuste-Ginel Antonio
CNR - Istituto di Linguistica Computazionale A. Zampolli (ILC) Università di Malaga
This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals' beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. 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 communication.
Synthese (Dordr., Online) , pp. 1–60
Abstract argumentation, Dynamic epistemic logic, Awareness logics, Multi-agent argumentation frameworks, Persuasion, Strategic Argumentation
ILC – Istituto di linguistica computazionale "Antonio Zampolli"
ID: 454043
Year: 2021
Type: Articolo in rivista
Creation: 2021-05-18 13:59:17.000
Last update: 2022-02-03 16:40:15.000
CNR authors
External links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
DOI: 10.1007/s11229-021-03178-5
URL: https://link.springer.com/article/10.1007/s11229-021-03178-5#citeas
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:454043
DOI: 10.1007/s11229-021-03178-5