Metalevel argumentation
Metalevel argumentation
复制标题
元层次论证
DOI：
10.1093/logcom/exq054
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Trevor J. M. Bench
中科院分区：
文献类型：
--
作者：
S. Modgil;Trevor J. M. Bench
Dung的论证理论的抽象性质解释了它作为各种非单调推理的一般框架的广泛应用，更普遍的是，在存在冲突的情况下推理。在本文中，我们将在Dung论证范式本身中形式化关于论证的推理。元级的Dung参数框架本身是由参数实例化的，这些参数在对象级的参数框架中对参数、它们的交互和它们的求值做出陈述。我们展示了Dung的理论，以及Dung理论的对象级扩展，例如那些旨在适应偏好的对象级扩展，如何通过Dung框架中的金属级论证统一表征。然后，我们将讨论这如何为Dung理论的全面理论和实践发展提供应用，如何为Dung理论的扩展提供应用，以及如何为这些扩展提供整合和进一步扩展。
The abstract nature of Dung’s theory of argumentation accounts for its wide-spread application as a general framework for various species of non-monotonic reasoning, and, more generally, reasoning in the presence of conflict. In this article, we formalize reasoning about argumentation within the Dung argumentation paradigm itself. A metalevel Dung argumentation framework is itself instantiated by arguments that make statements about arguments, their interactions, and their evaluation in an object-level argumentation framework.We show how Dung’s theory, and object-level extensions of Dung’s theory, such as those intended to accommodate preferences, can then be uniformly characterised by metalevel argumentation in a Dung framework. We then discuss how this provides for application of the full range of theoretical and practical developments of Dung’s theory, to extensions of Dung’s theory, and provides for integration and further augmentation of these extensions.