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.

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

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

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

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

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

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

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

基于直觉模糊推理(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问题的模糊熵α-反向三Ⅰ解的计算公式.

蕴涵算子族R_((q,p))-LGN及其三Ⅰ支持算法

给出了一族新的左连续三角模族T(q,p)-LGN族及其伴随蕴涵算子族R(q,p)-LGN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子及R0蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族R(q,p)-LGN的FMP模型的三Ⅰ支持算法。

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

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

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

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

蕴涵算子族G-λ-0的支持度与三Ⅰ算法

首先给出了一个新的蕴涵算子族G-λ-0(λ∈[0,1]);然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三Ⅰ支持算法。

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

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

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

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

硝苯地平缓释片Ⅰ体外溶出曲线方法研究及质量一致性评价

目的建立硝苯地平缓释片Ⅰ体外溶出曲线测定方法,并考察原研药与国产仿制药硝苯地平缓释片Ⅰ体外释放行为的一致性。方法分别以4种不同pH溶液为溶出介质,采用高效液相色谱法考察0.25,0.5,1,1.5,2,3,4,6,8,12 h时的释放度,建立原研药和11个厂家国产仿制药的体外溶出曲线,并采用f2相似因子法进行比较。结果硝苯地平缓释片Ⅰ体外溶出曲线测定法的精密度、稳定性、重复性及加样回收试验的RSD均小于2%;国产仿制药与原研药在4种溶出介质中的溶出曲线均有一定差异,11个厂家的仿制药前4 h释放过快;除5个厂家在部分溶出介质中f2值大于50外,其他厂家在4种溶出介质中f2值均小于50。结论建立的硝苯地平缓释片Ⅰ体外溶出曲线测定方法简单、快速、准确,国产仿制药与原研药体外释放行为不一致,为我国硝苯地平缓释片Ⅰ仿制药质量一致性评价工作提供了参考。

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

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

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

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

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

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