基于三角模的模糊描述逻辑扩展研究

发布时间：2017-06-04 11:12

  本文关键词：基于三角模的模糊描述逻辑扩展研究，由笔耕文化传播整理发布。

【摘要】：描述逻辑是一阶逻辑的可判定子集,它被认为是语义网的本体语言,因此对描述逻辑进行研究是语义网得以实现的保证.而模糊描述逻辑赋予其更丰富的适用范围,满足了人们在实际应用中处理模糊信息的需求. Zadeh提出的模糊集理论,为解决带有模糊性及不分明的问题提供了有效的工具.不同的研究者从不同的方面对模糊描述逻辑进行了研究,取得了一系列的研究成果,为后续的研究打下了坚实的基础. 本文在以往研究成果的基础上,总结已得的研究结论,并分析在模糊描述逻辑的扩展研究方面存在的内容及研究方法上的不足.进而,提出相应的新的扩展研究.主要考虑和解决了以下几方面的问题: 1.研究基于R0算子(修正的Kleene蕴涵)的模糊描述逻辑,增加了新的解释,增添了新的规则,使得新的系统可以完成基本的推理任务.给出了它的语法,语义和知识库形式,并给出了对应的推理算法. 2.研究基于左连续三角模的模糊描述逻辑,将左连续三角模具有的特殊性质与描述逻辑结合起来进行研究,分析两种理论相结合所形成的新的系统.同时,给出了相应的推理算法,得到一些基于左连续三角模的模糊描述逻辑所具有的特殊性质. 3.分析几种扩展的模糊描述逻辑之间的联系,使得研究者对于模糊描述逻辑的扩展有据可循,为今后的研究工作提供一些可参考的标准.最后,从不同的角度分析,概括出众多扩展的异同点,并提出在扩展中应该共同遵循的一般规则.
【关键词】：模糊描述逻辑 左连续三角模 R_0蕴涵算子 Tableau算法
【学位授予单位】：浙江理工大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP18;O141
【目录】：

• 摘要4-5
• Abstract5-8
• 第一章 绪论8-11
• 1.1 研究背景与研究意义8-10
• 1.2 主要研究内容10-11
• 第二章 预备知识11-16
• 2.1 描述逻辑介绍11-12
• 2.2 模糊逻辑12-13
• 2.3 模糊描述逻辑的相关定义13-16
• 第三章 基于R_0算子的模糊描述逻辑16-25
• 3.1 R_0算子性质16
• 3.2 基于 R_0算子的模糊描述逻辑研究16-18
• 3.3 一些性质18
• 3.4 基于R0蕴涵算子的模糊描述逻辑R0ALC的推理18-25
• 第四章 基于左连续三角模的模糊描述逻辑25-32
• 4.1 左连续三角模25-27
• 4.2 基于左连续三角模的模糊描述逻辑27-32
• 第五章 几种模糊描述逻辑之间的联系32-37
• 5.1 描述逻辑的扩展32-34
• 5.2 模糊描述逻辑的研究成果分析34-35
• 5.3 几种模糊描述逻辑的扩展之间的联系35-37
• 第六章 总结与展望37-39
• 6.1 工作总结37
• 6.2 后续工作展望37-39
• 参考文献39-42
• 致谢42-43
• 附录43

【参考文献】

中国期刊全文数据库 前5条

1 王国俊,钱桂生,党创寅;命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J];中国科学E辑:信息科学;2004年10期

2 董明楷,张海俊,史忠植;基于动态描述逻辑的主体模型[J];计算机研究与发展;2004年05期

3 段跃兴;;ALC中的Tableau算法及其性质[J];计算机应用与软件;2010年10期

4 李言辉;徐宝文;陆建江;康达周;;一般术语公理下的模糊描述逻辑FALCN推理[J];软件学报;2008年03期

5 康达周;徐宝文;陆建江;李言辉;;支持模糊隶属度比较的扩展模糊描述逻辑[J];软件学报;2008年10期

中国博士学位论文全文数据库 前1条

1 赵德新;基于模糊逻辑的语义服务发现研究[D];天津大学;2008年

  本文关键词：基于三角模的模糊描述逻辑扩展研究，由笔耕文化传播整理发布。

，

本文编号：420813