Rich preference-based argumentation frameworks
Rich preference-based argumentation frameworks
复制标题
DOI：
10.1016/j.ijar.2013.10.010
复制
发表时间：
2014-01-01
影响因子：
3.9
通讯作者：
Vesic, Srdjan
中科院分区：
文献类型：
--
作者：
Amgoud, Leila;Vesic, Srdjan
一个论证框架被看作是一个有向图，其节点是参数，弧是参数之间的攻击。可接受的参数集，称为扩展，使用语义计算。现有的语义仅仅基于攻击，没有考虑其他重要的标准，如参数的内在强度。本文的贡献有三个方面。首先，我们研究了如何从不同的优势参数的偏好可以帮助论证框架。我们发现，他们发挥两个不同的和互补的作用：（i）修复攻击之间的关系参数，（ii）细化评估的参数。尽管这两个角色的重要性，只有第一个是在现有的文献处理。在本文的第二部分中，我们首先展示了现有的模型，修复与偏好的攻击关系在某些情况下表现不佳，可能会返回反直观的结果。然后，我们提出了一个新的抽象的和一般的框架，适当地对待这两个角色的偏好。这项工作的第三部分是专门定义一个桥梁之间的论证为基础的和连贯性为基础的方法来处理不一致的知识库，特别是当公式之间的优先级是可用的。我们专注于两个著名的模型，即由Brewka介绍的首选子理论和由Cayrol，Royer和Saurel定义的演示首选集。对于这些模型中的每一个，我们都提供了与之完全对应的抽象框架的实例化。All rights reserved.
An argumentation framework is seen as a directed graph whose nodes are arguments and arcs are attacks between the arguments. Acceptable sets of arguments, called extensions, are computed using a semantics. Existing semantics are solely based on the attacks and do not take into account other important criteria like the intrinsic strengths of arguments. The contribution of this paper is three fold. First, we study how preferences issued from differences in strengths of arguments can help in argumentation frameworks. We show that they play two distinct and complementary roles: (i) to repair the attack relation between arguments, (ii) to refine the evaluation of arguments. Despite the importance of both roles, only the first one is tackled in existing literature. In a second part of this paper, we start by showing that existing models that repair the attack relation with preferences do not perform well in certain situations and may return counter-intuitive results. We then propose a new abstract and general framework which treats properly both roles of preferences. The third part of this work is devoted to defining a bridge between the argumentation-based and the coherence-based approaches for handling inconsistency in knowledge bases, in particular when priorities between formulae are available. We focus on two well-known models, namely the preferred sub-theories introduced by Brewka and the demo-preferred sets defined by Cayrol, Royer and Saurel. For each of these models, we provide an instantiation of our abstract framework which is in full correspondence with it. (C) 2013 Elsevier Inc. All rights reserved.