首页 | 本学科首页   官方微博 | 高级检索  
     

模糊描述逻辑L-ALCN
引用本文:李淑英, 李 梅, 蒋运承, 王 驹, 刘真环. 模糊描述逻辑L-ALCN[J]. 计算机研究与发展, 2008, 45(4): 619-625.
作者姓名:李淑英  李梅  蒋运承  王驹  刘真环
作者单位:[1]广西师范大学数学科学学院,桂林541004 [2]广东省佛山市顺德区大良实验中学,顺德528300 [3]广西师范大学计算机科学与信息工程学院,桂林541004
基金项目:国家自然科学基金项目(60573010,60663001); 广西壮族自治区自然科学基金项目(0447032); 广西壮族自治区青年科学基金项目(0640030); 广西壮族自治区研究生教育创新计划基金项目(2007106020701M52)
摘    要:为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥n R)和(≤n R)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合D-L(c),并且利用集合D-L(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.

关 键 词:描述逻辑  完备格  L-解释  tableau算法  一致性问题

Fuzzy Description Logic L-ALCN
Li Shuying,,Li Mei,Jiang Yuncheng,Wang Ju,, Liu Zhenhuan. Fuzzy Description Logic L-ALCN[J]. Journal of Computer Research and Development, 2008, 45(4): 619-625
Authors:Li Shuying    Li Mei  Jiang Yuncheng  Wang Ju     Liu Zhenhuan
Affiliation:Li Shuying1,2,Li Mei1,Jiang Yuncheng3,Wang Ju3,, Liu Zhenhuan1 1(College of Mathematics Science,Guangxi Normal University,Guilin 541004) 2(Daliang Experimental Middle School of Guangdong Foshan,Shunde 528300) 3(College of Computer Science , Information Engineering,Guilin 541004)
Abstract:
Keywords:
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《计算机研究与发展》浏览原始摘要信息
点击此处可从《计算机研究与发展》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号