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

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

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

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

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

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

LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑

证明了LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑.这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的一种方法.     

基于Lukasiewicz蕴涵算子的反向三I算法

三Ⅰ算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文针对Lukasiewicz蕴涵算子讨论FMP模型及FMT模型的反向三Ⅰ推理及反向α-三Ⅰ推理,借助该蕴涵算子的性质,给出相应的推理算法。     

一种新的三角模糊数算子在加权模糊推理中的应用

针对基于模糊逻辑的加权模糊推理,Chen Shy i-M ing提出了两种计算合取式前件整体真值的方法。由于所用模糊数算子的影响,两种方法的求取结果在准确性和合理性上都存在一定的缺陷。这种缺陷将直接影响推理的性能。因此,为改善这种缺陷,提高推理性能,本文提出了一种新的三角模糊数算子。它的应用可以提高推理的准确性和合理性。     

FMT-泛三I算法的约束度理论

从先前提出的泛三I算法出发,面向FMT(fuzzy modus tollens)问题,提出模糊推理的FMT-泛三I约束算法。改进之前的三I约束FMT原则,给出泛三I约束解的存在条件,建立FMT-泛三I约束算法的统一形式的解。并且,针对9种具体的蕴涵算子,获得相应的泛三I约束解。最后,给出并改进FMT-三I约束算法的相关结论。     

模糊推理的α-三I算法

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

基于三Ι算法的模糊系统及其响应性能

给出了基于三Ⅰ算法和α-三Ⅰ算法的几种典型模糊系统的插值表达式．指出,基于三Ⅰ算法和α-三Ⅰ算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶跃输出能力,而不具有函数逼近的泛性．此外,证明了基于三Ⅰ算法的模糊系统在一定条件下对于模糊逻辑系统中推理与聚合的次序交换无关．     

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

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

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

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

基于极大模糊熵原理的模糊推理三I算法

用模糊熵来度量模糊推理结果的模糊程度，并用本文给出的极大模糊熵原理对王国俊先生提出的模糊推理三Ⅰ算法做进一步的解释和改进，提出基于极大模糊熵原理的模糊推理三Ⅰ算法，证明这几种算法在一定条件下是关系再现算法。     

扰动值模糊推理的三I算法

以D2上的三角模及其伴随为基础,给出了扰动值模糊推理的三I算法,为模糊信息处理的方法和应用提供了新的理论基础。     

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

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

参数Kleene系统的三Ⅰ算法与反向三Ⅰ支持算法

提出基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算pθ的三I算法与反向三I支持算法理论,得到了三I上确界算法、模糊取式算法(FM P)与模糊拒取式算法(FM T)的计算公式,这将有助于提高模糊推理结果的可靠性。