模糊逻辑与模糊控制中的理想蕴涵

模糊推理是模糊控制的主要理论基础 ,而模糊推理的重要研究方向之一是对蕴涵算子的研究 ,包括蕴涵算子的构造、性质分析、特征研究及其应用等 .在文中通过对常用的 1 0个蕴涵算子及1 6个限制性质的综合分析 ,提出了一类新的蕴涵算子——理想蕴涵 ,这类蕴涵包括了一些重要的蕴涵算子 ,如 ,Lukasiewicz蕴涵 ,R0 蕴涵等 .通过对理想蕴涵的进一步研究 ,给出了它们的一系列重要性质 ,得到了这类蕴涵的一组简洁的限制条件 ,讨论了这些条件的合理性 ,并通过几个反例证明了这些条件之间的独立性 ,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子     

基于剩余型蕴涵算子的α-三I算法

三I算法是针对模糊推理FMP与FMT模型的一种新的推理方法.剩余型蕴涵算子是一类广泛的蕴涵算子,具有较好的性质.讨论了剩余型蕴涵算子之下FMP与FMT模型的α-三I算法,对三I算法作了进一步的推广,得到了相应的表达形式.     

一种新的直觉模糊伪S-蕴涵

直觉模糊集在模糊推理、模糊评价、模糊控制和模糊决策中有很重要的应用,直觉模糊集的蕴涵构造研究是一个重要研究方向.在直觉模糊集理论基础之上,构造了一新的直觉模糊伪S-蕴涵,证明了其单调性、边界条件等系列重要性质,还讨论该蕴涵的一些代数性质.     

模糊蕴涵算子及其构造(Ⅰ)--模糊蕴涵算子及其性质

讨论了32个模糊蕴涵算子的构造并验证了它们是否满足16条常用性质．然后考虑了它们与几个重要蕴涵，诸如正常蕴涵、异常蕴涵、强蕴涵、连续强蕴涵、正规蕴涵以及理想蕴涵之间的联系．     

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.     

基于正则蕴涵算子的支持度分析

在模糊推理中用到比较多的蕴涵算子都是正则蕴涵算子,具有许多良好的性质。本文讨论了基于正则蕴涵算子的三I方法的支持度理论。     

直觉模糊三Ⅰ蕴涵的研究

在Zadeh模糊集理论基础上,将传统模糊推理的合成推理方法（CAI）与王国俊教授的模糊推理全蕴涵三Ⅰ算法进行分析和比较,得出了后者更加全面合理的结论,然后进一步对模糊三Ⅰ全蕴涵进行研究,将其与Atanassov的直觉模糊集理论相结合,扩展为基于直觉模糊集的三Ⅰ蕴涵,并论述了这一扩展的必要性和优点,从而得到了新的研究方向,接着给出了一个新的直觉模糊蕴涵算子,讨论了直觉模糊蕴含的运算性质,最后通过这一算子对直觉模糊三Ⅰ蕴涵进行了直觉模糊取式问题（IFMP）的求解,得到了基于这一算子的IFMP问题求解算法,并用实例验证了该算法的正确性和合理性。     

直觉模糊三I蕴涵的研究

在Zadeh模糊集理论基础上,将传统模糊推理的合成推理方法(CAI)与王国俊教授的模糊推理全蕴涵三I算法进行分析和比较,得出了后者更加全面合理的结论,然后进一步对模糊三I全蕴涵进行研究,将其与Atanassov的直觉模糊集理论相结合,扩展为基于直觉模糊集的三I蕴涵,并论述了这一扩展的必要性和优点,从而得到了新的研究方向,接着给出了一个新的直觉模糊蕴涵算子,讨论了直觉模糊蕴含的运算性质,最后通过这一算子对直觉模糊三I蕴涵进行了直觉模糊取式问题(IFMP)的求解,得到了基于这一算子的IFMP问题求解算法,并用实例验证了该算法的正确性和合理性。     

低阶格蕴涵代数的构造

借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题．证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个．这些结果将有助于对相应的逻辑系统与模糊推理的研究．     

推广形式下的三I算法

对模糊推理的全蕴涵三Ⅰ算法作了进一步推广，给出了蕴涵算子为剩余型蕴涵的三Ⅰ算法、α－三Ⅰ算法的表达式，简化了R0型三ⅠMT算法、R0型α－三ⅠMT算法的表达式。讨论了RLu型三ⅠMT算法以及RLu型α－三ⅠMT算法，并且给出了这些算法为P还原的充分条件。     

含参量蕴涵算子及其性质

给出一类含参量蕴涵算子,它将常见的三种蕴涵算子Lukasiewicz算子、R0算子及Godel算子包含其中,此外,还讨论了该类蕴涵算子的性质。     

基于蕴涵算子族NMp的α-三｜算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三｜算法的约束度理论,分析了约束度的性质,给出了α-三｜算法的FMP（FMT）上（下）确界的计算公式。     

基于蕴涵算子族NMp的α-三I算法及约束度理论

研究了基于蕴涵算子NMp模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP(FMT)上(下)确界的计算公式.     

基于某些模糊蕴涵算子的模糊控制器及其响应函数

讨论了由23个模糊蕴涵算子构成的基于CRI算法的模糊控制器及其响应函数.结果表明,由其中9个模糊蕴涵算子构成的模糊控制器具有函数逼近的泛性,可以在实际的模糊控制系统中使用.这9个模糊蕴涵算子中,除Einstein算子交外,其余8个算子均是一些模糊蕴涵算子的伴随对.另外,有3个由模糊蕴涵算子构成的模糊控制器可近似为拟合函数.     

蕴涵算子族及其构造

给出了蕴涵算子族的定义,将蕴涵算子的性质进一步推广,给出了蕴涵算子族的16条常用性质.基于含参数的三角模和余三角模构造了42种蕴涵算子族.验证了所构造的蕴涵算子族是否满足16条常用性质,揭示了它们与几个重要蕴涵算子族之间的关系.     

基于蕴涵算子族L-λ-R_0的模糊推理三Ⅰ支持算法

提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族L-λ-R0模糊推理的三Ⅰ支持算法,这将有助于提高推理结果的可靠性.     

基于蕴涵算子上的模糊子环与模糊理想

为了将通常的模糊子环(理想)推广到蕴涵算子上的模糊子环,首先给出了基于蕴涵算子上的R—模糊子环和R—模糊理想的定义。然后采用了公理化的方法,利用模糊集截集及蕴涵算子的性质,获得了当R(x,y)对变量x递减(递增)时两个R—模糊子环(理想)的交(并)仍是R—模糊子环(理想);R—模糊子环(理想)的满同态像仍是R为模糊子环(理想),R—模糊子环(理想)的同态原像仍是R—模糊子环(理想)。这些结果有较重要的理论价值及应用前景。     

基于广义三I方法的模糊系统的响应能力

讨论基于三I算法构成的模糊系统的响应能力是模糊控制理论的重要研究方向之一。本文讨论了三I算法中三个模糊蕴涵算子分别取不同情形下的算法表达式,然后构造了基于这种模糊推理算法的双输入单输出模糊控制器,分析这些模糊控制器的响应能力。最后,研究了在规则合成时取"与"对模糊系统响应能力的影响。     

基于Vague集的一类蕴涵算子

介绍了采用Fuzzy集进行近似推理的一些蕴涵算子的性质,根据Vague集的直觉特性提出了采用Vague集实现近似推理的一类蕴涵算子的构造方法,并根据Vague集的模糊熵对上述蕴涵算子的特性进行了解释。     

基于广义三Ⅰ方法的模糊系统的响应能力

讨论基于三Ⅰ算法构成的模糊系统的响应能力是模糊控制理论的重要研究方向之一.本文讨论了三Ⅰ算法中三个模糊蕴涵算子分别取不同情形下的算法表达式,然后构造了基于这种模糊推理算法的双输入单输出模糊控制器,分析这些模糊控制器的响应能力.最后,研究了在规则合成时取“与”对模糊系统响应能力的影响.