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

被引：26

作者：

刘清 ^{[1
]}

孙辉 ^{[1
]}

王洪发 ^{[2
]}

机构：

[1] 南昌工程学院计算机科学与技术系

[2] 浙江水利水电专科学校

来源：

计算机学报 | 2008年 / 04期

关键词：

粒计算; Rough逻辑语义; 粒归结原理和策略; 问题求解; λ-归结和锁归结策略;

D O I：

暂无

中图分类号：

TP301.6 [算法理论];

学科分类号：

081202 ;

摘要：

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

引用

页码：543 / 555

页数：13

共 11 条

[1] 从Rough集的发展前景看粒计算的研究趋势 [J].

刘清 ;

孙辉 .

南昌工程学院学报, 2006, (05) :1-10

[2] G-逻辑及其归结推理 [J].

刘清 ;

黄兆华 .

计算机学报, 2004, (07) :865-873

[3] 粒及粒计算在逻辑推理中的应用 [J].

刘清 ;

刘群 .

计算机研究与发展, 2004, (04) :546-551

[4] Rough逻辑及其在数据约简中的应用 [J].

刘清 ;

刘少辉 ;

郑非 .

软件学报, 2001, (03) :415-419

[5]

L. A. Zadeh.Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems[J].Soft Comput.,1998

[6]

T.Y. Lin,Qing Liu.FIRST-ORDER ROUGH LOGIC I: APPROXIMATE REASONING VIA ROUGH SETS[J].Fundamenta Informaticae,1996(2,3)

[7]

Zdzisław Pawlak.Rough sets[J].International Journal of Parallel Programming,1982

[8]

刘清著.Rough集及Rough推理[M].北京:科学出版社,2001

[9]

张钹,张铃著.问题求解理论及应用[M].北京:清华大学出版社,1990

[10]

赵国清编.非标准微积分[M].哈尔滨:黑龙江科学技术出版社,1983

← 1 2 →