Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports - Archive ouverte HAL Access content directly
Journal Articles International Journal on Artificial Intelligence Tools Year : 2020

Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports

Abstract

We propose a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks/supports whose targets are arguments or other attacks/supports) with an evidential meaning for supports. Our purpose is to separate the logical expression of the meaning of an attack or an evidential support (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/supports) 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.

Dates and versions

hal-02874146 , version 1 (18-06-2020)

Identifiers

Cite

Claudette Cayrol, Marie-Christine Lagasquie-Schiex. Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports. International Journal on Artificial Intelligence Tools, 2020, Special Issue on Selected Papers from the 30th Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), 29 (03n04), pp.2060003. ⟨10.1142/S0218213020600039⟩. ⟨hal-02874146⟩
34 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More