抽象与实例化论证中论证的分级可接受性
人工智能
2018-11-09 v1
摘要
本文发展了论证合理化程度的形式理论，该理论仅依赖于论证框架的结构，并能够成功地与实例化论证的方法相接口。该理论分三步发展。首先，本文引入了支撑Dung语义的两个关键概念——自我防御与无冲突性的分级推广。这导致了Dung语义的自然推广，其中标准扩张根据其所满足的自我防御与无冲突性水平而被削弱或增强。本文研究了这些语义的不动点理论，确立了它们的存在性结果。其次，本文展示了分级语义如何直接提供一种论证排序方法，为近期不断增长的基于排序语义的研究纲领贡献了新颖成果。第三，这种新颖的论证排序方法在实例化论证框架的背景下被应用与研究，并由此表明其解释了Dung范式内论证累积的一种简单形式。最后，该理论与现有方法进行了详细比较。
引用
@article{arxiv.1811.03355,
title = {On the Graded Acceptability of Arguments in Abstract and Instantiated Argumentation},
author = {Davide Grossi and Sanjay Modgil},
journal= {arXiv preprint arXiv:1811.03355},
year = {2018}
}