[论文解读] Compact Argumentation Frameworks

Ringo Baumann, Wolfgang Dvořák+3 more|arXiv (Cornell University)|Apr 30, 2014

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

一句话总结

本文引入了紧凑型论证框架（AFs）——即在给定语义下，每个论点都至少出现在一个扩展中的AFs——以确保公平性与最小性。研究证明，对于stage、半稳定和偏好语义，验证问题仍为coNP难，并提供了AFs可或不可转换为等价紧凑形式的条件，突显了显式冲突的计算重要性。

ABSTRACT

Abstract argumentation frameworks (AFs) are one of the most studied formalisms in AI. In this work, we introduce a certain subclass of AFs which we call compact. Given an extension-based semantics, the corresponding compact AFs are characterized by the feature that each argument of the AF occurs in at least one extension. This not only guarantees a certain notion of fairness; compact AFs are thus also minimal in the sense that no argument can be removed without changing the outcome. We address the following questions in the paper: (1) How are the classes of compact AFs related for different semantics? (2) Under which circumstances can AFs be transformed into equivalent compact ones? (3) Finally, we show that compact AFs are indeed a non-trivial subclass, since the verification problem remains coNP-hard for certain semantics.

研究动机与目标

• 在naive、stable、stage、semi-stable和preferred等显著语义下，定义并表征紧凑型论证框架（AFs）。
• 研究不同语义下紧凑型AF类之间的关系。
• 确定任意AF是否可被转换为等价的紧凑型AF，且不改变其扩展结果。
• 分析紧凑型AF中扩展验证的计算复杂度。
• 探讨隐式冲突的作用，以及通过显式冲突猜想使隐式冲突显式化的可行性。

提出的方法

• 将紧凑型AF定义为：在给定语义σ下，每个论点都至少出现在一个扩展中的AF。
• 使用基于扩展的语义，比较naive、stable、stage、semi-stable和preferred语义下的紧凑性。
• 利用扩展最大数量的结果，推导出紧凑实现不可能性的条件。
• 构造具有非显式冲突的示例，以证明为实现紧凑且冲突显式的AF，必须修改攻击方向。
• 提出显式冲突猜想：所有AF中的隐式冲突均可通过添加攻击而显式化，且不改变扩展集合。
• 使用签名分析，表征在stable语义下，可由紧凑型AF实现的扩展集合。

实验结果

研究问题

• RQ1 在stable、stage、semi-stable和preferred等不同语义下，紧凑型AF类之间有何关系？
• RQ2 在何种条件下，可将给定AF转换为在给定语义下等价的紧凑型AF？
• RQ3 在紧凑型AF中，扩展的验证问题是否仍为计算难问题，特别是对于stage、semi-stable和preferred语义？
• RQ4 是否可通过攻击修改使AF中的所有隐式冲突显式化，而不会改变扩展集合？
• RQ5 一个扩展集合可由紧凑型AF实现的必要与充分条件是什么？

主要发现

• 紧凑型AF在最小性意义上是紧凑的：若移除任意论点，扩展集合将发生改变，从而确保论点最小化与公平性。
• 即使在紧凑型AF中，stage、semi-stable和preferred语义下的验证问题仍为coNP难。
• 在显式冲突猜想成立的假设下，可对stable语义下可紧凑实现的扩展集合进行完整表征。
• 存在无法在stable语义下转换为等价紧凑型AF的AF（如F₁），这是由于对冲突自由性和攻击对称性的结构约束所致。
• 构建紧凑型AF可能不仅需要添加缺失的攻击，还需反转现有攻击方向，以保持扩展集合不变。
• 若显式冲突猜想为真，则可为stable语义下的紧凑实现提供完整表征，并通过消除隐式冲突的推导需求，显著提升AF求解器的效率。