公共文化服务平台

余泉: 作品数：34 被引量：66H指数：4; 供职机构：黔南民族师范学院更多>>; 发文基金：国家自然科学基金贵州省教育厅自然科学研究项目广西壮族自治区自然科学基金更多>>; 相关领域：自动化与计算机技术理学医药卫生文化科学更多>>

合作作者

描述逻辑系统εLN中概念最小公共包含推理研究被引量：2: 2012年; 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。; 张维曹发生余泉王驹; 关键词：描述逻辑同态

P中与归纳等价的几个条件: 2006年; 本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法。; 余泉甘晓丽周锦程王驹; 关键词：偏序集

描述逻辑系统εLN中概念的匹配算法研究被引量：1: 2013年; 分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理。将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的。; 张维余泉王驹蒋运承; 关键词：描述逻辑

本体知识库的模块与保守扩充被引量：1: 2016年; 模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。; 余泉常亮文习明王驹; 关键词：知识库

不确定观测下离散事件系统的可诊断性被引量：4: 2017年; 从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的.重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.; 文习明余泉常亮王驹; 关键词：离散事件系统可诊断性

描述逻辑系统εLN中的概念包含推理算法研究被引量：1: 2010年; 首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法。; 张维曹发生余泉; 关键词：描述逻辑同态

MALC模型间互模拟的代数结构: 2010年; 文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。; 余泉张维; 关键词：互模拟代数结构

模态描述逻辑MALC模型的几个代数性质被引量：1: 2010年; 本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。; 余泉张维王驹; 关键词：不变性互模拟