On the meta-logic of arguments

摘要: Argumentation has received steadily increasing attention in the multi-agent systems community over past decade, with particular interest use of argument models from informal logic community. The formalisation such is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there as yet no widely accepted approach systems. In this paper, we take our starting point view that arguments dialogues inherently meta-logical, any proper must embrace aspect nature. For example, statement serves justification an about argument: for which itself referred justification. From position, develop using hierarchical first-order meta-logic, statements successively higher tiers argumentation hierarchy refer further down hierarchy. This enables us give clean formal separation between object-level statements, made these object level arguments.