Dynamic epistemic logics for abstract argumentation
Bibliographic Data
| ID | 10815409 |
|---|---|
| Authors | Carlo Proietti (Institute for Computational Linguistics “A. Zampolli”), Antonio Yuste-Ginel (0000-0002-4380-3095, Universidad de Málaga, corresponding author) |
| Year | 2021 |
| Volume | 199 |
| Issue | 3-4 |
| Pages | 8641-8700 |
| Publication date | 2021-12-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-021-03178-5 |
| OpenAlex | W3161692559 |
| Language | EN |
| References cited | 63 |
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
Argumentation theory · Argumentative · Completeness (order theory) · Description logic · Epistemic modal logic · Epistemology · Metaphysics · Multimodal logic · Philosophy of language · Philosophy of science · Probabilistic argumentation · Programming language · Rotation formalisms in three dimensions · Semantics (computer science) · Artificial Intelligence · Computer Science · Logic, Reasoning, and Knowledge · Mathematics · Multi-Agent Systems and Negotiation · Philosophy · Semantic Web and Ontologies · Theoretical Computer Science
Reasoning About Knowledge
Dynamic Epistemic Logic
A Theory of Cognitive Dissonance
The Uses of Argument
Modal Logic
Defeasible Reasoning
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
On the Failure to Eliminate Hypotheses in a Conceptual Task
Why do humans reason? Arguments for an argumentative theory
Belief, awareness, and limited reasoning
A Theory of Cognitive Dissonance
The dynamics of awareness
Logics for Epistemic Programs
Traité de l'Argumentation
Effects of partially shared persuasive arguments on group-induced shifts
| Highly cited | No |
|---|