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

The Present Studying State of Granular Computing and Studying of Granular Computing Based on the Semantics of Rough Logic

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

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

出　　处：《计算机学报》2008年第4期543-555,共13页Chinese Journal of Computers

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

摘　　要：综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.In this article, the proposed background, the present studying state and its developing direction of granular computing are summarized. Author＇s view are also inserted in the article. The applied universality of granular computing is discussed, including the applications of image searching technology in AI, diagnosis and treatemnt systems in medicine, calculus in seriate mathematics and other approximate reasoning. Granular computing could hopefully be the theoretical tool and methodology on information processing and studying other subject. Granulations and related properties based on the semantics of Rough logic are also discussed. Deductive reasoning of the granulations is created. Resolution principles and resolution strategies of granulations based on the semantics of Rough logic are proposed, it includes A-resolution strategy and lock resolution strategy. The soundness of the granular resolution is proved. Application of granulations based on the semantics of Rough logic in problem resolving, expert systems and machine theorem proving of AI could hopefully be a new research idea and new theoretical tools. Finally, further developing perspectives of granulations based on the semantics of Rough logic are also proposed in this article.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]