论文标题
setafs和3个价值语义下的无支持ADF的表现力
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
论文作者
论文摘要
在论证框架（AFS）中概括攻击结构已以不同的方式进行了研究。最突出的是，粪框架的二元攻击关系已扩展到集体攻击的概念。由此产生的形式主义通常被称为setafs。通过抽象方言框架（ADF）提供了另一种方法，其中接受条件指定了参数之间的关系。限制这些条件自然允许所谓的无支持ADF。本文的目的是阐明这两种不同方法之间的关系。为此，我们调查并比较了3值语义的镜头下setafs和无支持ADF的表现力。我们的结果表明，只有在无支持的ADF中存在不满意的接受条件才能区分这两种方法。
Generalizing the attack structure in argumentation frameworks (AFs) has been studied in different ways. Most prominently, the binary attack relation of Dung frameworks has been extended to the notion of collective attacks. The resulting formalism is often termed SETAFs. Another approach is provided via abstract dialectical frameworks (ADFs), where acceptance conditions specify the relation between arguments; restricting these conditions naturally allows for so-called support-free ADFs. The aim of the paper is to shed light on the relation between these two different approaches. To this end, we investigate and compare the expressiveness of SETAFs and support-free ADFs under the lens of 3-valued semantics. Our results show that it is only the presence of unsatisfiable acceptance conditions in support-free ADFs that discriminate the two approaches.
