论文标题
关于丰富的不完整论证框架的注释
A Note on Rich Incomplete Argumentation Frameworks
论文作者
论文摘要
最近，抽象论证中的定性不确定性引起了很多关注。关于该主题的第一项作品引入了有关攻击的存在，然后是关于参数的存在的不确定性，最后将两种不确定性结合在一起。这导致不完整的论证框架（IAFS）。但是，在控制论证框架（CAF）的背景下引入了另一种不确定性：它是与不确定取向的冲突关系，即我们确定两个参数之间存在攻击，但是攻击的实际方向是未知的。在这里，我们正式定义了丰富的IAF，这些IAF结合了以前在IAF和CAF中引入的三种不同类型的不确定性。我们表明，这种新模型虽然比IAF的表现力更严格，但并没有遭受计算复杂性的影响。同样，基于SAT的现有计算方法可以很容易地适应新框架。
Recently, qualitative uncertainty in abstract argumentation has received much attention. The first works on this topic introduced uncertainty about the presence of attacks, then about the presence of arguments, and finally combined both kinds of uncertainty. This results in the Incomplete Argumentation Framework (IAFs). But another kind of uncertainty was introduced in the context of Control Argumentation Frameworks (CAFs): it consists in a conflict relation with uncertain orientation, i.e. we are sure that there is an attack between two arguments, but the actual direction of the attack is unknown. Here, we formally define Rich IAFs, that combine the three different kinds of uncertainty that were previously introduced in IAFs and CAFs. We show that this new model, although strictly more expressive than IAFs, does not suffer from a blow up of computational complexity. Also, the existing computational approach based on SAT can be easily adapted to the new framework.
