|
|||||
|
|
| 粒计算研究现状及基于Rough逻辑语义的粒计算研究 | |
| 引用本文： | 刘清,孙辉,王洪发.粒计算研究现状及基于Rough逻辑语义的粒计算研究[J].计算机学报,2008,31(4):543-555. |
| 作者姓名： | 刘清 孙辉 王洪发 |
| 作者单位： | 1. 南昌工程学院计算机科学与技术系,南昌,330099;南昌大学计算机科学系,南昌,330031 2. 南昌工程学院计算机科学与技术系,南昌,330099 3. 浙江水利水电专科学校,杭州,310018 |
| 基金项目： | 国家自然科学基金(60173054,50539020)，江西省自然科学基金(2007GZS1056)资助~~ |
| 摘 要： | 综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景. |
| 关 键 词： | 粒计算 Rough逻辑语义 粒归结原理和策略 问题求解 λ-归结和锁归结策略 |
| 修稿时间： | 2007年1月9日 |
The Present Studying State of Granular Computing and Studying of Granular Computing Based on the Semantics of Rough Logic |
|
| LIU Qing,SUN Hui,WANG Hong-Fa.The Present Studying State of Granular Computing and Studying of Granular Computing Based on the Semantics of Rough Logic[J].Chinese Journal of Computers,2008,31(4):543-555. | |
| Authors: | LIU Qing SUN Hui WANG Hong-Fa |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |