原创力文档- 1、本文档共14页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
附件：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
文档评论（0）