检索结果-内蒙古大学图书馆

计算机研究与发展 2007年第8期44卷 1309-1316页

作者：蒋运承汤庸王驹申宇铭中山大学计算机科学系广州510275 广西师范大学计算机科学与信息工程学院桂林541004 中山大学计算机科学系广州510275 广西师范大学计算机科学与信息工程学院桂林541004

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑table... 详细信息

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FALNUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.

关键词：描述逻辑模糊描述逻辑 FALNUI tableaux 推理算法模糊ER模型

来源：评论

学校读者我要写书评

暂无评论

基于模糊描述逻辑的C4ISR系统上下文环境分析方法

引用

系统工程与电子技术 2016年第11期38卷 2546-2551页

作者：董庆超陈青华齐玉东姚刚海军航空工程学院兵器科学与技术系山东烟台264001 解放军理工大学军事信息学教研中心江苏南京210007

为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出... 详细信息

为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出了C4ISR系统上下文环境信息获取和建模表示方法。此外,将模糊本体推理技术引入指挥信息系统上下文环境推理分析环节,通过设计上下文环境模型到本体的形式化规约算法,有效地将指挥信息系统的上下文环境信息形式化,并通过本体推理技术,实现了对系统上下文环境的推理分析。

关键词： C4ISR 上下文感知模糊推理模糊描述逻辑

来源：评论

学校读者我要写书评

暂无评论

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展

引用

东北大学学报（自然科学版） 2009年第11期30卷 1562-1565页

作者：王海龙马宗民严丽闫东亮东北大学信息科学与工程学院辽宁沈阳110004

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后... 详细信息

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息。

关键词：语义Web 模糊描述逻辑 F-ALC(G) 模糊OWL 自定义数据类型

来源：评论

学校读者我要写书评

暂无评论

基于模糊描述逻辑的PNL网络问答系统

引用

计算机工程 2006年第21期32卷 52-54页

作者：高明霞刘椿年北京工业大学计算机学院多媒体与智能软件技术重点实验室北京100022

将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一,模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑,该文特化了PNL过程,提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL推理过程中用到的原型语言... 详细信息

将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一,模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑,该文特化了PNL过程,提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL推理过程中用到的原型语言规则中的计算部分,推理出原型语言规则中的知识符号,并以一个具体的问答实例,介绍了PNL式问答系统的工作流程。

关键词：模糊描述逻辑精确的自然语言问答系统

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：李明泉天津大学

学位级别：博士

计算机与Internet的快速发展,使得语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色,基于语义网的知识获取与知识推理应用也在不断增加。但在我们的日常生活中,越来越多不确定的、模糊的信息需要处理,这就需要有一套完整的理论... 详细信息

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

关键词：模糊描述逻辑公理体系语义网推理机 OWL扩展

来源：评论

学校读者我要写书评

暂无评论

模糊描述逻辑扩展模糊软集的研究

模糊描述逻辑扩展模糊软集的研究

引用

作者：李国媛东北师范大学

学位级别：硕士

软集合理论是Molodtsov提出的一种科学的数学方法，用于分析解决概念不清晰的对象。从提出至今，很多学者投身于软集合及其相关应用领域的探索和研究。后来，基于Molodtsov的软集合理论和Zadeh的模糊集合概念， Maji将模糊集合理论与软... 详细信息

软集合理论是Molodtsov提出的一种科学的数学方法，用于分析解决概念不清晰的对象。从提出至今，很多学者投身于软集合及其相关应用领域的探索和研究。后来，基于Molodtsov的软集合理论和Zadeh的模糊集合概念， Maji将模糊集合理论与软集合理论相结合，提出了模糊软集合的概念。而描述逻辑语言通常采用结构上和形式上都很容易理解的方式来表述应用领域中的术语知识，属于知识表示语言的一种。但是，随着信息技术和智能技术的发展，社会信息量的急剧增加，在现实生活中，出现了越来越多的不确定性概念，传统的描述逻辑理论已经不足以来处理或者模拟这些不确定性概念了，因此，学者Straccia将模糊集合理论和描述逻辑结合，提出了模糊描述逻辑的概念。本文论述的扩展方法步骤如下：本文首先将对软集合、模糊软集合、描述逻辑和模糊描述逻辑、几个模块进行了深入、全面的论述，并对主要性质进行了深入的研究。接着，本文提出概念，称之为扩展的模糊软集合理论。主要采用的方法，是用模糊描述逻辑语言FALC中的概念集合来充当模糊软集合中的参数集合，理由主要是模糊描述逻辑具有推理功能，使得推出的模糊软集合也具有推理的功能，相信扩展后的理论概念可以应用到更广泛的领域。对于新的概念，首先提出了它的具体定义。然后，定义了它的相应属性和性质。接下来，我们会提出三个定理，其中包含了的德摩根律和的摩根包含表达式，证明这些定理在新的概念以及新的属性中是成立的，并且有相应的具体证明过程。经过理论推导和数学证明，本文提出的新概念是具有正确性和完整性的。

关键词：软集合模糊软集合描述逻辑模糊描述逻辑扩展的模糊软集合

来源：评论

学校读者我要写书评

暂无评论

基于时间区间关系的时态模糊描述逻辑研究

引用

云南大学学报(自然科学版) 2014年第3期36卷 335-340页

作者：程昆夏幼明高佳乐云南师范大学信息学院

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语... 详细信息

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.

关键词：时态逻辑模糊描述逻辑时间区间不精确知识

来源：评论

学校读者我要写书评

暂无评论

基于修正的Kleene蕴涵的模糊描述逻辑

引用

高校应用数学学报（A辑） 2013年第4期28卷 457-465页

作者：邱晓春裴道武浙江理工大学理学院浙江杭州310018

基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括... 详细信息

基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括这个逻辑中的可满足性问题,Tableau算法及一致性问题.

关键词：模糊描述逻辑修正的Kleene蕴涵可满足性一致性 Tableau算法

来源：评论

学校读者我要写书评

暂无评论

基于模糊描述逻辑的个性化推荐系统建模

引用

计算机应用研究 2011年第4期28卷 1429-1433页

作者：牟向伟陈燕大连海事大学交通运输管理学院辽宁大连116026

为了解决现有个性化推荐系统中缺乏对模糊语义信息处理的能力,建立模糊语义推荐系统模型,使用模糊描述逻辑实现了该模型,并给出了推荐算法。在实现模型的过程中引入了两条规则,实现了概念层次关系在兴趣程度和关联程度上的传递。最后通... 详细信息

为了解决现有个性化推荐系统中缺乏对模糊语义信息处理的能力,建立模糊语义推荐系统模型,使用模糊描述逻辑实现了该模型,并给出了推荐算法。在实现模型的过程中引入了两条规则,实现了概念层次关系在兴趣程度和关联程度上的传递。最后通过实例证明,通过将用户的兴趣和待选资源的相关概念在语义层面进行适当的扩展,模糊语义推荐系统模型能更准确地描述用户的兴趣并产生更多符合用户兴趣的推荐项目。

关键词：个性化推荐模糊描述逻辑用户兴趣

来源：评论

学校读者我要写书评

暂无评论

基于模糊描述逻辑的模糊UML类图形式化

引用

解放军理工大学学报（自然科学版） 2010年第4期11卷 386-391页

作者：周波张亚非陆建江王进鹏苗壮解放军理工大学指挥自动化学院江苏南京210007

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)... 详细信息

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。

关键词：模糊UML 类图模糊描述逻辑形式化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：