检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:徐康[1] 廖备水[2] XU Kang LIAO Beishui(Faculty of Philosophy Center for the Study of Language and Cognition, Zhejiang University, Hangzhou 310028, China)
机构地区:[1]浙江大学哲学系,杭州310028 [2]浙江大学语言与认知研究中心,杭州310028
出 处:《重庆理工大学学报(社会科学)》2017年第8期6-13,共8页Journal of Chongqing University of Technology(Social Science)
基 金:国家社会科学基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)
摘 要:抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性。如何刻画这种动态性是论辩理论研究领域的一个关键问题。抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系。文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法。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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117