关于左连续蕴涵算子的连续逼近问题

从阿基米德型t-范定义的剩余型蕴涵算子是连续的蕴涵算子出发，研究关于左连续的蕴涵算子Ro和Godel蕴涵算子心'的连续逼近问题，从而进一步为模糊推理寻求理论基础。     

基于逐点优化模糊推理的模糊控制器及其插值机理

本文从直观优化思想出发,提出一种逐点优化模糊推理方法,称之为POFI方法. 首先分别给出了基于POFI方法的Mamdani蕴涵算子、代数积蕴涵算子和Zadeh蕴涵算子的FMP算法与FMT算法中寻求推理后件(或前件)的计算表达式.然后分别获得了基于POFI方法的Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器、Zadeh蕴涵算子模糊控制器及加乘算子模糊控制器的插值表示,由此发现这些模糊控制器具有函数逼近的泛性.其次指出在基于POFI方法的单输入单输出情况下,Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器及加乘算子模糊控制器三者相互等效,并且在基于POFI方法的双输入单输出情况下,Mamdani蕴涵算子模糊控制器与代数积蕴涵算子模糊控制器是等效的.     

完备格Brouwer上伪t-模与蕴涵算子的注记(Ⅱ)

进一步研究完备Brouwer格上伪t-模与蕴涵算子，给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

积格上蕴涵算子的直积分解

进一步讨论蕴涵算子的直积分解,描述积格上可以分解为两个蕴涵算子直积的蕴涵算子的特性,并研究积格上S-蕴涵、R-蕴涵、n-反演R-蕴涵和n-反演QL-蕴涵的可分解性。     

模糊推理三Ⅰ算法的还原性

模糊推理算法的还原性是判断蕴涵算子与推理方法配合效果的一个重要标准,只有蕴涵算子与推理方法搭配适当,才能使模糊推理有一个好的效果。本文对模糊推理三I算法具备还原性的条件进行了研究。首先,当与蕴涵算子相伴随的三角模为连续三角模时,给出了FM P问题三I算法具有还原性的充要条件;其次,当蕴涵算子为连续的正则蕴涵算子时,给出了FM T问题的三I算法具有还原性的充要条件;最后,当正则蕴涵算子关于补运算满足对合律时,给出了FM T问题三I算法满足还原性的一个充分条件。     

R_O-蕴涵算子所导出的逻辑函数的特征

R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.     

泛蕴涵代数与FI-代数

建立了一个新的蕴涵算子Rzh，证明了利用Rzh-蕴涵区间上的模糊赋值，可将任一泛蕴涵代数“等值”地转化为一个HI-代数．     

模糊推理的α-三I算法

三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质，针对满足一定条件的较一般蕴涵算子，建立了FMP与FMT模型的α-三I算法，并讨论了算法的还原性。     

模糊推理的变权综合算法及其构造的模糊系统响应能力分析

将变权综合原理应用于模糊推理,提出一种新的模糊推理算法-变权综合推理算法,并给出利用模糊蕴涵算子确定规则变权的方法。证明了由一些正常蕴涵算子如Lukasiewicz蕴涵、Goguen蕴涵、Godel蕴涵、Dubois-Prade蕴涵等确定的变权综合算法是相容的。进一步分析了该变权综合算法构造的模糊系统的响应能力,结果表明:基于这些正常蕴涵算子的变权综合算法构造的模糊系统具有泛逼近性。     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。