TABLEAU算法

作品数：28被引量：95H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：常亮段跃兴彭立杨恒伏邱晓春更多>>
相关机构：吉林大学桂林电子科技大学太原理工大学湖南第一师范学院更多>>
相关期刊：《计算机技术与发展》《高校应用数学学报（A辑）》《计算机与数字工程》《电脑与电信》更多>>
相关基金：国家自然科学基金广西壮族自治区自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时间区间的模糊描述逻辑的Tableau算法被引量：1
《现代信息科技》2021年第8期119-121,124,共4页昌霞 
基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出...
关键词：时间区间 模糊描述逻辑 隶属度 
描述逻辑ALC中的TBox推理机制研究
《曲靖师范学院学报》2016年第6期53-57,共5页夏跃龙 
国家自然科学基金项目"多源异构的海量少数民族文化资源挖掘与服务关键技术研究"(61562093)
领域专家知识库的构建及其推理在专家系统中具有重要的作用,为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组成部分,以及描述描述逻辑系统ALC中的非循环TBox、循环TBox、含有包含关系的TBox和空TBox;通过引入固定...
关键词：描述逻辑ALC 空TBox 循环TBox TABLEAU算法 
基于形式概念分析的粗糙描述逻辑研究被引量：1
《计算机工程与科学》2016年第5期1002-1006,共5页闫之焕 
国家自然科学基金(11201053;11026081)
以往的粗糙描述逻辑(RDL)都是基于传统的粗糙集理论。实际上,经常会出现用形式概念表示一个概念的情况,此时一个自然的问题就是如何处理可能出现的不确定概念。把形式概念分析与粗糙集理论联系起来做为基础,给出可定义概念和不可定义概...
关键词：形式概念 上(下)近似 粗糙集 描述逻辑 TABLEAU算法 
Tableau算法在粗糙描述逻辑中的扩展应用
《计算机技术与发展》2015年第12期10-13,共4页闫之焕 
国家自然科学基金资助项目(11201053;11026081)
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法,但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况,有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑,然后再用Tableau算法实现推理,这就需要...
关键词：粗糙集 等价关系 描述逻辑 TABLEAU算法 
Tableau算法的优化及模型规约技术被引量：4
《计算机学报》2014年第8期1647-1657,共11页刘大有 赖永 王生生 
国家自然科学基金(61133011;61170092;61300146;61373053)资助
为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模...
关键词：模态逻辑 TABLEAU算法 优化 模型规约 
分支时态描述逻辑ALC-CTL及其可满足性判定
《计算机科学》2014年第3期205-211,共7页李屾 常亮 孟瑜 李凤英 
国家自然科学基金(61363030;61100025;61262030);广西自然科学基金(2012GXNS FBA053169;2012GXNSFAA053220);广西可信软件重点实验室基金(KX201109)资助
时态描述逻辑是将描述逻辑与时态逻辑相结合后得到的逻辑系统,具有较强的描述能力;但是大部分的时态描述逻辑都是将时态算子同时引入到概念和公式中,使得公式可满足性问题的计算复杂度过高。将描述逻辑ALC与分支时态逻辑CTL相结合,提出...
关键词：时态描述逻辑 分支时态逻辑 可满足性问题 TABLEAU算法 复杂度 
基于修正的Kleene蕴涵的模糊描述逻辑
《高校应用数学学报（A辑）》2013年第4期457-465,共9页邱晓春 裴道武 
国家自然科学基金(11171308)
基于三角模的模糊描述逻辑的提出,使得模糊描述逻辑的框架更一般化,为知识处理提供了更理想的方法.在此基础上,提出基于修正的Kleene蕴涵的模糊描述逻辑,在建立该模糊描述逻辑的语法,语义与知识库形式后,进一步讨论相关的推理问题,包括...
关键词：模糊描述逻辑 修正的Kleene蕴涵 可满足性 一致性 TABLEAU算法 
描述逻辑SHIQ的ABox一致性判定算法
《计算机工程》2013年第12期308-315,共8页彭立 杨恒伏 
国家自然科学基金资助项目(61073191);湖南省教育厅科学研究基金资助项目(12C0593);湖南第一师范学院校级课题基金资助项目(XYS10N09)
为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’...
关键词：描述逻辑SHIQ ABox一致性判定 TABLEAU算法 阻塞机制 可终止性 合理性 完备性 
描述逻辑SHIN的ABox一致性判定算法
《计算机工程与应用》2013年第20期55-62,共8页彭立 杨恒伏 
国家自然科学基金(No.61073191);湖南第一师范学院校级课题(No.XYS10N09)
为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致...
关键词：支持补集 传递角色 角色层次 反向角色和数量约束的属性语言(SHIN) ABox一致性判定 TABLEAU算法 阻塞机 制 可终止性 合理性 完备性 
城市智能交通系统知识库的综合推理被引量：1
《计算机与数字工程》2013年第2期214-217,共4页熊玲芳 杨世瀚 吴尽昭 卢道设 
国家自然科学基金(编号:60973147);广西自然科学基金(编号:2011GXNSFA018154);广西教育厅科研资助项目(编号:201012MS274);中国科学院2010年度"西部之光"人才培养计划项目"数字科技文献资源语义元数据自动获取"资助
城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知...
关键词：公共交通知识库 描述逻辑 TABLEAU算法 信息查询 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部