广义MP问题的α-三Ⅰ解的形式化理论 被引量：2

1

作者 马丽娜 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期13-16,22,共5页

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

关键词 广义MP问题 α-三ⅰ算法 极小α公式 形式化α-三ⅰ解

在线阅读 下载PDF 职称材料

基于蕴涵算子族L-λ-R_0的FMT三Ⅰ约束算法 被引量：1

2

作者 阚婷 张兴芳 王作真 《计算机工程与应用》 CSCD 北大核心 2008年第25期58-59,85,共3页

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了FMT模型的三I约束算法、α-三I约束算法。给出了FMT模型的三I约束算法、α-三I约束算法计算公式。

关键词 模糊推理 蕴涵算子族L-Λ-R0 三I约束算法 α-三I约束算法

在线阅读 下载PDF 职称材料

区间值模糊推理的三Ⅰ算法 被引量：10

3

作者 王向云 《高校应用数学学报（A辑）》 CSCD 北大核心 2003年第4期467-472,共6页

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

关键词 模糊推理 三ⅰ算法 区间值模糊推理 人工智能 控制理论

在线阅读 下载PDF 职称材料

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

4

作者 阚婷 张兴芳 王作真 《计算机工程与应用》 CSCD 北大核心 2008年第14期62-64,99,共4页

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

关键词 模糊推理 蕴涵算子族L-Λ-R0 三ⅰ支持算法 α-三ⅰ支持算法

在线阅读 下载PDF 职称材料

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

5

作者 惠小静 井美 王蓉 《电子学报》 EI CAS CSCD 北大核心 2019年第2期410-416,共7页

本文基于直觉模糊集,研究了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理(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型泛三Ⅰ算法解的灵敏度.结论表明,直觉模糊推理算法的鲁棒性完全取决所选择的直觉模糊连接词. 展开更多

关键词 鲁棒性 直觉模糊推理 泛三ⅰ算法 解的灵敏度

在线阅读 下载PDF 职称材料

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

6

作者 谷焕春 张兴芳 《计算机工程与应用》 CSCD 北大核心 2009年第35期38-40,共3页

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

关键词 模糊推理 蕴涵算子族Lλ0λG 反向三ⅰ约束算法

在线阅读 下载PDF 职称材料

具有还原性的多重多维模糊推理算法 被引量：8

7

作者 何映思 全海金 邓辉文 《计算机科学》 CSCD 北大核心 2007年第4期145-148,共4页

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

关键词 模糊推 CRI算法 三ⅰ算法 相似度 还原性

在线阅读 下载PDF 职称材料

Fuzzy集上基于一般蕴含算子的α-三I算法 被引量：7

8

作者 徐章艳 杨炳儒 《广西师范大学学报（自然科学版）》 CAS 北大核心 2005年第4期42-45,共4页

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

关键词 三ⅰ原则 还原性 FUZZY集 一般蕴含算子 CRI方法 正规Fuzzy集

在线阅读 下载PDF 职称材料

模糊推理的反向对称蕴涵算法 被引量：2

9

作者 唐益明 赵跟陆 刘晓平 《济南大学学报（自然科学版）》 CAS 北大核心 2015年第5期355-360,共6页

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

关键词 模糊推理 反向三ⅰ算法 对称蕴涵算法 还原性

在线阅读 下载PDF 职称材料

基于蕴涵算子族的模糊推理的FMP三I约束算法 被引量：1

10

作者 王作真 刘利英 阚婷 《计算机工程与应用》 CSCD 北大核心 2008年第13期47-49,共3页

提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型的α-三I约束算法、三I约束算法,并说明其现实意义。

关键词 模糊推理 蕴涵算子族L-Λ-R0 三I约束算法 α-三I约束算法

在线阅读 下载PDF 职称材料

基于蕴涵算子族Lλ0λG的模糊推理三I约束算法 被引量：1

11

作者 谷焕春 张兴芳 《计算机工程与应用》 CSCD 北大核心 2008年第12期38-41,共4页

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

关键词 模糊推理 蕴涵算子族Lλ0λG 三ⅰ约束算法

在线阅读 下载PDF 职称材料

模糊控制中FMP问题的算法分析 被引量：1

12

作者 孙贵玲 张荣艳 王爱苹 《三峡大学学报（自然科学版）》 CAS 2011年第3期92-95,共4页

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

关键词 模糊推理 合成推理规则 Mamdani算法 全蕴涵三ⅰ算法

在线阅读 下载PDF 职称材料

基于蕴涵算子族NM_p的α-三算法及约束度理论 被引量：1

13

作者 阚婷 张兴芳 王作真 《燕山大学学报》 CAS 2008年第6期544-547,共4页

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

关键词 模糊推理 NMp蕴涵算子 约束度 三|算法

在线阅读 下载PDF 职称材料

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

14

作者 王庆平 张兴芳 高芹 《计算机工程与应用》 CSCD 北大核心 2008年第6期55-58,91,共5页

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

关键词 模糊推理 蕴涵算子族L-Λ-R0 三ⅰ约束算法

在线阅读 下载PDF 职称材料

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

15

作者 于西昌 王大全 张兴芳 《计算机工程与应用》 CSCD 北大核心 2008年第30期54-58,共5页

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

关键词 模糊推理 蕴涵算子族L-Λ-G 反向三I约束算法 α-反向三I约束算法

在线阅读 下载PDF 职称材料

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

16

作者 谷焕春 张兴芳 王庆平 《计算机工程与应用》 CSCD 北大核心 2009年第21期37-40,共4页

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

关键词 模糊推理 蕴涵算子族Lλ0λG α-三I约束算法

在线阅读 下载PDF 职称材料

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

17

作者 谷焕春 张兴芳 刘启德 《计算机工程与应用》 CSCD 北大核心 2009年第33期48-51,共4页

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

关键词 模糊推理 蕴涵算子族Lλ0λG 反向α-三I约束算法

在线阅读 下载PDF 职称材料

基于蕴涵算子族L-λ-R_0的模糊推理α-三I约束算法

18

作者 王庆平 张兴芳 宋颖 《计算机工程与应用》 CSCD 北大核心 2008年第4期42-45,共4页

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

关键词 模糊推理 蕴涵算子族L-λ—R0 α-三I约束算法

在线阅读 下载PDF 职称材料

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

19

作者 王庆平 张兴芳 《计算机科学与探索》 CSCD 2007年第3期340-346,共7页

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

关键词 蕴涵 算子族 反向三 约束算法 IMPLICATION OPERATOR 模糊推理 模型 可靠性 思想

在线阅读 下载PDF 职称材料

正则蕴涵算子族G-λ-R_0及其三I支持算法 被引量：4

20

作者 张森 李成允 张兴芳 《计算机工程与应用》 CSCD 北大核心 2009年第22期29-31,58,共4页

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

关键词 蕴涵算子族G-λ-R0 伴随算子 正则性 三I支持算法

在线阅读 下载PDF 职称材料