完备剩余格中的全蕴涵推理方法

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

N-半单代数中的剩余格结构

在N-半单代数的中心幂等元构成的集合G(R)中引入了"→、*、、Θ"运算和一个二元关系"≤",证明"≤"构成G(R)上的偏序关系,和Θ分别是偏序集(G(R),≤)上的上确界运算和下确界运算;进而证明了(G(R),,Θ,→,1,0)是剩余格。在此基础上得到了N-半单代数可以构成与M TL代数,BL代数,G-代数,G oguen代数,BR0-代数和R0-代数等价的代数系统,从而将模糊逻辑与结合代数有机地结合起来。