贵州省科学技术基金(J[2009]2068)
- 作品数：5 被引量：11H指数：2
- 相关作者：张维曹发生王驹蒋运承余泉更多>>
- 相关机构：黔南民族师范学院毕节学院广西师范大学更多>>
- 发文基金：贵州省科学技术基金贵州省教育厅自然科学研究项目中国科学院计算机科学国家重点实验室开放课题基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
- 2012年
- 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。
- 张维曹发生余泉王驹
- 关键词：描述逻辑同态
- 描述逻辑系统UEVN中概念的包含关系被引量：3
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。
- 曹发生张维
- 关键词：描述逻辑
- 描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
- 张维侯金宏曹发生王驹蒋运承
- 关键词：描述逻辑
- 基于领域本体的文本分类方法被引量：2
- 2012年
- 基于本体的文本分类方法未考虑本体概念自身所含有的信息量及忽略本体推理功能。为此,以旅游领域为背景,提出一种基于领域本体的文本分类方法。该方法采用本体自身结构作为分类标准,通过计算特征项和本体概念间的语义关联度及结合本体的推理功能,将文本划分到合适的本体概念下作为概念的实例。实验结果证明,与传统方法相比,该方法的分类方法 F1值至少提高8.7%。
- 韦婷婷聂登国王驹蒋运承
- 关键词：领域本体文本分类本体概念语义关联
- 属性探索算法在知识发现中的应用研究
- 2010年
- 从人工智能的角度考虑,在具体的知识领域中,所有个体和属性构成了不同的形式背景。对于属性集合有穷,但是所有个体集合基数很大甚至无穷的研究领域的形式背景。我们设计扩充的属性探索算法求特定知识领域的Duquenne-Guigues基,并通过实例计算展示算法的功能。
- 张维赵小香曹发生余泉
- 关键词：知识领域
