秘密文档文档概念.docx

附件：2016年度陕西省高等学校科学技术奖西安石油大学拟推荐项目公示信息1.项目名称：不确定性推理的计量化模型及其粗糙语义研究完成单位：西安石油大学 陕西师范大学 西安财经学院完成人：折延宏 周红军 杨海龙 罗清君 时慧娴 贺晓丽项目简介：项目围绕建立不确定性推理的计量化模型，取得了如下创新性的研究成果：1.构建了一种能融合粗糙近似思想的计量化推理模式，实现了粗糙集与计量逻辑两种不确定性理论之间的深度融合；2. 建立起了一种新的更具逻辑基础的逻辑理论的相容度理论；3. 将计量化推理方法由命题逻辑延伸至表达能力更强的多值模态逻辑之中，构建了适用范围更广、表达能力更强的格值模态逻辑；4.从拓扑学的角度出发，刻画了逻辑理论的相容性等逻辑性态，建立起了逻辑概念与拓扑概念之间的一一对应关系；5. 构建了能融合模糊集、粗糙集为一体的表达能力更强的模糊粗糙集模型，并深入探讨了所构建模型在双极信息处理、专家系统等方面的应用；6.以极大缩减、滤子等为工具，研究了包括布尔代数、模糊逻辑代数的内蕴结构，建立起了相应的表示定理。 主要知识产权目录学术论文：1.Yanhong She, Xiaoli He, Rough approximation operators on R0-algebras (nilpotent minimum algebras) with an application in formal logic L*. Information Sciences, 2014, 277: 71-89.(SCI二区)2. Yanhong She. On the rough consistency measures of logic theories and approximate reasoning in rough logic. International Journal of Approximate Reasoning, 2014, 55(1): 486-499.（SCI） 3. Yanhong She,Xiaoli He. On the structure of the multigranulation rough set model. Knowledge-Based Systems, 2012, 36: 81-92.（SCI二区）4. 折延宏, 王国俊. 三值命题逻辑系统 L3^* 中逻辑理论性态的拓扑刻画[J]. 数学学报, 2009 (6): 1225-1234.5 Yanhong She, Guojun Wang, An axiomatic approach of fuzzy rough sets based on residuated lattices[J]. Computers Mathematics with Applications, 2009, 58(1): 189-201.（SCI收录）6. Yanhong She,Xiaoli He, Guojun Wang. Rough truth degrees of formulas and approximate reasoning in rough logic. Fundamenta Informaticae,2011, 111(2): 223-239.（SCI）7. Yanhong She, Xiaoli He. Uncertainty measures for rough formulae in rough logic: An axiomatic approach[J]. Computers Mathematics with Applications, 2012, 63(1): 83-93.（SCI）8. 折延宏, 贺晓丽. 粗糙逻辑中公式的Borel 型概率粗糙真度[J]. 软件学报, 2014, 25(5): 970-983.9 罗清君. R0代数中素滤子的拓扑性质[J]. 数学学报, 2008, 51(4): 795-802.10. Yanhong She, Xiaoli He. Uncertainty measures in rough algebra with applications to rough logic[J]. International Journal of Machine Learning and Cybernetics, 2014, 5(5): 671-681.（SCI）11. Hongjun Zhou, Guojun Wang. A new theory consistency index based on deduction theorems in several logic systems[J]. Fuzzy Sets and