文献类型：期刊文章

作　　者：刘清[1] 孙辉[1] 王洪发[2]

机构地区：[1]南昌工程学院计算机科学与技术系 [2]浙江水利水电专科学校,杭州310018

出　　处：《计算机学报》

基　　金：国家自然科学基金(60173054,50539020);江西省自然科学基金(2007GZS1056)资助~~

年　　份：2008

卷　　号：31

期　　号：4

起止页码：543-555

语　　种：中文

收录情况：BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20082111272861)、INSPEC、JST、MR、SCOPUS、ZGKJHX、核心刊

摘　　要：综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.

关 键 词：粒计算 Rough逻辑语义  粒归结原理和策略  问题求解  A-归结和锁归结策略  

分 类 号：TP301]