论文研究带函数的描述逻辑.pdf

上传：qq_32494336 浏览： 36 推荐： 0 文件：PDF 大小：680.88KB 上传时间：2020-03-13 12:52:38 版权申诉

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。但现有描述逻辑无法表示概念和角色上的函数，因此在图书馆的概念模型中，有一些问题便不能表示，如图书的本数、借书的条目数等。在现有描述逻辑基础上引入函数来解决这个问题。首先分析现有描述逻辑在图书馆的概念模型中不能表示的一些问题并提出解决方法，然后给出带函数的描述逻辑的语法和形式语义，最后用带函数的描述逻辑形式化表示图书馆概念模型中的一些实际问题。

上传资源

论文研究带逆角色的认知描述逻辑研究.pdf

针对认知角色不能表达个体间双向关系的问题，在描述逻辑ALCK中加入逆角色得到ALCIK，以扩充其表达能力，在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模，给出了ALCIK的语法和语

2020-07-16 05:56

论文研究描述逻辑的动态时序扩展.pdf

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种

2019-09-12 03:04

论文研究改进的描述逻辑框架RoughSHOIN.pdf

针对具有不完备、多粒度特点的不确定知识表示，设计了一个粗糙描述逻辑框架——Rough-SHOIN，利用粗糙相似关系作为概念描述的基础，定义概念的粗糙上近似和下近似，实现不完备概念表达，在概念解释中引入

2020-06-15 19:19

论文研究基于逻辑证书的数字权利动态描述模型研究.pdf

数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后，利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程，通

2020-07-19 20:57

论文研究基于逻辑推理的数字权利动态描述研究.pdf

摘要：使用过程中数字权利的动态描述一直都是DRM应用系统研究的热点。提出一种基于逻辑推理的数字权利动态描述模型，在定义好该模型的基本要素以后，利用逻辑推理工具Prolog深入探讨和分析该模型中数字证书

2020-05-15 22:55

论文研究基于描述逻辑的物资管理领域本体模型研究.pdf

为解决企业异构数据的共享问题, 提出利用本体模型和描述逻辑对元数据进行形式化的方法, 通过形式化元数据交互实现异构数据的共享。以大型单件小批制造企业为研究对象, 首先对物资管理领域数据模型进行分析,

2020-07-16 16:56

论文研究基于描述逻辑的组合知识库推理.pdf

由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出

2019-09-12 03:04

论文研究描述逻辑中基于边界模块的推理方法.pdf

模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。给出该基于边界的模块的理论基础，并证明了其模块的正确性。评估实

2019-09-15 04:54

论文研究描述逻辑中基于边界的模块提取方法.pdf

模块化是优化本体推理的一种有效的手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础，并证明了其模块的正确性。

2020-07-20 10:04

论文研究基于模糊逻辑带权重的模糊查询研究.pdf

在已研究的模糊查询中,其逻辑连接均为and或or,具有一定的狭隘性,不符合自然语言表述的特点,也不能充分满足查询要求。引入模糊语言量词作为模糊逻辑连接词,同时引入权重,利用Zadeh 的模糊集合理论与

2021-02-01 21:05

论文研究描述逻辑系统ELN中概念的匹配算法研究.pdf

分析了描述逻辑非标准推理的重要性，总结了描述逻辑中概念的匹配推理研究现状和存在的问题，针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统[ELN]中概念的匹配推理。将概念变量引入描述语言[E

2020-07-19 07:20

论文研究多变量逻辑函数化简的简便方法.pdf

论文研究-多变量逻辑函数化简的简便方法.pdf, 研究了多变量逻辑函数化简的新颖而易行的方法，即根据本文提供的一个数学模

2020-05-19 19:23

论文研究带测试动作的动态时序逻辑扩展.pdf

作为一种动态知识表示形式, 动态时序逻辑DLTL尤适用于正规程序验证, 然而它不直接支持测试动作, 这使得其应用受到一定限制。为支持测试动作, 提出一个DLTL扩展DLTL 和一个判定DLTL 公式可

2020-07-19 03:18

论文研究描述逻辑系统UEVN中概念的包含关系.pdf

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题，它主要包括：最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统，该文研究的是描述逻辑系统UEVN中的

2020-07-19 07:20

论文研究信息文档结构信任模式的提取及逻辑描述.pdf

信任模式是对事物可信判断的指导,根据信任模式可以高效、快速地建立信任。信息文档也具有信任模式。不同类型的信息文档有着不同的规范和要求。根据这些规范和要求,可以对信息文档结构信任模式进行提取。对信息文档

2020-09-15 06:32