Publication

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes

Proietti, C., Grossi, D., Smets, S. & Velázquez-Quesada, F. R., 1-Jan-2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (eds.). SPRINGER, p. 214-229 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11813 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

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.

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings
EditorsPatrick Blackburn, Emiliano Lorini, Meiyun Guo
PublisherSPRINGER
Pages214-229
Number of pages16
ISBN (Print)9783662602911
Publication statusPublished - 1-Jan-2019
Event7th International Workshop on Logic, Rationality, and Interaction, LORI 2019 - Chongqing, China
Duration: 18-Oct-201921-Oct-2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11813 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Workshop on Logic, Rationality, and Interaction, LORI 2019
CountryChina
CityChongqing
Period18/10/201921/10/2019

Event

7th International Workshop on Logic, Rationality, and Interaction, LORI 2019

18/10/201921/10/2019

Chongqing, China

Event: Conference

ID: 111696633