PP-2019-31: Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes Authors

PP-2019-31: Proietti, Carlo and Grossi, Davide and Smets, Sonja and Velázquez-Quesada, Fernando R. (2019) Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes Authors. [Pre-print]

[thumbnail of Bipolar_AF_and_modal_logic_preprint.pdf]

Download (195kB) | Preview
Official URL: https://link.springer.com/chapter/10.1007%2F978-3-...


Bipolar Argumentation Frameworks (BAF) are a natural extension of Dung’s Argumentation Frameworks (AF) where a relation of support between arguments is added to the standard attack relation. Despite their interest, BAF present several difficulties and their semantics are quite complex. This paper provides a definition of semantic concepts for BAF in terms of fixpoints of the functions of neutrality and defense, thus preserving most of the fundamental properties of Dung’s AF. From this angle it becomes easy to show that propositional dynamic logic provides an adequate language to talk about BAF. Finally, we illustrate how this framework allows to encode the structure of the referential discourse involved in semantic paradoxes such as the Liar. It turns out that such paradoxes can be seen as BAF without a stable extension.

Item Type: Pre-print
Report Nr: PP-2019-31
Series Name: Prepublication (PP) Series
Year: 2019
Subjects: Logic
Depositing User: Dr Carlo Proietti
Date Deposited: 22 Feb 2020 16:55
Last Modified: 22 Feb 2020 16:55
URI: https://eprints.illc.uva.nl/id/eprint/1735

Actions (login required)

View Item View Item