论Gdel蕴涵算子不宜用于建立模糊逻辑系统

通过演绎定理和命题的真度理论指出基于Go¨del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Go¨del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。

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

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

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

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

基于蕴涵算子族L-λ-G的反向三I约束算法

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

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

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

基于CRI算法的蕴涵算子族L-λ-G模糊系统

针对蕴涵算子族L-λ-G,首先讨论了基于CRI算法的模糊系统及其响应性能.结果表明,蕴涵算子族L-λ-G模糊系统只具有阶跃输出能力,不具有函数逼近泛性.其次揭示了蕴涵算子族L-λ-G模糊系统的概率意义,给出了其概率分布,它充当模糊系统的"系统内核"作用.

正则蕴涵算子族G-λ-R_0及其三I支持算法

首先给出了一个新的蕴涵算子族:G-λ-R(0λ∈[0,1])(它包括G觟de(l简称RG)算子与R0算子)。然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性。结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三I支持算法。

正则蕴涵算子族G-λ-R_0的约束度理论相关研究

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

命题公式集F(S)的基于修正的Gdel算子的十八类分划

本文利用修正的Gdel蕴涵算子研究了命题公式集F(S)中公式确定集的特征,进而以确定集为工具得到F(S)的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性.

一类蕴涵算子下的支持度及α-三I算法

研究了基于正则蕴涵算子G-λ-R0模糊推理的三I算法的支持度理论,分析了支持度的性质,给出了α-三I算法的FMP(FMT)下(上)确界的计算公式。