检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

描述逻辑在空间推理中的应用

描述逻辑在空间推理中的应用

作者：郭昊吉林大学

学位级别：硕士

空间信息在众多领域中起到了越来越重要的作用,伴随着语义web的快速发展,空间语义web(Geospatial semantic web)也发展迅速。随着语义web的发展,对空间语义web和空间本体的研究也越来越深入。语义web将是21世纪信息技术领域的主要挑战之... 详细信息

空间信息在众多领域中起到了越来越重要的作用,伴随着语义web的快速发展,空间语义web(Geospatial semantic web)也发展迅速。随着语义web的发展,对空间语义web和空间本体的研究也越来越深入。语义web将是21世纪信息技术领域的主要挑战之一,而空间语义web也必将成为一个非常重要的发展趋势。描述逻辑(Description Logics)是一种知识表示的形式化语言,是一阶逻辑(FOL)的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛的运用到计算机科学的诸多领域当中,成为语义web的逻辑基础和理论基础。作为基本描述逻辑的重要扩展之一,空间描述逻辑(Spatial Description Logics)是空间语义web和空间本体的理论基础和逻辑基础。针对当前空间描述逻辑和空间语义web中存在的问题,本文主要从以下两个方面进行研究:首先,利用模糊集合论的主要思想从理论上对空间描述逻辑进行模糊扩展,首次提出一个可以处理不确定空间知识的空间描述逻辑;然后,从应用上将空间检索与语义检索相结合,将空间描述逻辑使用到空间语义检索当中,解决了已有空间信息检索系统的弊端,大大提高了系统的检索能力。

关键词：描述逻辑空间推理语义检索空间检索

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

描述逻辑FL_0循环术语集的可满足性

计算机工程与应用 2012年第14期48卷 56-59页

作者：汪天友曹发生贵阳学院数学系贵阳550005 毕节学院逻辑与文化研究中心数学系贵州毕节551700 中山大学逻辑与认知研究所广州510275

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术... 详细信息

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。

关键词：描述逻辑 FL0 互模拟

在线全文

学校读者我要写书评

暂无评论

描述逻辑在粗糙集框架下的拓展研究

描述逻辑在粗糙集框架下的拓展研究

作者：闫之焕电子科技大学

学位级别：硕士

主要研究面向语义网粗糙本体的粗糙描述逻辑的语义及推理,以及在形式概念表示的对象域中粗糙描述逻辑框架的构建。主要工作包括以下几个方面:一、改进了传统粗糙描述逻辑中概念可满足性的推理算法,其中只需用到概念的子概念和出现在概... 详细信息

主要研究面向语义网粗糙本体的粗糙描述逻辑的语义及推理,以及在形式概念表示的对象域中粗糙描述逻辑框架的构建。主要工作包括以下几个方面:一、改进了传统粗糙描述逻辑中概念可满足性的推理算法,其中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,说明了算法的正确性,通过实例说明了它的有效性。二、把形式概念的外延做为描述逻辑的概念,形式概念分析与粗糙集理论联系起来做为基础建立了两种新的粗糙描述逻辑框架。把***等提出的方法应用于新的粗糙描述逻辑,其中的上(下)近似算子是分别用格论算子和集合论算子来定义的,给出了基于格论的下近似新的形式。这里的近似的定义虽然不同于传统的粗糙近似算子形式,但是有很好的实用性。基于这个新颖的上(下)近似的定义,把这两组近似算子引入到描述逻辑的结构中形成两种粗糙描述逻辑Fl和Fs。给出了相应的语法和语义,最后还给出了扩展的Tableau算法,可以用来解决相应的推理问题。三、在用形式概念表示的对象域中,定义了新的可定义的概念和不可定义概念,并给出一对算子来近似不可定义的概念。把整个形式概念做为描述逻辑的概念,把新定义的近似算子引入到描述逻辑的结构中形成一种新的粗糙描述逻辑F.给出了相应的语法和语义,改进了经典的Tableau算法,用来解决相应的推理问题。

关键词：描述逻辑粗糙集形式概念分析上(下)近似 Tableau算法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于动态描述逻辑的Web自动化服务组合

高技术通讯 2015年第2期25卷 118-124页

作者：张建华田东平岳金朋张博中国科学院计算技术研究所智能信息重点实验室北京100190 中国科学院大学北京100049 中国矿业大学计算机学院徐州221116

研究了动态描述逻辑(DDL)在Web服务组合中的应用。基于目标规划以及动态描述逻辑给出了Web服务组合算法。该算法考虑了客户的个人偏好,扩大了Web服务的应用范围。它使用DDL进行Web服务组合刻画,因为DDL将具有相似功能的服务划为一个动... 详细信息

研究了动态描述逻辑(DDL)在Web服务组合中的应用。基于目标规划以及动态描述逻辑给出了Web服务组合算法。该算法考虑了客户的个人偏好,扩大了Web服务的应用范围。它使用DDL进行Web服务组合刻画,因为DDL将具有相似功能的服务划为一个动作集合,因而能够实现对语义Web中的动态知识和静态知识的统一描述,克服描述逻辑缺乏对动态知识描述的不足。该算法能够利用目标规划给出主体的动作执行序列,以有效实现Web服务的自动组合。最后通过具体实例验证了该算法的可行性。

关键词： Web服务组合语义Web 描述逻辑动态描述逻辑(DDL)

f-SHOIQ_N:一种模糊非单调描述逻辑

在线全文

学校读者我要写书评

暂无评论

计算机工程 2019年第6期45卷 315-320页

作者：王星赵巧霞陈吉李佳辽宁工程技术大学电子与信息工程学院辽宁葫芦岛125105 辽宁工程技术大学研究生院辽宁葫芦岛125105

针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻辑f-SHOIQN。使用弱否定标记模糊非单调原子概念,进而表示模糊非单调规则。将模糊非单调规则引入模糊描述... 详细信息

针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻辑f-SHOIQN。使用弱否定标记模糊非单调原子概念,进而表示模糊非单调规则。将模糊非单调规则引入模糊描述逻辑f-SHOIQ,用来表示模糊和非单调知识。构建f-SHOIQN的知识库,给出该知识库中模糊非单调知识和模糊单调知识处理方式。为处理模糊非单调知识库中规则的竞争并满足描述逻辑中概念包含、相等的问题,提出f-SHOIQN中竞争规则的优先级判定算法。分析f-SHOIQN具有的性质,并给出相关证明。

关键词：语义网描述逻辑弱否定模糊和非单调知识构造算子竞争规则

在线全文

学校读者我要写书评

暂无评论

描述逻辑ALC基于RBox的推理

湘潭大学自然科学学报 2014年第2期36卷 104-108页

作者：王雪瑞李拴保河南工程学院计算机科学与技术学院河南新郑451191 河南财政税务高等专科学校信息工程系河南郑州451464

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完... 详细信息

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.

关键词：描述逻辑角色包含公式可满足性表算法复杂度

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的事例推理综述

计算机科学 2014年第11期41卷 1-6,39页

作者：孙晋永古天龙常亮西安电子科技大学计算机学院西安710071 桂林电子科技大学广西可信软件重点实验室桂林541004

基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基... 详细信息

基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提出了未来的研究方向。

关键词：基于事例推理描述逻辑事例表示事例检索事例修正

在线全文

学校读者我要写书评

暂无评论

一种基于扩展描述逻辑的事件实例检测方法

计算机应用研究 2014年第11期31卷 3285-3290页

作者：唐英英刘炜苏小英刘菲京上海大学计算机工程与科学学院上海200444

针对事件要素之间客观存在的语义关系以及事件与事件类之间的语义关系进行研究,提出了一种基于扩展描述逻辑的事件实例检测方法。该方法利用事件中的时间、动作、环境要素对事件进行语义补充,然后利用扩展描述逻辑中概念的可满足性和概... 详细信息

针对事件要素之间客观存在的语义关系以及事件与事件类之间的语义关系进行研究,提出了一种基于扩展描述逻辑的事件实例检测方法。该方法利用事件中的时间、动作、环境要素对事件进行语义补充,然后利用扩展描述逻辑中概念的可满足性和概念包含的推理功能对事件实例进行检测,最后通过实验证明该方法可实现文本中的事件实例检测,准确率达到了85.12%。

关键词：描述逻辑事件实例检测事件事件类

在线全文

学校读者我要写书评

暂无评论

一种带缺省推理的描述逻辑

计算机学报 2003年第6期26卷 729-736页

作者：董明楷蒋运承史忠植中国科学院计算技术研究所北京100080

该文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种同时具有Tbox,Abox和缺省规则的知识库系统,研究了带缺省推理... 详细信息

该文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种同时具有Tbox,Abox和缺省规则的知识库系统,研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题,提出了一种用来检测可满足性和缺省可满足性的Tableau-D算法,并得到了缺省可满足性和缺省包含的转换定理.

关键词：描述逻辑缺省推理知识库系统知识表示常识推理人工智能