Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes

Carlo Proietti*, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review


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.

Originele taal-2English
TitelLogic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings
RedacteurenPatrick Blackburn, Emiliano Lorini, Meiyun Guo
Aantal pagina's16
ISBN van geprinte versie9783662602911
StatusPublished - 1-jan-2019
Evenement7th International Workshop on Logic, Rationality, and Interaction, LORI 2019 - Chongqing, China
Duur: 18-okt-201921-okt-2019

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11813 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349


Conference7th International Workshop on Logic, Rationality, and Interaction, LORI 2019

Citeer dit