AFRA：具有递归攻击的论证框架
AFRA: Argumentation framework with recursive attacks
摘要：
作为一种有用的概念建模工具，在几种情况下，在论证中表示攻击攻击的问题正受到越来越多的关注。在本文中，我们提出了AFRA，形式主义包括无限递归攻击的论证框架内。AFRA满足定义简单和与Dung论证理论严格兼容的基本要求。本文提供了一个完整的发展AFRA形式主义补充说明性的例子和详细的比较与其他递归攻击形式化。
英文摘要：
The issue of representing attacks to attacks in argumentation is receiving an increasing attention as a useful conceptual modelling tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition simplicity and rigorous compatibility with Dung's theory of argumentation. This paper provides a complete development of the AFRA formalism complemented by illustrative examples and a detailed comparison with other recursive attack formalizations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
