检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的主体服务匹配

计算机学报 2004年第5期27卷 625-635页

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

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题 .描述逻辑是知识表示和推理的形式化工具 ,它提供了可判定的和可靠的推理服务 .该文利用描述逻辑有效的推理功能 ,特别是它对概念包含关系的有效判断 ,把它与多主... 详细信息

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题 .描述逻辑是知识表示和推理的形式化工具 ,它提供了可判定的和可靠的推理服务 .该文利用描述逻辑有效的推理功能 ,特别是它对概念包含关系的有效判断 ,把它与多主体系统的服务推理结合起来 .充分利用描述逻辑具有清晰模型理论语义和有效的概念分层推理服务等功能 ,该文提出了基于描述逻辑的主体服务匹配算法 ,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配 ,并提出了五种服务匹配算法 .这些方法都是基于语义的服务匹配 ,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配 ,克服了基于语义距离进行服务匹配的不足 .

关键词：服务匹配描述逻辑推理机制服务分层多主体系统

带RVM的描述逻辑εL混合循环术语集的语义及推理

在线全文

学校读者我要写书评

暂无评论

模式识别与人工智能 2008年第1期21卷 18-27页

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

分析描述逻辑循环术语集的研究现状和存在的问题,在***和***的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-... 详细信息

分析描述逻辑循环术语集的研究现状和存在的问题,在***和***的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.

关键词：描述逻辑混合循环术语集不动点语义描述语义关系-值-映射(RVM)

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的本体导航

计算机工程 2005年第11期31卷 28-29,55页

作者：王真星吕滕深圳清华大学研究院深圳518057 新疆大学数学与系统科学学院乌鲁木齐830046

计算机支持的协同学习系统经常采用知识导航模块,该模块的核心是本体库。许多本体库采用框架表示法,但框架表示语义不精确。该文提出了本体的描述逻辑表示和框架表示相结合,给出了描述逻辑表示的本体转化为框架本体表示的算法。

关键词：本体计算机支持协同学习知识导航描述逻辑

描述逻辑系统εLN中概念最小公共包含推理研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2012年第2期34卷 139-145页

作者：张维曹发生余泉王驹黔南民族师范学院数学系贵州都匀558000 毕节学院逻辑、语言与认知研究中心贵州毕节551700 广西师范大学计算机科学与信息工程学院广西桂林541004

描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能... 详细信息

描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。

关键词：描述逻辑描述树同态最小公共包含

在线全文

学校读者我要写书评

暂无评论

描述逻辑在智能化信息检索中的应用

情报学报 2011年第3期30卷 253-260页

作者：张明宝王涛施秀丽王莉莉南京航空航天大学经济与管理学院信息管理与电子商务系南京210016

智能化是信息检索技术发展的一个重要方向，将本体论技术引入信息检索过程实现信息检索智能化得到了广泛的关注和研究。但是，现有的研究仅仅局限于利用本体规范化人一机对篇章词汇概念的一致理解，实现词汇语义级别的信息检索，对本体... 详细信息

智能化是信息检索技术发展的一个重要方向，将本体论技术引入信息检索过程实现信息检索智能化得到了广泛的关注和研究。但是，现有的研究仅仅局限于利用本体规范化人一机对篇章词汇概念的一致理解，实现词汇语义级别的信息检索，对本体所具有的推理能力如何应用于信息检索却缺乏有效的解决方法。为了解决这一问题，本文将描述逻辑引入信息检索。一方面，通过建立描述逻辑与领域本体之间的映射关系，规范领域本体的构建，使领域本体具备自动推理能力；另一方面，强调通过语义标注实现领域本体对检索文档的描述。这样，就可以将针对检索文档集合的信息检索转换为针对描述逻辑知识库的推理过程，从而在信息检索过程中引入推理服务，实现智能化检索。文章详细定义了基于描述逻辑的信息检索的概念，阐述了其所提供的各种信息检索服务，并且以一个企业环境中的应用说明基于描述逻辑所实现的信息检索新能力。最后，介绍一种基于描述逻辑的信息检索技术实现方案。

关键词：信息检索描述逻辑本体

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

描述逻辑SHIQ与网络资源自动分类

通信学报 2004年第7期25卷 200-206页

作者：左志宏周明天电子科技大学计算机科学与工程学院四川成都610054

自动判定一个网络资源的类别是网络内容监控的一个重要工作。本文提出一种新的网络资源自动分类方法,该方法基于最新的知识表达技术——描述逻辑(description logics),在构建网络资源知识库的基础上,利用描述逻辑完备和正确的推理算法,... 详细信息

自动判定一个网络资源的类别是网络内容监控的一个重要工作。本文提出一种新的网络资源自动分类方法,该方法基于最新的知识表达技术——描述逻辑(description logics),在构建网络资源知识库的基础上,利用描述逻辑完备和正确的推理算法,对网络资源进行分类。本文重点介绍了描述逻辑系统SHIQ,并对网络资源的知识描述、分类公理的形式以及它的实现,作了简要介绍。

关键词：计算机应用网络资源分类描述逻辑 ontology

在线全文

学校读者我要写书评

暂无评论

模糊描述逻辑L-ALCN

计算机研究与发展 2008年第4期45卷 619-625页

作者：李淑英李梅蒋运承王驹刘真环广西师范大学数学科学学院广西师范大学计算机科学与信息工程学院桂林541004

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入... 详细信息

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.

关键词：描述逻辑完备格 L-解释 tableau算法一致性问题

在线全文

学校读者我要写书评

暂无评论

基于几何公差描述逻辑的公差类型的自动生成

计算机集成制造系统 2013年第7期19卷 1490-1499页

作者：覃裕初钟艳如常亮黄美发桂林电子科技大学广西可信软件重点实验室广西桂林541004 桂林电子科技大学机电工程学院广西桂林541004

为了使公差信息更好地被计算机理解,将描述逻辑引入到对公差设计的研究中。从几何要素之间的基本空间关系出发,提出几何公差描述逻辑GTDL(Df),并给出该逻辑的Tableau判定算法。应用GTDL(Df)的刻画能力,构建几何公差的GTDL(Df)表示模型;... 详细信息

为了使公差信息更好地被计算机理解,将描述逻辑引入到对公差设计的研究中。从几何要素之间的基本空间关系出发,提出几何公差描述逻辑GTDL(Df),并给出该逻辑的Tableau判定算法。应用GTDL(Df)的刻画能力,构建几何公差的GTDL(Df)表示模型;在此基础上,借助GTDL(Df)的Tableau判定算法,设计公差类型的自动生成算法。通过工程实例验证了生成算法的有效性。

关键词：描述逻辑几何公差表示模型公差类型自动生成

在线全文

学校读者我要写书评

暂无评论

基于动态描述逻辑的语义Web服务匹配研究

计算机研究与发展 2008年第12期45卷 2102-2109页

作者：彭晖陈立民常亮史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 湖南科技大学计算机科学与工程学院湖南湘潭411201 中国科学院研究生院北京100049

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务... 详细信息

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

关键词：语义Web服务服务匹配描述逻辑动态描述逻辑动作