基于G?del蕴涵算子的新型α-三Ⅰ算法

Fuzzy推理条件应当是可信的或基本可信的,否则对其研究就无意义,因此进行推理时对已知条件真实程度不超过1/2的值不予考虑。新型α-三Ⅰ算法将推理中的大小前提进行修正,摒弃了不可信的推理成分,从而简化了运算过程。基于Fuzzy推理中提出的"过半可信"原则,证明了R_G蕴涵算子满足这一原则,并讨论了R_G蕴涵算子下FMP(fuzzy modus ponens)模型和FMT(fuzzy modus tollens)模型的新型三Ⅰ算法以及新型α-三Ⅰ算法的计算公式且给予证明。

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

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0已给出的FMP模型[1]的三Ⅰ支持算法、α-三Ⅰ支持算法进一步给出了模糊推理的FMT模型的三Ⅰ支持算法、α-三Ⅰ支持算法。

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

三Ⅰ算法是针对模糊推理的FMP及FMT模型的一种推理方法,在此基础上,提出了基于参数蕴涵算子θp模糊推理的思想,给出了在模糊推理的每一步都使用蕴涵运算θp的α-反向三Ⅰ支持算法理论,得到了α-反向三Ⅰ支持算法的计算公式,这将有助于提高模糊推理结果的可靠性.

模糊推理的模糊熵α-反向三Ⅰ算法

用模糊熵来度量模糊推理结果的模糊程度,并用极大模糊熵原则对模糊推理α-反向三Ⅰ算法做进一步解释和改进,提出了基于极大模糊熵原理的模糊推理α-反向三Ⅰ算法,讨论了FMP和FMT问题的模糊熵α-反向三Ⅰ支持算法解的存在条件,研究了α-反向三Ⅰ解与模糊熵α-反向三Ⅰ解的关系,获得了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵α-反向三Ⅰ解的计算公式.

蕴涵算子族R_λ-L∏GN及其三Ⅰ支持算法

给出了一族新的伪三角模族Tλ-L∏GN及其伴随蕴涵算子族Rλ-L∏GN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子、R0蕴涵算子及R∏蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族Rλ-L∏GN的FMP模型的三Ⅰ支持算法和α-三Ⅰ支持算法。

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

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

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

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

广义MP问题的α-三Ⅰ解的形式化理论

研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三Ⅰ解的存在性定理.

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

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

基于蕴涵算子族H_((p,λ))的三Ⅰ算法模糊系统

针对蕴涵算子族H(p,λ),给出了FMP问题三Ⅰ支持算法和α-三Ⅰ支持算法的计算公式;讨论了基于三Ⅰ算法的模糊系统及其响应性能,结果表明,蕴涵算子族H(p,λ)的模糊系统只具有阶跃输出能力,不具有函数逼近泛性;揭示了蕴涵算子族H(p,λ)的模糊系统的概率意义,给出了其概率分布,它充当模糊系统的"系统内核"作用。

模糊推理的模糊熵反向α-三I约束算法

讨论了FMP,FMT问题的模糊熵反向α-三I约束解的存在条件,研究了反向α-三I约束解与模糊熵反向α-三I约束解的关系,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵反向α-三I约束解的计算公式．

基于某些常见蕴涵算子的模糊推理反向三Ⅰ约束算法

讨论了FMP,FMT问题的反向三I约束算法解的存在惟一性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I约束算法解的计算公式．进而将问题一般化,给出了FMP与FMT问题的α-反向三I约束算法解的存在惟一性条件,并得到了基于这些蕴涵算子的α-反向三I约束算法相应的计算公式．

基于蕴涵算子族L-λ-G的FMP模型反向三I支持算法

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

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

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

基于含参量蕴涵算子的反向三I算法

针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三I算法上确界计算公式和FMT问题的反向三I算法下确界计算公式,并进一步将问题一般化,给出了α-反向三I支持算法相应的计算公式.

基于极大模糊熵原理的模糊推理三Ⅰ约束算法

给出了FMP,FMT问题的模糊熵三Ⅰ约束原则,讨论了FMP,FMT问题的模糊熵三Ⅰ约束解的存在性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵三Ⅰ约束算法的计算公式,进一步将问题一般化;给出了FMP问题与FMT问题的模糊熵α-三Ⅰ约束解的存在性条件,并得到了基于这些蕴涵算子的模糊熵α-三Ⅰ约束算法相应的计算公式。