格蕴涵代数

作品数：182被引量：561H指数：12
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：徐扬秦克云宋振明刘春辉傅小波更多>>
相关机构：西南交通大学内江师范学院辽宁师范大学赤峰学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金四川省教育厅科学研究项目广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格蕴涵代数中的极小素理想及α-理想被引量：1
《计算机工程与应用》2018年第16期44-48,92,共6页孟彪龙 付巧峰 梁少辉 
西安科技大学博士启动基金(No.2016QDJ050);陕西省教育厅专项基金(No.17JK0510)
在格蕴涵代数中,证明了极小素理想与极小格素理想的等价性,继而给出了极小素理想与零化子的相互表示定理。提出了格蕴涵代数中的α-理想概念并给出其若干等价刻画,证明了极小素理想是α-理想。证明了全体素α-理想之集S_α(L)是一个紧的...
关键词：极小素理想 零化子 α-理想 拓扑空间 
分层格值命题逻辑系统中几类推理规则的讨论被引量：2
《计算机工程与应用》2017年第24期55-58,共4页洪智勇 刘熠 秦克云 
国家自然科学基金(No.61673320);广东省自然科学基金(No.2016A030310003);四川省应用基础研究计划项目(No.2015JY0120);四川省教育厅项目(No.15TD0027;No.15ZB0270);五邑大学青年基金(No.2013zk17)
在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。
关键词：格蕴涵代数 分层格值逻辑系统 推理规则 封闭性 
格蕴涵代数的Ω-模糊LI-理想被引量：1
《计算机工程与应用》2017年第22期50-54,共5页傅小波 
国家自然科学基金(No.61502204)
给定一个集合Ω,将Ω-模糊集与格蕴涵代数相结合,给出了Ω-模糊LI-理想的概念,并研究了其相关性质;讨论了Ω-模糊LI-理想与模糊LI-理想之间的关系,得到了一些等价刻画。研究了格蕴涵代数Ω-模糊LI-理想的同态像与同态原像的基本性质。
关键词：格蕴涵代数 Ω-模糊集 Ω-模糊LI-理想 
格值逻辑命题逻辑(L_n×L_2)P(X)中广义文字的α-归结性
《计算机工程与应用》2015年第24期8-11,共4页张家锋 曹发生 
国家自然科学基金(No.61175055;No.61305074);贵州省科学技术基金项目(No.LKB[2012]02);贵州民族大学引进人才项目(No.15XRY006)
由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度。根据真值域L_n×L_2的结构特性和归结水平α的特点,研究了真值域为一类格蕴涵代数L_n×L_2的格值命题逻辑系统(L_n×L_2)P(X)中0-IESF与其他广...
关键词：自动推理 归结域 格值逻辑 格蕴涵代数 
基于格值一阶逻辑LF(X)的多元α-归结原理的注记被引量：1
《计算机工程与应用》2015年第14期51-56,190,共7页刘熠 徐扬 贾海瑞 
国家自然科学基金(No.61175055;No.61305074);四川省教育厅科研项目重点项目(No.14ZA0245);教育部"数学与应用数学"专业综合改革(No.ZG0464);四川省教育厅"数学与应用数学"专业综合改革(No.01249);四川省教育厅科研项目(No.14ZA0245);四川省应用基础研究计划(No.2015JY0120)
进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的...
关键词：格蕴涵代数 格值一阶逻辑 多元α-归结原理 
格蕴涵代数的软滤子被引量：2
《计算机工程与应用》2015年第9期72-76,共5页廖祖华 王妮妮 郑高平 章里程 
国家大学生创新训练项目(No.2050205);国家自然科学基金(No.61170121)
借助软集合,提出了格蕴涵代数的软滤子的概念,研究了其在软集运算下的一些基本性质,并给出了格蕴涵代数的软滤子的一些等价刻画。进一步,研究了格蕴涵代数的软滤子与格蕴涵代数的对偶软格理想之间的关系。得到了格蕴涵代数的软滤子像与...
关键词：软集 格蕴涵代数 滤子 运算 对偶软格理想 像 
格蕴涵代数的软LI-理想被引量：3
《计算机工程与应用》2015年第8期42-46,84,共6页郑高平 廖祖华 王妮妮 章里程 
国家大学生创新创业训练项目(No.2050205);国家自然科学基金(No.61170121)
借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的...
关键词：软集 格蕴涵代数 LI-理想 格理想 运算 软集的像 
关于IV-(∈,∈Ⅴq)模糊格蕴涵子代数被引量：4
《计算机工程与应用》2012年第26期39-43,共5页刘春辉 
国家自然科学基金(No.60774073)
运用区间值模糊集的思想对IV-(∈,∈Ⅴq)-模糊格蕴涵子代数概念作进一步研究。给出了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的若干新的性质与刻画;获得了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的象与原象成为IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的条件;...
关键词：格蕴涵代数 IV-模糊集 IV-(∈ ∈Ⅴq)-模糊格蕴涵子代数 直积 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部