AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks
复制标题
年度股东大会遇到抽象论证：Dung 框架的扩展和修订
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
G. Brewka
中科院分区：
文献类型：
--
作者：
Ringo Baumann;G. Brewka
在本文中，我们结合了知识表示的两个最重要的领域，即信念修正和（抽象）论证。更准确地说，我们展示了如何为Dung的抽象论证框架（AFs）定义agm风格的扩展和修订操作符。我们的方法是基于对原始AGM假设的重新表述，以便根据AFs的单调结果关系进行修订。后者是通过一个新的逻辑家族来定义的，这个逻辑家族被称为Dung逻辑，它满足了这些逻辑中的普通等价与各自论证语义的强等价的重要性质。基于这些逻辑，我们通常通过模型的交集来定义扩展。我们证明了这些算子的存在性。这远非微不足道，需要在Dung逻辑的上下文中研究可实现性。然后我们研究修正运算符。我们展示了为什么基于模型上的距离度量的标准方法不适用于AFs，并提出了一个满足特定Dung逻辑的所有假设的算子。
In this paper we combine two of the most important areas of knowledge representation, namely belief revision and (abstract) argumentation. More precisely, we show how AGM-style expansion and revision operators can be defined for Dung's abstract argumentation frameworks (AFs). Our approach is based on a reformulation of the original AGM postulates for revision in terms of monotonic consequence relations for AFs. The latter are defined via a new family of logics, called Dung logics, which satisfy the important property that ordinary equivalence in these logics coincides with strong equivalence for the respective argumentation semantics. Based on these logics we define expansion as usual via intersection of models. We show the existence of such operators. This is far from trivial and requires to study realizability in the context of Dung logics. We then study revision operators. We show why standard approaches based on a distance measure on models do not work for AFs and present an operator satisfying all postulates for a specific Dung logic.