How to Manage Supports in Incomplete Argumentation - Laboratoire d'Informatique PAris DEscartes - EA 2517 Access content directly
Reports Year : 2023

How to Manage Supports in Incomplete Argumentation


The growing interest in generalizations of Dung's abstract argumentation frameworks has recently led to the simultaneous and independent discovery of a combination of two of these generalizations: Bipolar Argumentation Frameworks (BAFs), where a relation representing supports between arguments is added, and Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain, resulting in the so-called Incomplete Bipolar Abstract Argumentation Frameworks (IBAFs). This paper digs deeper into such a combination by: (i) providing a thoughtful analysis of the existing notions of completion (the hypothetical removal of uncertainty used in IBAFs to reason about argument acceptability); (ii) proposing, motivating and studying new notions of completion; (iii) throwing new complexity results on argument acceptability problems associated with IBAFs; (iv) encoding these reasoning problems into a lightweight version of dynamic logic.
Fichier principal
Vignette du fichier
Rapport-IRIT-2023-04.pdf (589.53 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04443886 , version 1 (07-02-2024)


  • HAL Id : hal-04443886 , version 1


Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel. How to Manage Supports in Incomplete Argumentation. IRIT/RR--2023--04--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023. ⟨hal-04443886⟩
41 View
43 Download


Gmail Mastodon Facebook X LinkedIn More