广西壮族自治区自然科学基金(0991100)
- 作品数：9 被引量：25H指数：3
- 相关作者：蒋运承王驹唐素勤施雅贤蔡自兴更多>>
- 相关机构：广西师范大学中国科学院软件研究所华南师范大学更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 独立于设计者的行动推理
- 2009年
- 高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.
- 周生明王驹蒋运承
- 关键词：情境演算知道逻辑知识流
- 基于领域本体的文本分类方法被引量：2
- 2012年
- 基于本体的文本分类方法未考虑本体概念自身所含有的信息量及忽略本体推理功能。为此,以旅游领域为背景,提出一种基于领域本体的文本分类方法。该方法采用本体自身结构作为分类标准,通过计算特征项和本体概念间的语义关联度及结合本体的推理功能,将文本划分到合适的本体概念下作为概念的实例。实验结果证明,与传统方法相比,该方法的分类方法 F1值至少提高8.7%。
- 韦婷婷聂登国王驹蒋运承
- 关键词：领域本体文本分类本体概念语义关联
- 基于领域本体的信息语义相关检索被引量：5
- 2011年
- 为提高搜索引擎的语义处理能力,以旅游领域为背景,利用领域本体对知识的表示和推理能力,提出一种领域本体中基于概念格的相关度计算模型。根据该模型设计用户检索项推荐技术并予以实现。实验结果表明,相关度计算模型能充分利用本体中概念的语义信息以及实例之间的关系,得到的结果较合理。
- 张功亮陈钰周茜朱悠悠赵晓飞
- 关键词：语义相关领域本体概念格信息检索
- 基于ε-Connections的旅游领域本体构建被引量：1
- 2010年
- 针对传统本体构建方法的局限性,提出一种基于ε-Connections理论构建旅游领域模块化本体库的方法,基于改进的Tableau算法,利用Pellet推理机实现对多个本体的联合推理。实验结果证明,该模块化构建方法可以有效降低本体构建的复杂度,有利于本体的维护和更新,提高本体重用模块抽取效率。
- 李璞施雅贤蒋运承
- 关键词：本体模块化旅游领域
- 描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
- 张维侯金宏曹发生王驹蒋运承
- 关键词：描述逻辑
- 基于领域本体的Web旅游信息抽取被引量：2
- 2010年
- 本文研究了基于领域本体的Web旅游信息抽取的方法和过程,构建了一个旅游领域本体,在领域本体的基础上利用本体推理实现了一个基于语义的Web旅游信息抽取系统。实验结果验证了基于旅游领域本体的Web信息抽取方法的正确性和有效性。
- 黄金顺黎慧唐素勤蒋运承
- 关键词：领域本体信息抽取本体构建
- 描述逻辑非标准推理被引量：3
- 2010年
- 描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术.深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展.最后探讨描述逻辑非标准推理的发展趋向.
- 唐素勤蔡自兴王驹蒋运承
- 关键词：描述逻辑
- 基于最大不动点模型的描述逻辑系统FLε的有穷基被引量：3
- 2010年
- 研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.
- 唐素勤蔡自兴王驹蒋运承
- 关键词：描述逻辑形式概念分析
- 基于语义的旅游信息搜索引擎被引量：5
- 2009年
- 在分析传统检索技术存在的问题基础上,采用Ontology技术结合传统搜索技术构建了一个基于语义的旅游信息搜索引擎,提出新的本体构建方法,给出了构建旅游信息领域本体的过程。根据用户的搜索需求定制规则,使用Jena的推理机制,通过规则对旅游信息本体进行语义访问与逻辑推理,提供更为灵活、有效的检索方案,向用户提供智能化、知识化服务,提高了搜索引擎的查准率和查全率。
- 肖宝施雅贤蒋运承
- 关键词：语义本体搜索引擎旅游信息
