| 摘要: |
| 论辩系统是一种非单调形式体系,能够支持个体Agent 的推理决策和多Agent 之间的有效交互.由于个体Agent 的知识、观察信息和资源的动态性以及多Agent 交互过程的动态性,在各类论辩系统中,论证及其攻击关系的动态性是普遍存在的.作为一个新的研究领域,有关论辩系统动态性的概念、理论和方法远未成熟.在介绍论辩系统相关概念的基础上,阐明论辩系统动态性的两个主要研究方向(正向动态性和逆向动态性),并讨论需要解决的开放性问题.围绕这些问题,简要回顾现有的理论和方法,并分析其特点和不足. |
| 关键词: 论辩系统 非单调推理 Agent 与多Agent 系统 动态性 基于知识的系统 |
| DOI：10.3724/SP.J.1001.2012.04302 |
| 分类号: |
| 基金项目:国家自然科学基金(61175058, 60773177); 国家重点基础研究发展计划(973)(2012CB316400); 浙江省自然科学基金(Y1100036) |
|
| Dynamics of Argumentation Systems and Its Research Development |
|
LIAO Bei-Shui1,2
|
|
1.Center for the Study of Language and Cognition, Zhejiang University, Hangzhou 310028, China;2.Department of Philosophy, Zhejiang University, Hangzhou 310028, China
|
| Abstract: |
| 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. |
| Key words: argumentation system non-monotonic reasoning agent and multi-agent system dynamics knowledge-based system |
