Communication Dans Un Congrès Année : 2025

Incomplete Higher-Order Abstract Argumentation Frameworks

Résumé

We propose the combination of two known extensions of Dung's abstract Argumentation Frameworks (AFs): Incomplete Argumentation Frameworks (IAFs), where the existence of arguments and attacks may be uncertain, and Higher-Order Argumentation Frameworks (HOAFs), where attacks can be directed not only towards arguments but also towards attacks. As a result, we obtain Incomplete Higher-Order Argumentation Frameworks (IHOAFs), where attacks on attacks can also be uncertain. We take some important initial steps in the formal understanding of this novel framework by providing: (i) the definition of a conservative notion of completion, the hypothetical removal of uncertainty used to reason about argument acceptability in other formalisms for incomplete argumentation; (ii) complexity results for argument acceptability problems; (iii) an analysis of the previous two points in a well-behaved variant of dynamic logic.

Fichier principal
Vignette du fichier
Rapport-IRIT-2025-01.pdf (558.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05025146 , version 1 (08-04-2025)

Licence

Identifiants

Citer

Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel. Incomplete Higher-Order Abstract Argumentation Frameworks. International Conference on Logic and Argumentation (CLAR), Jun 2025, Taiyuan (China), China. pp.34-52, ⟨10.1007/978-981-96-7956-0_3⟩. ⟨hal-05025146⟩
4213 Consultations
402 Téléchargements

Altmetric

Partager

  • More