On the meta-logic of arguments
On the meta-logic of arguments
复制标题
论论证的元逻辑
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
S. Parsons
中科院分区：
文献类型：
--
作者：
M. Wooldridge;P. McBurney;S. Parsons
在过去的十年里，论证在多智能体系统社区中受到了越来越多的关注，特别是对非正式逻辑社区中的论证模型的使用感兴趣。这种论证系统的形式化是一个必要的步骤，如果他们要成功地部署，他们的属性严格理解。然而，至今还没有被广泛接受的方法来形式化的论点系统。在本文中，我们认为，我们的出发点，论点和对话是内在的元逻辑，任何适当的形式化的论点必须包括这方面的性质。例如，作为论证的证明的陈述是关于一个论证的陈述：证明所证明的论证本身必须在证明中被提及。从这个开始的位置，我们开发了一个形式化的参数使用分层的一阶元逻辑，其中语句在连续更高层次的论证层次是指语句进一步下降的层次结构。这使我们能够在对象级语句、关于这些对象级语句的参数和关于参数的语句之间给出一个干净的形式分离。
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the informal logic community. The formalisation of such argument systems is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there is as yet no widely accepted approach to the formalisation of argument systems. In this paper, we take as our starting point the view that arguments and dialogues are inherently meta-logical, and that any proper formalisation of argument must embrace this aspect of their nature. For example, a statement that serves as a justification of an argument is is statement about an argument: the argument for which the justification serves must itself be referred to in the justification. From this starting position, we develop a formalisation of arguments using a hierarchical first-order meta-logic, in which statements in successively higher tiers of the argumentation hierarchy refer to statements further down the hierarchy. This enables us to give a clean formal separation between object-level statements, arguments made about these object level statements, and statements about arguments.