How to Manage Supports in Incomplete Argumentation - Université Toulouse III - Paul Sabatier - Toulouse INP
Rapport Année : 2023

How to Manage Supports in Incomplete Argumentation

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-04443886 , version 1

Citer

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⟩
317 Consultations
136 Téléchargements

Partager

More