粒计算研究现状及基于Rough逻辑语义的粒计算研究

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