arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2009.04869cs.AI
收藏

关于丰富不完全论证框架的注记

A Note on Rich Incomplete Argumentation Frameworks

Université de Paris(巴黎大学)

Jean-Guy Mailly

摘要:

近年来,抽象论证中的定性不确定性问题受到了广泛关注。关于这个主题的第一个作品介绍了攻击存在的不确定性,然后是参数的存在,最后结合了两种不确定性。这就形成了不完全论证框架(IAFs)。但在控制论证框架(CAFs)的背景下引入了另一种不确定性:它存在于具有不确定方向的冲突关系中,即我们确信两个论点之间存在攻击,但攻击的实际方向是未知的。在这里,我们正式定义了丰富的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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑