您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

模糊描述逻辑F-SHIQ公理体系及其推理机制的研究

发布时间:2019-05-14 11:26 来源:未知 编辑:admin

  计算机与Internet的快速发展,使得语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色,基于语义网的知识获取与知识推理应用也在不断增加。但在我们的日常生活中,越来越多不确定的、模糊的信息需要处理,这就需要有一套完整的理论联系实际的模糊知识处理体系,来对模糊信息进行准确的表述与推理。本文以此目标为研究方向,把模糊逻辑理论作为基础,对现有的基于语义网的理论与技术进行了深入的研究,重点关注了理论的完善和实践的可应用性两个关键的问题,所取得的主要研究成果如下: (1)提出了对描述逻辑SHIQ的模糊扩展,给出了一个可靠的公理体系:模糊描述逻辑公理体系F-SHIQ,将其作为知识表示与推理的理论基础。以一个构造公理系统的角度,将描述逻辑中必要的概念、关系、操作等都进行了模糊扩展,给出了相应的定义,法则,公理和定理等,并对公理体系进行了推导证明,以保证其可靠性。 (2)把F-SHIQ公理体系作为逻辑基础,扩展了现有的本体描述语言OWL DL,提出了基于模糊描述逻辑的规则语言FSRL。使得知识表述语言在类、属性、个体、操作等方面同样具有了表达和处理模糊信息的能力。并为后面的模糊推理机提供了必要的知识表示形式基础,推理机中的知识和规则都可以以此形式进行存储应用。 (3)提出了使用本体和语义规则来对模糊公理体系的法则,定理等进行存储的存储模型。利用本体是个语义知识库的特点,把公理体系分解为最基本的概念类和概念关系,并利用语义规则进行必要的关联。这样既高效的实现了对法则定理等的全面存储,又消除了存储的冗余。 (4)以F-SHIQ为逻辑基础,以FSRL为知识表示与存储形式,给出了一个能够推理模糊知识的实用型模糊推理机FSRLReasoner。对以知识基形式存在的模糊问题,解析后利用规则进行模糊推理,给出相应的结果,最后还通过一个知识基推理的实验,对本推理机的能力进行了必要的检验。 本文的研究工作,将模糊逻辑引入扩展到了语义网的知识表述与推理中,增强了处理模糊信息的能力,提供了一整套的模糊信息处理体系,对今后各学科模糊知识的表述与推理都有着很好的理论和实践意义。

  郑小蓉;;可信Web服务的度量模型[J];山东大学学报(理学版);2011年09期

  李彦景;范通让;赵永斌;;网络生态性研究及证明[J];计算机应用研究;2011年09期

  孟凡永;张强;;模糊合作对策在凸几何上的Shapley函数[J];系统工程与电子技术;2011年06期

  王瑞祥;;基于自洽的中医文献信息化思路探究[A];中华中医药学会第九届中医医史文献学术研讨会论文集萃[C];2006年

  杜国平;;哲思逻辑[A];第三次金岳霖学术思想研讨会论文集[C];2005年

  缪青海;;计算机与社会科学的关系[A];新观点新学说学术沙龙文集20:社会能计算吗[C];2008年

  张家龙;;王宪钧教授对中国数理逻辑发展的贡献——纪念王宪钧教授诞辰90周年[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

  魏勇;;指标相关程度与模式接近程度不容混淆[A];2006年灰色系统理论及其应用学术会议论文集[C];2006年

  马佩;;充足理由律是形式逻辑的重要规律——与林铭钧等同志并与李先焜同志商榷[A];全国逻辑讨论会论文选集[C];1979年

  吴杰;;建立基于马克思主义经济学的广义经济学理论体系为当代运动做出新贡献[A];中国《资本论》研究会第13次学术研讨会代表论文集[C];2006年

  关叶青;刘思峰;;关于强化缓冲算子的进一步研究[A];第八届中国管理科学学术年会论文集[C];2006年

  张明善;唐小我;;理性行为公理的一个注记[A];2002中国控制与决策学术年会论文集[C];2002年

  关叶青;刘思峰;;关于强化缓冲算子的进一步研究[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集[C];2006年

  中国人民大学法学院 陈林林;法律中的数学理性[N];光明日报;2008年

  许小年 博士;股市不应只是企业的融资渠道[N];中国贸易报;2001年

  李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年

  胡建;产品设计知识管理关键技术研究及实现[D];南京航空航天大学;2005年

  陈婷;20世纪我国初中几何教科书编写的沿革与发展[D];西南大学;2008年

  陈雯;基于模糊合作对策的动态联盟企业收益分配策略研究[D];北京理工大学;2007年

  樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年

  李梅;含限定性数目约束的模糊描述逻辑FALCQ[D];广西师范大学;2007年

  李晶;基于能力与思维的协商公理体系多Agent 系统模型[D];云南师范大学;2003年

  代国林;基于BDI的协商公理体系多Agent系统模型[D];云南师范大学;2005年

  强毅;欧几里德几何体系中运动与中学教学[D];首都师范大学;2009年

  尹红丽;基于时序逻辑的协商公理体系多Agent系统的形式化模型[D];云南师范大学;2004年

  章江花;基于BDI-VSK-T逻辑的Agent系统形式化模型的研究[D];云南师范大学;2006年

  王静;基于DFL的自主学习子空间学习算法及应用研究[D];苏州大学;2008年

  陈沫;基础教育改革背景下高师院校“初等几何研究”课程的改革[D];贵州师范大学;2006年

  程雪;Daniell积分与概论中期望的语言[D];山东大学;2006年

http://39-5963.net/gongliyuyi/151.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有