基于真度理论的α-反向三Ⅰ问题的形式解

在多值逻辑系统L*n中,基于真度理论提出了模糊推理的α-反向三Ⅰ问题,并给出了α-反向三ⅠMP、α-反向三ⅠMT问题解的具体形式,在系统L*n中建立了α-反向三Ⅰ问题的形式化推理机制,为模糊推理的α-反向三Ⅰ算法奠定了逻辑基础。     

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

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

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

基于直觉模糊推理的(1,2,1)-α型三Ⅰ算法

本文研究了直觉模糊推理(1,2,1)-α型三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理(1,2,1)-α型三Ⅰ算法解的表达形式和分解形式,在此基础上,指出了模糊推理(1,2,1)-α型三Ⅰ算法是直觉模糊推理(1,2,1)-α型三Ⅰ算法的特例,并给出了相应的证明。     

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

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

区间值直觉模糊推理的全蕴涵方法

讨论了区间值直觉模糊集合上的剩余型伴随对的性质,获得了几个重要的结果。提出了IFMP和IFMT问题的区间值直觉模糊推理的三I原则、α-三I原则、三I约束原则、反向三I原则、反向α-三I原则和反向三I约束原则。针对区间值直觉模糊集合上的剩余型伴随对,给出了IFMP、IFMT问题的区间值直觉模糊推理的三I算法、α-三I算法、三I约束算法、反向三I算法、反向α-三I算法及反向三I约束算法解的计算公式,讨论了IFMP、IFMT问题的区间值直觉模糊推理的三I算法和反向三I算法的还原性。     

模糊推理α-反向三I支持算法的一般表示

讨论模糊推理α-反向三I支持算法的表示问题,基于正则蕴涵算子建立α-反向三I支持算法的一般表示。如此,现有的α-反向三I支持算法的统一表示被推广到一种新的形式。     

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

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

θp型三I算法与反向三I算法支持度分析

研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论，分析了支持度的性质，得到了α-三Ⅰ算法的FMP（FMT）计算公式与α-反向三Ⅰ算法的FMP（FMT）计算公式。     

区间值模糊推理三Ⅰ约束算法

基于区间值模糊集讨论了区间值模糊推理三Ⅰ约束算法,给出了ⅠFMP、ⅠFMT问题的区间值模糊推理三Ⅰ约束算法解的表达形式,并且针对三种具体的蕴涵算子,获得了相应的区间值模糊推理三Ⅰ约束算法的解。     

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

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

基于蕴涵算子θp模糊推理的三I与反向三I算法的约束度分析

研究基于蕴涵算子θp模糊推理的三I算法与反向三I算法的约束度理论, 分析约束度的性质,得到α-三I算法的FMP(FMT)上(下)确界计算公式与α-反向三I算法的FMP(FMT)下(上)确界的计算公式.     

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

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

基于完备BR0-代数的全蕴涵三Ⅰ算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.     

模糊推理反向三Ⅰ问题的真度形式解

在n值命题逻辑系统Ln,L*n中提出了模糊推理的反向三Ⅰ问题,并给出了反向三Ⅰ问题的真度形式解,从而在系统Ln与L*n中建立了反向三Ⅰ问题的形式化推理机制,为模糊推理的反向三Ⅰ算法奠定了逻辑基础.     

G(o)del逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W，W，Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G，G，Gn中。主要结果是：在逻辑系统/G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Gn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在/G，G，Gn中给出了F（S）的一个关于→同余的分划。     

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

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

基于经典逻辑系统的模糊推理方法

给出了一种基于经典二值逻辑系统的模糊推理方法.由于经典二值逻辑系统和我们提出的一种新的三段论原则是比较令人信服的,故我们的算法的基础是较为坚实的;同时在新的推理方法中避免了蕴合算子的选择,使得本算法不存在选择蕴含算子的困难;本算法具有还原性且计算简单;通过实例的计算结果与三Ⅰ算法和CRI算法的计算结果相比较,说明由新算法计算出的结果也是较为令人信服的,因此新算法是一种较好的算法.     

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

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