General Expressions of Triple Ⅰ Restriction Methods for Fuzzy Soft Reasoning

The aim of this paper is to discuss the Triple Ⅰ restriction reasoning methods for fuzzy soft sets. Triple Ⅰ restriction principles for fuzzy soft modus ponens(FSMP) and fuzzy soft modus tollens(FSMT) are proposed, and then, the general expressions of the Triple Ⅰ restriction reasoning method for FSMP and FSMT with respect to residual pairs are presented respectively. Finally, the optimal restriction solutions for Lukasiewicz and Godel implication operators are examined.

广义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)下(上)确界的计算公式。

区间值模糊推理的三Ⅰ算法

模糊推理在控制和人工智能等领域已得到了广泛的应用,但其理论基础还不完善.王国俊教授提出的模糊命题逻辑的形式演绎系统和三 算法为模糊推理奠定了严格的逻辑基础.本文把三 算法用于区间值模糊推理,并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理.从而把一般模糊推理纳入于区间值模糊推理的框架之内.

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

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

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

提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族L-λ-R0模糊推理的三Ⅰ支持算法,这将有助于提高推理结果的可靠性.

基于直觉模糊推理(1,2,2)-a型泛三Ⅰ算法的鲁棒性

本文基于直觉模糊集,研究了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理(1,2,2)-a型泛三Ⅰ算法解的表达形式和分解形式.其次,利用直觉模糊集间的自然距离定义了直觉模糊连接词和直觉模糊集的灵敏度,给出了直觉?ukasiewicz蕴涵、直觉G?del蕴涵以及它们各自对应三角模的灵敏度,在此基础上,证明了直觉?ukasiewicz蕴涵是直觉模糊集上最鲁棒剩余型蕴涵算子.最后,讨论了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法的鲁棒性,并且针对以上两种具体蕴涵算子,相应地获得了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法解的灵敏度.结论表明,直觉模糊推理算法的鲁棒性完全取决所选择的直觉模糊连接词.

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

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

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

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

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

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

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

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

三I方法综述——它的提出、发展、应用和逻辑版本

对三I方法提出的背景、三I方法的推广与应用作了综述,介绍三I方法在数理逻辑学中的版本。

具有还原性的多重多维模糊推理算法

Zadeh提出的CRI算法是模糊推理中运用最广泛的算法,但它不具还原性。王国俊教授提出的全蕴涵三I算法,以及已有的基于相似度的模糊推理算法是在单一规则下的模糊推理算法,在单一规则情形满足还原性条件。本文在给出多重多维模糊推理具有还原性的定义的基础上,先用例子说明,全蕴涵三I算法和已有的基于相似度的算法在多重多维推理的情况下不具有还原性,同时本文提出一种新的基于相似度的模糊推理算法,在多重多维推理时满足还原性条件。

Fuzzy集上基于一般蕴含算子的α-三I算法

先将经典蕴含算子泛化后得到[0,1]集上一般蕴含算子的定义,然后将α-三I算法推广到一般蕴含算子上.在分析了α-三IFM P原则的实质后,给出了基于一般蕴含算子的α-三I算法的通用计算公式,并分析了基于一般蕴含算子的α-三I算法的还原性.最后给出了具体的蕴含算子来验证提出的通用计算公式.

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

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

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

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

基于剩余蕴涵算子族L_p的三I支持算法

研究了基于剩余型蕴涵算子族Lp的模糊推理的三I支持算法,给出了FM P模型与FM T模型的三I算法的几种计算公式,并讨论了其还原性。

模糊控制中FMP问题的算法分析

本文主要对模糊推理的核心问题之一即FMP问题的算法进行比较,其中包括CRI算法、Mamdani算法、三Ⅰ算法等推理算法,并且对各种算法的优劣性进行分析.文章给出了推理合成规则不具有还原性和不能正确进行模糊推理的原因以及正确使用CRI算法的条件,对各种蕴含算子的模糊推理进行了分析比较,从而得到较合理的推理算法.文章最后举例说明了最优算法的应用.

模糊推理的反向对称蕴涵算法

综合考虑推理模型与逻辑系统,提出反向对称蕴涵算法,建立反向对称蕴涵原则,通过探究其解的性质验证其合理性,改进以前的反向三Ⅰ算法的原则。以经典的Lukasiewicz蕴涵算子为对象,针对FMP(fuzzy modus ponens)和FMT(fuzzy modus tollens)问题分别获得其优化解。面向FMP和FMT问题分别证明反向对称蕴涵算法的还原性。

基于三角范数的模糊逻辑中的三I方法(英文)

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。