基于一族蕴涵算子的对偶三I算法

三I算法是一种新的模糊推理方法,是传统的模糊推理方法的修改和补充. 三I表达式取最小值时的最优解算法(即对偶三I算法)是三I算法思想的延伸和完善.本文针对蕴涵算子族Ip,讨论了FMP和FMT问题的对偶三I算法,给出了相应的计算公式,从而也进一步促进了对三I算法的研究.     

系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

几类广义模糊集的关系

经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊集,区间值直觉模糊集,II型模糊集,Vague集,灰集等。本文简要介绍关于这些广义模糊集之间关系的研究成果,以及国外关于直觉模糊集术语问题的争议。     

模糊命题演算系统(L)*的简化与独立性

模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

多重模糊蕴涵与生成模糊蕴涵的新方法

提出一种生成模糊蕴涵的新方法,即通过一个或多个选定的模糊蕴涵作多重迭代生成新的模糊蕴涵,称为多重模糊蕴涵.从选定的模糊蕴涵出发,根据不同的迭代次数,分别证明迭代结果仍为模糊蕴涵.进一步,分析当选定的模糊蕴涵具有某种性质时,所生成的多重模糊蕴涵是否仍保持这些性质.还对选定的模糊蕴涵分别为(S,N)-蕴涵和R-蕴涵这两种重要情形,进行更深入的分析.这些结果将为模糊蕴涵在控制及决策等领域的应用提供支持.     

一般全蕴涵模糊推理方法

自王国俊教授在模糊推理中提出全蕴涵推理方法以来,对于这个推理方法的推广和完善,成为模糊推理研究的热点方向之一。特别地,最近有文献提出了五I推理方法。由于这个新推理方法中的蕴涵全部为同一种蕴涵,因此,本文将对这种推理方法进行改进,提出更一般的全蕴涵推理方法。同时分别对两个基本的推理模型FMP和FMT,给出新算法的统一表达式,并分别讨论改进方法在两个模型下算法的还原性和鲁棒性。     

两种推理方法QIP和FSI的鲁棒性结果及其比较

基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.