格值

作品数：227被引量：428H指数：11
导出分析报告
相关领域：理学天文地球更多>>
相关作者：徐扬张家锋秦克云宋振明李永明更多>>
相关机构：西南交通大学陕西师范大学中国科学院四川大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金贵州省科学技术基金陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=模糊系统与数学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分层的格值命题逻辑系统L_(vpl)中的推理规则
《模糊系统与数学》2021年第1期1-8,共8页常之艳 陈树伟 刘蓓 徐扬 
国家自然科学基金委面上项目(11971348);天津市自然科学基金面上项目(18JCYBJC16200)。
格值命题逻辑系统L_(vpl)中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强。针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究。本文通过研究分析二值逻辑中推...
关键词：格值命题逻辑 推理规则 语义 语法 封闭性 
格值树自动机的乘积与覆盖
《模糊系统与数学》2019年第2期45-49,共5页孙小迎 胡忠刚 
江西省教育厅科学技术研究项目(GJJ181058)
给出了格值树自动机的全直积、限制直积、级联积、圈积与覆盖的概念,讨论格值树自动机积之间的关系、格值树自动机的之间的覆盖关系以及格值树自动机的积之间的覆盖关系。
关键词：格值树自动机 同态 全直积 限制直积 级联积 圈积 覆盖. 
格值模糊测度的可能性分布表示
《模糊系统与数学》2018年第6期89-96,共8页倪煜博 李永明 
国家自然科学基金资助项目(11271237;61228305);教育部博士点基金资助项目(200807180005)
Dubois,Prade和Rico等对取值为有限全序集上的模糊测度与可能性测度的关系上做了深入研究,本文推广了他们的这一结果,研究了取值在De Morgan代数上的模糊测度,并通过置换与内M?bius变换,构造出两种可能性分布,证明了取值在De Morgan代...
关键词：模糊测度 可能性测度 必要性测度 MOBIUS变换 DE MORGAN type格 并既约元 
格值代数系统的解分析
《模糊系统与数学》2016年第3期19-25,共7页张孟青 李永明 
引入了格值形式幂级数的概念并建立其运算法则,给出格值形式幂级数特有的性质。重点研究代数系统在格序幺半群下的解的存在性与唯一性问题。扩充定义了V-proper格值代数系统,给出其解的袁达式,研究其与proper格值代数系统的关系,并与定...
关键词：格序幺半群 格值形式幂级数 格值代数系统 
格值一阶逻辑LF(X)中α-广义语义归结方法的相容性
《模糊系统与数学》2016年第1期146-152,共7页张家锋 徐扬 曹发生 
国家自然科学基金资助项目(61175055;61305074);贵州省科学技术基金资助项目(黔科合J字LKB[2012]02号)
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义...
关键词：自动推理 语义归结 删除策略 格值逻辑 
格值树自动机的同余与同态被引量：1
《模糊系统与数学》2015年第4期135-138,共4页胡忠刚 娄全福 
从代数的角度研究了格值树自动机的同余与同态,得出了格值树自动机的同态基本定理,进而研究了格值树自动机的语言之间的关系。
关键词：格值树自动机 同余 同态 格值树语言 
基于群范畴的层结构、格值结构、L-fuzzy结构提升范畴及其关系被引量：5
《模糊系统与数学》2014年第2期1-20,共20页汤建钢 罗懋康 汤娟 
国家自然科学基金资助项目(11161050;11171238;31240020)
引入群范畴上格值结构、层结构、L-fuzzy结构提升范畴概念,格值结构是在范畴层面表达群理论多值语义的无点化描述;层结构是把群上局部信息合理粘连成整体信息的数学结构;而L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Ze...
关键词：群范畴 层结构 格值结构 L-fuzzy结构 提升范畴 同构关系 
模糊集层次结构的本质刻画被引量：4
《模糊系统与数学》2013年第4期1-5,共5页汤建钢 汤娟 
国家自然科学基金资助项目(11161050;31240020)
将Zadeh提出的模糊集的模糊结构提升到格值结构,引入赋予格值结构的集合概念,称之为格值集合,并给出了格值集合的表示定理。在此基础上,证明格值集合范畴可以嵌入到集合的层范畴,说明格值结构具有层结构这一特征,从而揭示格值集合具有...
关键词：格值集合 格值集轮 表示定理 层次结构 
LP(X)中MP归结推理
《模糊系统与数学》2013年第3期30-35,共6页夏世芬 秦应兵 徐扬 
国家自然科学基金资助项目(61175055);国家青年科学基金资助项目(61100046)
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。
关键词：格值命题逻辑系统LP(X) MP归结 (A α)-归结演绎 α-不可满足 
格值有穷自动机和单体二阶格值逻辑被引量：1
《模糊系统与数学》2013年第2期23-29,共7页范艳焕 李永明 
国家自然科学基金资助项目(60873119)
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Bubchi-Elgot基本定理。通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义...
关键词：格值逻辑 有穷自动机 单体二阶逻辑 格值语言 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部