完备剩余格中的全蕴涵推理方法 被引量：5

1

作者 吴洪博 邵晓丽 《数学进展》 CSCD 北大核心 2006年第3期303-314,共12页

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到... 三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明． 展开更多

关键词 模糊逻辑 完备剩余格 模糊推理 α-MI算法

下载PDF 职称材料

完备剩余格上的蕴涵闭包算子 被引量：3

2

作者 于海 詹婉荣 《计算机工程与应用》 CSCD 北大核心 2010年第28期49-50,84,共3页

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。

关键词 剩余格 完备剩余格 闭包算子 蕴涵闭包算子

下载PDF 职称材料

L-序完备格之间的L-逼近态射

3

作者 袁脆 郭兰坤 《模糊系统与数学》 北大核心 2023年第3期12-18,共7页

本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导... 本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导的L-序完备格范畴之间的函子的性质。 展开更多

关键词 完备剩余格 L-序完备格 L-逼近态射

原文传递

完备剩余格中的上近似与下近似模糊推理方法 被引量：2

4

作者 刘鹏惠 陈子春 秦克云 《四川师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期43-46,共4页

借助于全蕴涵三I算法的思想,在完备剩余格上探讨了FMP问题的输出的上近似模糊推理与下近似模糊推理,并得到上近似推理与下近似推理算法均具有还原性.

关键词 模糊推理 全蕴涵三I算法 完备剩余格 上近似推理 下近似推理 还原性

下载PDF 职称材料

概念粒计算系统外延的判别定理 被引量：1

5

作者 于丽媛 李鸿儒 《模糊系统与数学》 CSCD 北大核心 2012年第6期146-152,共7页

概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等。本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊... 概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等。本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊集和外延为模糊集、内涵为经典集这两种概念粒计算系统的概念外延判别定理,并且讨论了几种模型概念之间的关系与性质。 展开更多

关键词 模糊形式背景 完备剩余格 概念格 概念粒计算系统

原文传递

否定非对合剩余格的BF-理想集上诱导的剩余格结构

6

作者 刘春辉 《数学的实践与认识》 北大核心 2020年第18期189-196,共8页

对否定非对合剩余格的BF-理想问题作进一步深入研究.在一个否定非对合剩余格L的全体BF-理想之集BFI(L)上构造了伴随运算■和■使之成为一个完备剩余格.

关键词 模糊逻辑 否定非对合剩余格 BF-理想 完备剩余格

原文传递

基于完全剩余格值逻辑上的半群（Ⅰ） 被引量：1

7

作者 沈继忠 《江西师范大学学报（自然科学版）》 CAS 1996年第3期241-247,共7页

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构。

关键词 完全剩余 格值逻辑 半群 正则子半群

下载PDF 职称材料

L-模糊化收敛空间范畴的monoidal闭性

8

作者 方进明 张琳 《模糊系统与数学》 北大核心 2018年第6期1-6,共6页

本文格值环境是完备剩余格L,当L是完备剩余格时,L-模糊化收敛空间范畴关于其上的张量积运算是monoidal闭的,从而具有所期望的函数空间。特别地,如果L是完备的Heyting代数,L-模糊化收敛空间范畴就是笛卡儿闭的。

关键词 完备剩余格 L-模糊化收敛空间 monoidal闭性 经典子集的L-滤子

原文传递

Ω-滤子的一个等价刻画

9

作者 李令强 金秋 《山东大学学报（理学版）》 CAS CSCD 北大核心 2009年第10期51-53,共3页

对滤子公理进行重新解释,给出了文献[1]引入的Ω-滤子的一个等价刻画。

关键词 完备剩余格 模糊集 Ω-滤子

原文传递

R_0-代数中的广义相对零化子

10

作者 张枥方 吴洪博 《吉林大学学报（理学版）》 CAS 北大核心 2019年第3期465-472,共8页

首先,利用滤子的扩张方法在R_0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R_0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R... 首先,利用滤子的扩张方法在R_0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R_0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R_0-代数中的两个给定元,给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构. 展开更多

关键词 R0-代数 相对零化子 广义相对零化子 并无穷分配律 完备剩余格

下载PDF 职称材料

基于极性框架的粗糙模糊形式概念分析

11

作者 燕健 王拥军 +1 位作者 王宝山 周恒 《模糊系统与数学》 北大核心 2022年第4期131-142,共12页

借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上... 借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上;从两个模糊子集之间伴随三元组诱导的模糊伽罗华连接,变为三个模糊子集之间极性诱导的模糊伴随三元组。从而将多伴随框架中真值结构与模糊子集之间过于复杂的设定与伴随关系简化。基于以上结果,本文构造了一个病毒传播-医疗资源储备策略实例,用以论证极性模糊伴随三元组框架的优势以及应用前景。 展开更多

关键词 极性模糊伴随三元组 模糊形式概念分析 L-粗糙算子 完备剩余格

原文传递

完备剩余格上的蕴涵闭包系统

12

作者 于海 詹婉荣 《计算机工程与应用》 CSCD 北大核心 2010年第31期43-44,共2页

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。

关键词 完备剩余格 闭包系统 蕴涵闭包算子 蕴涵闭包系统

下载PDF 职称材料

L-集合套的蕴涵运算及应用

13

作者 张庆玲 方进明 《模糊系统与数学》 北大核心 2017年第2期70-74,共5页

本文在完备剩余格L的格值环境下,我们探究并给出了具有独立计算意义的L集合套蕴涵运算的表达式,从而添补了关于L-集合套无内在蕴涵运算的空白。为了表明得到的L-集合套蕴涵运算表达式的合理性和理论价值,文中进一步给出了两方面的应用... 本文在完备剩余格L的格值环境下,我们探究并给出了具有独立计算意义的L集合套蕴涵运算的表达式,从而添补了关于L-集合套无内在蕴涵运算的空白。为了表明得到的L-集合套蕴涵运算表达式的合理性和理论价值,文中进一步给出了两方面的应用:其一是用L-集合套蕴涵运算表达式可界定L-集合套张量积运算的内在表达式,其二是在完备剩余格满足否定对合条件时,证得L-集合套的补运算恰好可用L-集合套蕴涵运算表达式自然地获得。 展开更多

关键词 完备剩余格 L-集合套 L-集合套的蕴涵运算 L-集合套的补运算 表现定理

原文传递

基于完备剩余格值逻辑的下推自动机与上下文无关文法 被引量：1

14

作者 彭家寅 《山东大学学报（理学版）》 CAS CSCD 北大核心 2019年第5期112-126,共15页

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等... 引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。 展开更多

关键词 完备剩余格值逻辑 L-值下推自动机 L-值上下文无关文法 L-值上下文无关语言

原文传递

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

15

作者 彭家寅 刘淼 汤建钢 《模糊系统与数学》 北大核心 2023年第4期1-16,共16页

通过完备剩余格值逻辑中一元模糊谓词,将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画,引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这三种l-值模糊理想的性... 通过完备剩余格值逻辑中一元模糊谓词,将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画,引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这三种l-值模糊理想的性质及关系,推广了经典模糊情形下相应的现有结论。 展开更多

关键词 BCI-代数 完备剩余格值逻辑 l-值模糊p-理想 l-值模糊q-理想 l-值模糊a-理想

原文传递

基于完备剩余格值逻辑的伪BCI-代数的不分明化理想

16

作者 彭家寅 《模糊系统与数学》 北大核心 2019年第5期10-29,共20页

通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模... 通过完备剩余格值逻辑中一元模糊谓词演算,将伪BCI-代数中的经典模糊理想、模糊p-理想、模糊结合理想、模糊q-理想和模糊a-理想进行重新刻画,引入了BCI-代数的l-值模糊理想、l-值模糊p-理想、l-值模糊结合理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法,研究这几种l-值模糊理想的性质及关系。提供了l-值模糊理想成为l-值模糊p-理想(l-值模糊q-理想)的条件,研究了这些l-值模糊理想在交、同态映射和笛卡尔积运算下的不变性,推广了经典模糊情形下相应的现有结论。 展开更多

关键词 伪BCI-代数 完备剩余格值逻辑 l-值模糊理想 l-值模糊p-理想 l-值模糊结合理想 l-值模糊q-理想 l-值模糊α-理想

原文传递

基于完全剩余格值上的模糊化环与理想

17

作者 邹祥福 《模糊系统与数学》 CSCD 2003年第1期50-58,共9页

给出基于完全剩余格值逻辑上的不分明化环和理想(格上不分明化环和理想)两个概念,并进一步研究它们的一些基本代数性质;主要得到格上不分明化理想的交、和、积和商仍是格上不分明化理想。

关键词 完全剩余格值逻辑 格上不分明化环 格上不分明化理想

下载PDF 职称材料