How to Manage Supports in Incomplete Argumentation - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

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 non déposé

Dates et versions

hal-04555820 , version 1 (23-04-2024)

Identifiants

Citer

Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel. How to Manage Supports in Incomplete Argumentation. 13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2024), Apr 2024, Sheffield, United Kingdom. pp.319--336, ⟨10.1007/978-3-031-56940-1_18⟩. ⟨hal-04555820⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More