Reverse triple Ⅰ method of fuzzy reasoning

A theory of reverse triple I method with sustention degree is presented by using the implication operator R0 in every step of the fuzzy reasoning. Its computation formulas of supremum for fuzzy modus ponens and infimum for fuzzy modus tollens are given respectively. Moreover, through the generalization of this problem, the corresponding formulas of α-reverse triple I method with sustention degree are also obtained. In addition, the theory of reverse triple I method with restriction degree is proposed as well by using the operator R0, and the computation formulas of infimum for fuzzy modus ponens and supremum for fuzzy modus tollens are shown.

抗纤益心方对扩张型心肌病大鼠心肌Ⅰ、Ⅲ型胶原mRNA表达的影响

目的:探讨抗纤益心方(党参、黄芪、茯苓、白术、丹参、川芎、红花、赤芍、泽兰、益母草)抑制扩张型心肌病(DCM)大鼠心室重构的机制。方法:采用自主饮用呋喃唑酮水溶液建立DCM大鼠模型,8周后,存活大鼠随机分成5组(每组14只)16周时,处死动物。用免疫组化法(SP法)和逆转录-聚合酶链反应法(RT-PCR)检测心肌组织Ⅰ、Ⅲ型胶原的表达。结果:模型组心肌间质内Ⅰ、Ⅲ型胶原大量增生,与正常组比较有显著差异性(P<0.05);中西药联用组、大剂量组心肌内Ⅰ、Ⅲ型胶原较模型组明显减少(P<0.05);大剂量组与卡托普利组比较无差别(P>0.05),与小剂量组比较有统计学意义(P<0.05)。结论:DCM大鼠心肌呈明显纤维化,与Ⅰ、Ⅲ型胶原在心肌组织内较高的表达存在密切关系。抗纤益心方能够抑制心肌间质Ⅰ、Ⅲ型胶原蛋白的表达,从而起到抑制心室重构的作用。

基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法

Schweizer-Sklar三角范数簇具有柔化性,使得由其构造的逻辑系统在模糊推理中具有良好的属性.将Schweizer-Sklar三角范数簇与模糊推理反向三Ⅰ算法结合起来,给出基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法和α-反向三I算法,并给出对应三Ⅰ解的表达式.结合Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的特点,讨论当参数取特殊值时对应的特殊蕴涵算子→D,→L,→G,→P的反向三Ⅰ算法及对应三Ⅰ解的表达式.提供一种柔化性的模糊推理反向三Ⅰ算法.

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

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

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

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

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

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

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

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

剩余型直觉模糊推理的反向三Ⅰ方法

提出直觉模糊取式(IFMP)和直觉模糊拒取式(IFMT)问题的直觉模糊推理的反向三Ⅰ原则、反向α-三Ⅰ原则和反向三Ⅰ约束原则.针对剩余型直觉模糊蕴涵算子,给出IFMP、IFMT问题的直觉模糊推理的反向三Ⅰ算法、反向α-三Ⅰ算法及反向三Ⅰ约束算法求解的计算公式和分解形式,指出这些算法都是相应模糊集情形下的推广,讨论IFMP、IFMT问题的直觉模糊推理的反向三Ⅰ算法的还原性.

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

用模糊熵来度量模糊推理结果的模糊程度,并用极大模糊熵原则对模糊推理α-反向三Ⅰ算法做进一步解释和改进,提出了基于极大模糊熵原理的模糊推理α-反向三Ⅰ算法,讨论了FMP和FMT问题的模糊熵α-反向三Ⅰ支持算法解的存在条件,研究了α-反向三Ⅰ解与模糊熵α-反向三Ⅰ解的关系,获得了几个常见蕴涵算子的FMP问题与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型泛三Ⅰ算法解的灵敏度.结论表明,直觉模糊推理算法的鲁棒性完全取决所选择的直觉模糊连接词.

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

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

参数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模型的反向三Ⅰ约束算法。

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

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

基于相似度的直觉模糊推理反向三Ⅰ算法的鲁棒性

本文将直觉模糊集与反向三Ⅰ算法结合起来,研究了直觉模糊推理a-反向三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理a-反向三Ⅰ算法解的表达形式和分解形式.其次,借助双剩余,定义了直觉模糊集间的相似度,给出了直觉Lukasiewicz蕴涵、直觉Godel蕴涵、直觉Goguen蕴涵、直觉R0蕴涵的相似度,并分析了它们之间的关系.最后,利用直觉模糊集上的相似度作为扰动参数,讨论了直觉模糊推理a-反向三Ⅰ算法的鲁棒性,特别是,针对以上四种剩余型蕴涵算子,得到了直觉模糊推理a-反向三Ⅰ算法的一些关于鲁棒性的结论.

基于平均逻辑相似度的α-反向三Ⅰ算法的鲁棒性

鲁棒性是评价算法优劣的一个重要标准。以平均逻辑相似度为衡量扰动的指标,分别讨论了α-反向三Ⅰ支持算法和α-反向三Ⅰ约束算法的鲁棒性,结论表明FMP(FMT)问题的α-反向三Ⅰ支持算法和α-反向三Ⅰ约束算法具有相同的鲁棒性。

基于模糊软集的三Ⅰ推理方法的性质

文中讨论了基于模糊软集的三Ⅰ推理方法的还原性和连续性。针对左连续t模诱导的模糊蕴涵算子,给出了FSMP三Ⅰ推理方法满足还原性的条件,并证明了对于Lukasiewicz模糊蕴涵算子、G9del模糊蕴涵算子和R0模糊蕴涵算子,FSMP三Ⅰ推理方法具有连续性。

模糊软推理三Ⅰ约束理论的一般表示（英文）

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.