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