张维
- 作品数：17 被引量：35H指数：3
- 供职机构：黔南民族师范学院更多>>
- 发文基金：贵州省教育厅自然科学研究项目贵州省科学技术基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学哲学宗教文化科学更多>>
- 循环模糊有限自动机的同态性质被引量：1
- 2014年
- 讨论了模糊有限自动机(即模糊Mealy机)的同态性质和循环模糊有限自动机的同态性质,证明了每个模糊有限自动机都是有限个循环模糊有限自动机的直和的同态象。
- 黄飞丹李雪佳邓泽喜张维
- 关键词：模糊有限自动机同态
- 属性探索算法的一种改进方法
- 2009年
- 在介绍了形式概念分析中的伪内涵和属性探索算法之后,通过对属性探索算法进行研究,该算法的一种新改进方法被给出了。
- 赵小香张维曹发生
- 关键词：形式概念分析
- 描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
- 2012年
- 描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能为自下而上的知识库构建方式提供必要的支持,这些是传统的标准推理无法提供的。随着描述逻辑的运用越来越广泛,知识库的构建、管理、维护是人们无法回避的问题,因此描述逻辑的非标准推理的研究成为近年来描述逻辑研究者们所关注的热点问题。本文分析了描述逻辑中概念最小公共包含(LCS)推理机制的研究现状和存在的问题,针对目前LCS推理在同时处理存在限制和数量限制的不足,研究了描述逻辑系统εLN的LCS推理算法。首先定义了εLN中的概念描述树及其同态关系,利用描述树之间同态关系给出了概念间包含关系算法。然后通过定义描述树的笛卡尔积给出了εLN中的LCS推理算法,并指出该算法是多项式时间复杂的。
- 张维曹发生余泉王驹
- 关键词：描述逻辑同态
- 具有可定义主同余性质的代数类
- 2008年
- 给出了三种代数类具有可定义主同余性质的证明。
- 曹发生张维余泉
- 关键词：分配格
- 含传递角色和存在限制描述逻辑系统的匹配推理
- 2014年
- 分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。
- 张维郑添健王驹
- 关键词：描述逻辑
- 描述逻辑系统εLN中概念的匹配算法研究被引量：1
- 2013年
- 分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理。将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的。
- 张维余泉王驹蒋运承
- 关键词：描述逻辑
- 描述逻辑系统εLN中的概念包含推理算法研究被引量：1
- 2010年
- 首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法。
- 张维曹发生余泉
- 关键词：描述逻辑同态
- MALC模型间互模拟的代数结构
- 2010年
- 文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。
- 余泉张维
- 关键词：互模拟代数结构
- 描述逻辑系统UEVN中概念的包含关系被引量：3
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。
- 曹发生张维
- 关键词：描述逻辑
- 描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
- 2010年
- 描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.
- 张维侯金宏曹发生王驹蒋运承
- 关键词：描述逻辑
