[论文解读] Extension-based Semantics of Abstract Dialectical Frameworks

Sylwia Polberg|ORCA Online Research @Cardiff (Cardiff University)|May 2, 2014

Multi-Agent Systems and Negotiation参考文献 16被引用 8

一句话总结

本文提出了一类新的基于扩展的抽象辩证框架（ADFs）语义，通过一种新颖的无环性强制机制，解决了支持环路的挑战。它基于内外部推理对子语义进行了分类，证明了Dung基本引理在ADFs中的适应性，并澄清了基于扩展的语义与基于标记的语义之间的对应关系，表明由于三值解释更为丰富，ADFs中两者并不完全等价。

ABSTRACT

One of the most prominent tools for abstract argumentation is the Dung's framework, AF for short. It is accompanied by a variety of semantics including grounded, complete, preferred and stable. Although powerful, AFs have their shortcomings, which led to development of numerous enrichments. Among the most general ones are the abstract dialectical frameworks, also known as the ADFs. They make use of the so-called acceptance conditions to represent arbitrary relations. This level of abstraction brings not only new challenges, but also requires addressing existing problems in the field. One of the most controversial issues, recognized not only in argumentation, concerns the support cycles. In this paper we introduce a new method to ensure acyclicity of the chosen arguments and present a family of extension-based semantics built on it. We also continue our research on the semantics that permit cycles and fill in the gaps from the previous works. Moreover, we provide ADF versions of the properties known from the Dung setting. Finally, we also introduce a classification of the developed sub-semantics and relate them to the existing labeling-based approaches.

研究动机与目标

• 为解决现有基于扩展的语义中尚未解决的抽象辩证框架（ADFs）中支持环路的争议性问题。
• 开发一类新的基于扩展的语义，确保所接受论点的无环性，同时保持理性标准。
• 基于‘内部-外部’对话视角对新语义进行分类，区分一个主体可主张的内容与对手可主张的内容。
• 弥合ADFs中基于扩展与基于标记的语义之间的差距，因为这些语义在Dung框架中缺乏完全对应关系。
• 提供Dung框架关键性质在ADFs中的适应形式，例如基本引理，并验证其在新语义下的有效性。

提出的方法

• 提出一种针对扩展的新型无环性条件，以消除支持环路，确保论点的理性接受。
• 基于是否限制攻击者集合（外部视角）或聚焦于内部理性（内部视角），对子语义进行分类。
• 基于三值解释及其最大二值子解释，定义新的基于扩展的语义——cc-、aa-和u-完备性。
• 通过证明特征算子在特定条件下保持语义，将Dung的基本引理适应到ADFs中。
• 依赖三值解释中的决定性概念，以基于扩展的形式定义完整与偏好语义。
• 将基于扩展的语义与现有的基于标记的语义进行比较，表明存在部分对应关系，并识别出在偏好语义中不对应的情形。

实验结果

研究问题

• RQ1 如何在保持理性接受的前提下，有效消除ADFs基于扩展语义中的支持环路？
• RQ2 ADFs中基于扩展与基于标记的语义之间存在何种关系？在哪些情况下二者不对应？
• RQ3 如何形式化‘内部-外部’对话视角，以基于理性与攻击者限制对ADFs语义进行分类？
• RQ4 Dung框架中的哪些性质（如基本引理）可被适应到ADFs中？在何种条件下成立？
• RQ5 能否基于无环性与攻击者集合限制，建立ADFs语义的系统性分类？

主要发现

• 本文证明了ADFs中基底扩展与基底标记完全对应，推广了Dung的结果。
• cc–完备与aa–完备扩展通过其u–完备性与完整标记对应，保持了完备性特征。
• 对于偏好语义，扩展与标记之间不存在完全对应：存在无标记对应物的偏好扩展，反之亦然。
• Dung的基本引理被适应到ADFs中，表明在新定义下特征算子保持语义。
• 新语义区分了内部（主体的理性）与外部（攻击者的正当性）推理，从而实现了对子语义的精细化分类。
• 基于标记的可接受性与完备性被证明比其基于扩展的对应形式更一般，因为它们能够表达更细致的理性行为。