论文研究带逆角色的认知描述逻辑研究.pdf
针对认知角色不能表达个体间双向关系的问题，在描述逻辑ALCK中加入逆角色得到ALCIK，以扩充其表达能力，在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模，给出了ALCIK的语法和语义，并且在Tbox为空集，Abox中无K算子的情况下，设计了ALCIK概念的查询表算法，根据概念结构归纳证明了表算法的可靠性和完备性，并且一定会停机，最后讨论了复杂度。理论分析表明，此时认知查询问题是可判定的，并且计算复杂度为PSpace-hard。
用户评论
相关推荐
论文研究带函数的描述逻辑.pdf
描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数，因此在图书馆的概念模型中，有一些问题便不能表示，如图书的本
PDF
0B
2020-03-13 12:52
论文研究描述逻辑的动态时序扩展.pdf
在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种
PDF
0B
2019-09-12 03:04
论文研究改进的描述逻辑框架RoughSHOIN.pdf
针对具有不完备、多粒度特点的不确定知识表示，设计了一个粗糙描述逻辑框架——Rough-SHOIN，利用粗糙相似关系作为概念描述的基础，定义概念的粗糙上近似和下近似，实现不完备概念表达，在概念解释中引入
PDF
0B
2020-06-15 19:19
论文研究基于逻辑证书的数字权利动态描述模型研究.pdf
数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后，利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程，通
PDF
742KB
2020-07-19 20:57
论文研究基于逻辑推理的数字权利动态描述研究.pdf
摘要：使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型，在定义好该模型的基本要素以后，利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书
PDF
0B
2020-05-15 22:55
论文研究基于描述逻辑的物资管理领域本体模型研究.pdf
为解决企业异构数据的共享问题, 提出利用本体模型和描述逻辑对元数据进行形式化的方法, 通过形式化元数据交互实现异构数据的共享。以大型单件小批制造企业为研究对象, 首先对物资管理领域数据模型进行分析,
PDF
1.68MB
2020-07-16 16:56
论文研究基于认知元的认知计算.pdf
为改正已有认知计算不能准确模拟人类认知的缺陷，提出了基于认知元的认知计算。它的认知数据来源于认知元，认知计算由生成认知数据、存储认知数据、优化认知数据组成。研究发现，基于认知元的认知计算符合人类的认知
PDF
597KB
2020-07-17 18:07
论文研究基于模糊逻辑带权重的模糊查询研究.pdf
在已研究的模糊查询中,其逻辑连接均为and或or,具有一定的狭隘性,不符合自然语言表述的特点,也不能充分满足查询要求。引入模糊语言量词作为模糊逻辑连接词,同时引入权重,利用Zadeh 的模糊集合理论与
.PDF
187KB
2021-02-01 21:05
论文研究描述逻辑系统ELN中概念的匹配算法研究.pdf
分析了描述逻辑非标准推理的重要性，总结了描述逻辑中概念的匹配推理研究现状和存在的问题，针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统[ELN]中概念的匹配推理。将概念变量引入描述语言[E
PDF
543KB
2020-07-19 07:20
论文研究基于角色的访问控制研究.pdf
基于角色的访问控制RBAC是一种方便、安全、高效的访问控制机制。分析了RBAC的总体思想和模型，介绍了RBAC的特点及应用优势，最后研究了RBAC机制的实现。
PDF
0B
2019-09-03 13:07
论文研究智能主体的信念认知时态子结构逻辑模型.pdf
智能主体获取信念的途径主要有两种：一种为他省，通过外界交互，从其他主体获取信息；另一种为自省，通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画，两种途径缺一不可，但当前的BDI理论模型中较多
PDF
0B
2020-06-17 18:54
论文研究认知轮廓研究进展.pdf
给出了认知轮廓的定义和分类，全面总结了认知轮廓的相关研究成果，并分析了进一步研究的发展方向。
PDF
0B
2019-09-05 01:31
论文研究一种扩展DL角色描述能力的方法.pdf
本体描述知识的逻辑基础是描述逻辑（DL），虽然现有DL中对概念的描述方式非常丰富，但是角色却只能是原子角色。针对角色描述能力低的问题，在现有的DLSHIQ中增加了角色表达式来对角色进行描述，证明了如果
PDF
0B
2019-10-10 18:50
论文研究时空认知逻辑及其算法复杂性.pdf
时空认知逻辑及其算法复杂性，吴垠，江敏，纤维方法可以将不同的模态逻辑进行组合，从而得到一个描述能力更强的形式系统，然而利用这种方法所引起的计算复杂性问题尚不清��
unkonw
0B
2020-01-02 18:02
论文研究基于描述逻辑的组合知识库推理.pdf
由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出
PDF
0B
2019-09-12 03:04