循环术语集

作品数：10被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王驹蒋运承汤庸申宇铭覃俊明更多>>
相关机构：广西师范大学中山大学桂林电子科技大学贵州工程应用技术学院更多>>
相关期刊：《贵州工程应用技术学院学报》《计算机工程与应用》《计算机研究与发展》《中国科技论文》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金广西青年科学基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
描述逻辑FL0循环术语集的保守扩充
《贵州工程应用技术学院学报》2019年第3期20-24,共5页聂登国 王勇红 
2017年贵州省教育厅普通高校学校青年科技人才成长项目“轻量级描述逻辑循环术语集的保守扩充研究”,项目编号:黔教合KY字[2017]293
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非...
关键词：保守扩充 描述逻辑 本体 包含推理 
描述逻辑εL循环术语集的保守扩充被引量：3
《计算机科学》2017年第B11期136-140,147,共6页王勇红 申宇铭 聂登国 王驹 
江西省教育厅科学技术研究项目(GJJ151348);国家自然科学基金项目(61103169;61463044);广西可信软件重点实验室研究课题(kx201330)资助
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的...
关键词：本体 描述逻辑 循环术语集 保守扩充 
基于极性的非循环术语集调试
《中国科技论文》2014年第1期76-80,共5页雷景佩 欧阳丹彤 叶育鑫 
国家自然科学基金资助项目(61133011;60973089;61003101;61170092;61272208);高等学校博士学科点专项科研基金资助项目(20100061110031);吉林省科技发展计划资助项目(20101501;20100185;201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK12);浙江省自然科学基金资助项目(Y1100191)
通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入...
关键词：本体 术语集 不一致 极性 
基于OBDD的描述逻辑εL循环术语集推理被引量：1
《软件学报》2014年第1期64-77,共14页古天龙 吕思菁 常亮 徐周波 
国家自然科学基金(60963010;60903079;61100025;61262030;61363030);广西自然科学基金(2012GXNSFBA 053169)
循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑...
关键词：描述逻辑εL 循环术语集 有序二叉决策图 概念包含关系 不动点语义 
描述逻辑FL_0循环术语集的可满足性
《计算机工程与应用》2012年第14期56-59,共4页汪天友 曹发生 
贵州省教育厅自然科学基金项目(No.黔教科20090068);贵州省重点支持学科(逻辑学)项目
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术...
关键词：描述逻辑 FL0 互模拟 
gfp-模型的描述逻辑FLε的循环术语集推理
《计算机工程与应用》2010年第12期32-37,共6页覃俊明 耿继兵 王驹 蒋运承 
国家自然科学基金No.60663001;中国科学院软件研究所计算机科学国家重点实验室开放课题项目No.SYSKF0904;广西自然科学基金项目No.0991100;No.0832103;广西壮族自治区研究生教育创新计划项目No.2009106020701M31~~
描述逻辑(DL)一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大...
关键词：描述逻辑 FLε 循环术语集 最大不动点语义 描述图 图模拟 
描述逻辑εLN循环术语集的不动点语义及推理被引量：7
《软件学报》2009年第3期477-490,共14页蒋运承 王驹 史忠植 汤庸 
国家自然科学基金;国家重点基础研究发展计划(973));中国博士后科学基金;广东省自然科学重点基金;新世纪优秀人才支持计划;广西自然科学基金~~
循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制...
关键词：描述逻辑 εLN 循环术语集 描述图 模拟关系 不动点语义 
描述逻辑系统vL循环术语集的可满足性及推理机制被引量：17
《中国科学（F辑:信息科学）》2009年第2期205-211,共7页王驹 蒋运承 申宇铭 
国家自然科学基金(批准号:60496320;60573010;60663001);广西自然科学基金(批准号:桂科自0447032);广西青年科学基金(批准号:0640030)资助项目
文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的...
关键词：描述逻辑 循环术语集 描述图 模型 
描述逻辑εL循环术语集的混合推理被引量：3
《计算机研究与发展》2009年第1期15-22,共8页蒋运承 王驹 周生明 汤庸 
国家自然科学基金项目(60663001,60573010,60673135,60373081);中国博士后科学基金项目(20060400226);广西自然科学基金项目(桂科青0640030,桂科自0832103);广西科学研究与技术开发计划基金项目(桂科攻0719001-11)~~
循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL...
关键词：描述逻辑 循环术语集 不动点语义 描述语义 混合推理 
描述逻辑FL-循环术语集的语义及推理被引量：9
《计算机学报》2008年第2期185-195,共11页蒋运承 王驹 邓培民 汤庸 
国家自然科学基金(60663001,60673135,60373081,60573010);广东省自然科学重点基金(04105503);广西青年科学基金(桂科青0640030)资助
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^...
关键词：描述逻辑 循环术语集 不动点语义 描述语义 有限自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部