How to Manage Supports in Incomplete Argumentation - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage Access content directly
Reports Year : 2023

How to Manage Supports in Incomplete Argumentation

Abstract

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)

Identifiers

  • HAL Id : hal-04443886 , version 1

Cite

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⟩
33 View
33 Download

Share

Gmail Facebook X LinkedIn More