Logical Encoding of Argumentation Frameworks with Higher-order Attacks - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Logical Encoding of Argumentation Frameworks with Higher-order Attacks

Résumé

We propose a logical encoding of extended abstract argumentation frameworks, that is frameworks with higher-order attacks (i.e. attacks whose targets are other attacks). Our purpose is to separate the logical expression of the meaning of an attack (simple or higher-order) from the logical expression of acceptability semantics. We consider semantics which specify the conditions under which the arguments (resp. the attacks) are considered as accepted, directly on the extended framework, without translating the original framework into a Dung's argumentation framework. We characterize the output of a given framework in logical terms (namely as particular models of a logical theory). Our proposal applies to the particular case of Dung's frameworks, enabling to recover standard extensions.
Fichier principal
Vignette du fichier
cayrol_22583.pdf (241.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02181912 , version 1 (12-07-2019)

Identifiants

Citer

Claudette Cayrol, Marie-Christine Lagasquie-Schiex. Logical Encoding of Argumentation Frameworks with Higher-order Attacks. 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), Nov 2018, Volos, Greece. pp.667-674, ⟨10.1109/ICTAI.2018.00106⟩. ⟨hal-02181912⟩
61 Consultations
121 Téléchargements

Altmetric

Partager

More