一些模糊推理方法的还原性

给出15个常用模糊蕴涵算子的三Ⅰ算法,在此基础上讨论由这15个蕴涵算子与CRI算法和三Ⅰ算法相结合生成的30种模糊推理方法的还原性。     

FMT问题的两种三Ⅰ算法及其还原性

进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W－还原的,而三Ⅰ^*算法是Z－还原的。     

模糊CRI算法及模糊推理的有效性研究

通过揭示模糊推理的一种CRI算法的逻辑原理,提出了模糊推理的一种新算法.并对单规则的CRI算法(或三Ⅰ算法)的重心(或最大隶属度)去模糊法的有效性进行了研究.发现在单规则的CRI算法(或三Ⅰ算法)的模糊推理中,当大前提的后件取对称模糊集时,采用重心去模糊法使得推理结果无效,而采用最大隶属度去模糊法可使得推理结果有效.     

模糊推理三I算法的逻辑基础

在模糊推理理论中,近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算,从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*,构建了一个完备的多型变元一阶系统Kms^*,并且将三I算法完全纳入了模糊逻辑的框架之中,从而为模糊推理奠定了严格的逻辑基础。     

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

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的效果.针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。     

模糊推理三Ⅰ约束算法的一般表示

讨论模糊推理三Ⅰ约束算法的表示问题。首先,改进FMP及FMT问题的三Ⅰ约束原则,进而,为使更多的蕴涵算子纳入统一的算法表示之下。基于较弱的条件建立三Ⅰ约束算法的一般表示。如此,现有的三Ⅰ约束算法的统一表示被推广到一种新的形式。     

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

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

基于S蕴涵算子的区间值模糊推理的三I算法

针对S蕴涵算子讨论了FM P模型及FM T模型的区间值模糊集三I推理,借助S蕴涵算子的性质,给出相应的推理算法,并讨论了算法的还原性。     

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

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

Implication in fuzzy logic

Intermediate truth values and the order relation “as true as” are interpreted. The material implication A → B quantifies the degree by which “B is at least as true as A.” Axioms for the → operator lead to a representation of → by the pseudo-Lukasiewicz model. A canonical scale for the truth value of a fuzzy proposition is selected such that the → operator is the Lukasiewicz operator and the negation is the classical 1−. operator. The mathematical structure of some conjunction and disjunction operators related to → are derived.     

模糊推理反向三I的$R_L$型约束度分析

研究了基于蕴涵算子RL的模糊推理反向三Ⅰ方法的约束度理论,分析了约束度的性质,得到了一般化的α-反向三Ⅰ模糊取式下确界计算公式与α-反向三Ⅰ模糊拒取式上确界计算公式.     

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

三I表达式取最小值时的最优解

在本文中,针对蕴涵算子$R_0$,我们给出了当$Arightarrow B$与$A^*(B^*)$给定时,求使三I表达式$(Arightarrow B)rightarrow(A^*rightarrow B^*)$取最小值的全体$B^*(A^*)$之集的上确界(下确界)算法.并将上确界算法推广到多维多重的模糊推理中.从三I表达式取最值时求最优的$B^*(A^*)$的角度来看,本文是三I算法思想的延伸和完善.     

The Extended Alpha-triple I Algorithm Based on the Generalized Implication Operator

In this paper, the classical implication operator is generalized, and then the definition of generalized implication operator on [0, 1] is proposed. Based on generalized implication operator, the extended alpha-triple I principle is presented by generalizing the alpha-triple I algorithm. By analyzing the essence of alpha-triple Fuzzy Modus Ponens (FMP) and alpha-triple Fuzzy Modus Tollens (FMT) principles, and based on the generalized implication operator, the generalized calculating formula of extended alpha-triple I algorithm is proposed. At the same time, the reversibility on the proposed alpha-triple I algorithm is discussed. It is proved that Compositional Rule of Inference (CRI) is a special case of extended alpha-triple I algorithm. Finally, two implication operations are proposed to validate the proposed generalized equation.     

基于系统L（X）的几种近似推理

本文在格值命题逻辑系统Ｌ（Ｘ）研究工作的基础上，借助于Ｌ（Ｘ）的语法推演规则，针对四种近似推理模型分别提出了几种近似推理方法。     

格蕴涵代数的区间值模糊子代数

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与（模糊）格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.