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.

中文翻译：

---

具有高阶攻击和证据支持的论证框架的逻辑编码

我们提出了具有高阶交互的论证框架的逻辑编码（即攻击/支持，其目标是论证或其他攻击/支持），具有支持的证据意义。我们的目的是将攻击或证据支持（简单或高阶）含义的逻辑表达与可接受性语义的逻辑表达分开。我们考虑直接在扩展框架上指定参数（分别是攻击/支持）被认为被接受的条件的语义，而不将原始框架转换为 Dung 的论证框架。我们用逻辑术语（即逻辑理论的特定模型）来描述给定框架的输出。我们的建议适用于 Dung 框架的特殊情况，