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