共查询到18条相似文献,搜索用时 46 毫秒
1.
2.
研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法. 相似文献
3.
通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。 相似文献
4.
R0-代数的格蕴涵表示定理 总被引:8,自引:0,他引:8
通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。 相似文献
5.
WBR0-代数的构建与性质 总被引:1,自引:0,他引:1
通过对WBR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将WBR0-代数进行简化.其次讨论WBR0-代数的性质及其分配性,并构造一个非BR0 -代数的WBR0-代数的结构说明了WBR0-代数不同于BR0-代数.同时该结构说明WBR0-代数不满足分配律. 相似文献
6.
基础R0-代数与基础L*系统 总被引:73,自引:0,他引:73
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数,以及:Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L^*系统的观点,讨论了基础L^*代数与BL代数,基础L^*系统与BL系统之间.的相互关系及相对独立性,讨论了基础L^*系统关于基础风一代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张,最后作为基础R0-代数与基础L^*系统的一个应用,证明了L^*系统关于语义Ωw的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试. 相似文献
7.
基础R0-代数的性质及在L*系统中的应用 总被引:14,自引:1,他引:13
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理. 相似文献
8.
9.
在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。 相似文献
10.
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。 相似文献
11.
三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。 相似文献
12.
13.
三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充. 三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善.本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究. 相似文献
14.
15.
完备剩余格中的全蕴涵推理方法 总被引:4,自引:0,他引:4
三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性.本文在完备剩余格中给出了模糊推理.RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统.特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明. 相似文献
16.
17.
18.
研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论,分析了支持度的性质,得到了α-三Ⅰ算法的FMP(FMT)计算公式与α-反向三Ⅰ算法的FMP(FMT)计算公式。 相似文献