搜索到52篇“ TABLEAU算法“的相关文章
- 基于时间区间的模糊描述逻辑的Tableau算法被引量:1
- 2021年
- 基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性。
- 昌霞
- 关键词:模糊描述逻辑
- Tableau算法在粗糙描述逻辑中的扩展应用
- 2015年
- Tableau算法是描述逻辑中判断概念的可满足性最常用的方法,但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况,有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑,然后再用Tableau算法实现推理,这就需要在Tableau算法中增加一些规则,这增加了算法不必要的工作。文中给出了粗糙描述逻辑中概念包含关系的一种新的推理的Tableau算法,在这种改进的算法中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,并证明了它的正确性,通过实例说明了它的有效性。
- 闫之焕
- 关键词:粗糙集等价关系描述逻辑TABLEAU算法
- Tableau算法的优化及模型规约技术被引量:4
- 2014年
- 为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.
- 刘大有赖永王生生
- 关键词:模态逻辑TABLEAU算法
- Tableau算法在粗逻辑知识推理中的应用被引量:3
- 2013年
- Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。
- 阎红灿闫宏图刘保相
- 关键词:描述逻辑粗糙逻辑知识推理
- 模块化本体的Tableau算法及其性能优化
- 2012年
- 针对现有模块化本体推理方法通用性低、控制复杂等不足,提出一种基于服务的分布式Tableau算法。模块在进行一致性推理时,对关于外部概念的断言,将调用相应模块的服务进行推理,同一推理中的矛盾在定义相应概念的模块中得到捕获,采用优化技术改进算法的时间性能。实验结果表明,该算法使得模块在表述知识时能灵活引用外部概念,支持复杂的推理任务,具有较好的可伸缩性。
- 蒋宗华徐勇
- 关键词:本体描述逻辑模块化本体推理分布式算法TABLEAU算法
- 基于Tableau算法的本体模型验证方法研究被引量:1
- 2011年
- 文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。
- 兰天程继红
- 关键词:本体模型TABLEAU算法
- ALC中的Tableau算法及其性质被引量:7
- 2010年
- 描述逻辑是一族知识表示的形式化语言,是一阶谓词逻辑的可判定子集,已成为语义Web的理论基础。描述逻辑中ALC是最小命题封闭的,是其它描述语言的基础,而可判定是描述逻辑的最重要的问题,在ALC中Tableau算法巧妙地解决了这一问题,掌握ALC中的Tableau算法是理解各种描述逻辑中可判定性的基础。对ALC中的Tableau算法进行详细阐述,并对其关键的几个性质:可终止性、完备性和判定性给出了证明,为研究SHOIN(D)中的Tableau算法及性质奠定了基础。
- 段跃兴
- 关键词:描述逻辑TABLEAU算法语义WEBALC
- Horn-Extended DL的Tableau算法研究
- 2009年
- 描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给出了一种DL-safe规则。在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率。
- 肖岚郑力肖建黄毅
- 关键词:描述逻辑逻辑程序HORN子句TABLEAU算法
- 一种子句重构的增强Tableau算法
- 2009年
- 利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.
- 古华茂高济王勋吴海燕
- 关键词:可满足性
- 一种扩展的动态描述逻辑语言及其Tableau算法被引量:3
- 2009年
- 对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作.通过对可达关系进行限制,定义了此特殊形式模态词动作的语义.另外,还提供了此语言的Tableau算法,并证明了此算法的可终止性和完备性.
- 郝国舜马世龙眭跃飞
- 关键词:动态描述逻辑模态逻辑动态逻辑TABLEAU算法
相关作者
- 彭立

- 作品数:12被引量:27H指数:3
- 供职机构:湖南第一师范学院信息科学与工程系
- 研究主题:一致性 TABLEAU算法 描述逻辑 课程群建设 教学质量
- 段跃兴

- 作品数:14被引量:36H指数:3
- 供职机构:太原理工大学计算机科学与技术学院
- 研究主题:描述逻辑 TABLEAU算法 形式化 语义WEB服务 语义WEB
- 杨恒伏

- 作品数:55被引量:281H指数:7
- 供职机构:湖南第一师范学院
- 研究主题:人类视觉系统 数字水印 公开水印技术 HILBERT扫描 DCT域
- 常亮

- 作品数:312被引量:743H指数:15
- 供职机构:桂林电子科技大学
- 研究主题:描述逻辑 谱表示 知识图 三元组 景点
- 邱晓春

- 作品数:2被引量:0H指数:0
- 供职机构:浙江理工大学理学院
- 研究主题:TABLEAU算法 模糊描述逻辑 一致性 可满足性 三角模