论辩系统的动态性及其研究进展

论辩系统是一种非单调形式体系,能够支持个体Agent的推理决策和多Agent之间的有效交互.由于个体Agent的知识、观察信息和资源的动态性以及多Agent交互过程的动态性,在各类论辩系统中,论证及其攻击关系的动态性是普遍存在的.作为一个新的研究领域,有关论辩系统动态性的概念、理论和方法远未成熟.在介绍论辩系统相关概念的基础上,阐明论辩系统动态性的两个主要研究方向(正向动态性和逆向动态性),并讨论需要解决的开放性问题.围绕这些问题,简要回顾现有的理论和方法,并分析其特点和不足.

Dynamics of Argumentation Systems and Its Research Development

Argumentation systems are a kind of non-monotonic formalisms, capable of supporting the reasoning and decision-making of individual agents, and the effective interactions among multiple agents. Since the knowledge, observations of an individual agent and the interacting process of different agents are dynamic in various argumentation systems, the changing of arguments and attacks is pervasive. As a new research area, the concepts, theories and methods related to dynamic of argumentation systems are far from mature. After introducing the basic working mechanism of argumentation systems, this paper presents two research directions of dynamics of argumentation systems (i.e., forward dynamics and backward dynamics) and discusses some open problems to be resolved. According to these problems, the paper briefly reviews the existing theories and methods, and analyzes their properties and shortcomings.