10.3969/j.issn.1674-8425(s).2017.08.002
抽象论辩系统的动态性分析
抽象论辩系统是一种非单调推理系统,它随底层的知识或信息的变化而变化,这就是抽象论辩系统的动态性.如何刻画这种动态性是论辩理论研究领域的一个关键问题.抽象论辩系统的动态变化包括语法变化和语义变化,抽象论辩系统动态性研究着重研究这二者之间的影响关系.文章总结了目前抽象论辩系统动态性研究的方向,包括动态语义求解的方法以及抽象论辩系统的修正;分析了抽象理论动态性研究的价值和意义;探讨了抽象论辩系统动态性研究的基本原理和研究方法.
抽象论辩系统动态性、动态论辩语义求解、抽象论辩系统修正
31
B81(逻辑学(论理学))
国家社会科学基金重大项目"应用逻辑与逻辑应用研究"14ZDB014
2017-09-27(万方平台首次上网日期,不代表论文的发表时间)
共8页
6-13