论文标题
对抽象辩证框架的强大可接受性
Strong Admissibility for Abstract Dialectical Frameworks
论文作者
论文摘要
抽象辩证框架（ADF）被引入是一种形式主义，用于建模和评估允许一般逻辑满意度条件的论证。用于解决参数接受的不同标准称为语义。到目前为止，ADF的语义主要是根据可接受性的概念定义的。但是，尚未针对ADF引入为抽象论证框架研究的强烈可接受的语义的概念。在当前的工作中，我们介绍了对ADF解释的强烈可接受性的概念。此外，我们表明，对ADF的强烈可接受的解释形成了一个晶格，其基础解释是最重要的元素。
Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as top element.
