摘要
抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系。文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法。
Argumentation system is a non-monotonic system. It can change along with the change of the knowledge base,which is regarded as the dynamic nature of abstract argumentation system. One of the key problems of abstract argumentation system is characterizing the dynamic aspect of it. The dynamic nature of abstract argumentation system can be depicted from the change of the syntax and semantics. The main research on it is to figure out how the semantics changes with the change of thesyntax,and vice versa. In this paper,we summarize the research directions of dynamics of abstract argumentation system,including the computation of semantics and the revision of argumentation system. We also analyze the value and the meaning of this research as well as the principles and research methods.
作者
徐康
廖备水
XU Kang LIAO Beishui(Faculty of Philosophy Center for the Study of Language and Cognition, Zhejiang University, Hangzhou 310028, China)
出处
《重庆理工大学学报（社会科学）》
CAS
2017年第8期6-13,共8页
Journal of Chongqing University of Technology（Social Science）
基金
国家社会科学基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)
关键词
抽象论辩系统动态性
动态论辩语义求解
抽象论辩系统修正
dynamic nature of abstract argumentation system
dynamiccomputation of semantics
revision of abstract argumentation system
作者简介
徐康（1985-），女，河北灵寿人，博士研究生，研究方向：逻辑与论辩；
廖备水（1971-），福建古田人，教授，博士，研究方向：逻辑与人工智能。
