检索结果-维普期刊中文期刊服务平台

基于支持度理论的广义Modus Ponens问题的最优解被引量：6: 1; 作者李骏王国俊《软件学报》 EI CSCD 北大核心 2007年第11期2712-2718,共7页; 为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度... 展开更多; 关键词 GMP(generalized modus ponens)问题 CGMP(collective generalized modus ponens)问题真度支持度最优解; 在线阅读下载PDF 职称材料

基于支持度理论的广义MP问题的形式化解被引量：7: 2; 作者李骏王国俊《电子学报》 EI CAS CSCD 北大核心 2008年第11期2190-2194,共5页; 在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法... 展开更多; 关键词广义MP问题集体广义MP问题真度支持度; 在线阅读下载PDF 职称材料

广义MP问题的三I真度解被引量：4: 3; 作者于鹏刘凤雏王三五《计算机工程与应用》 CSCD 北大核心 2009年第12期47-49,共3页; 基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。; 关键词公式真度二值逻辑广义MP问题三I算法 α-三I真度解; 在线阅读下载PDF 职称材料

广义MP问题的α-三Ⅰ解的形式化理论被引量：2: 4; 作者马丽娜王国俊《陕西师范大学学报（自然科学版）》 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时,全体极小α公式之... 展开更多; 关键词广义MP问题 α-三Ⅰ算法极小α公式形式化α-三Ⅰ解; 在线阅读下载PDF 职称材料

真度方程组及其应用被引量：2: 5; 作者于鹏《计算机工程与应用》 CSCD 2012年第7期57-59,105,共4页; 基于计量逻辑学和真度方程的思想,提出了真度方程组的概念。给出了真度方程组的同型解,探讨了真度方程组解集合的相容性。将这一理论成功地运用于多重广义MP问题的研究,求出了多重广义MP问题的三I真度解与α-三I真度解,为进一步探讨模... 展开更多; 关键词多重广义MP问题三I算法 α-三I真度解模糊推理; 在线阅读下载PDF 职称材料

多重广义MP问题的三I真度解被引量：1: 6; 作者于鹏刘凤雏《计算机工程与应用》 CSCD 北大核心 2011年第7期49-51,109,共4页; 在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。; 关键词公式真度二值逻辑多重广义MP问题三I算法; 在线阅读下载PDF 职称材料

题名基于支持度理论的广义Modus Ponens问题的最优解被引量：6: 1; 作者李骏王国俊; 机构陕西师范大学数学与信息科学学院; 出处《软件学报》 EI CSCD 北大核心 2007年第11期2712-2718,共7页; 基金 No.10331010(国家自然科学基金) 陕西师范大学博士创新基金兰州理工大学优秀青年基金~~; 文摘为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.; 关键词 GMP(generalized modus ponens)问题 CGMP(collective generalized modus ponens)问题真度支持度最优解; Keywords GMP （generalized modus ponens） problem CGMP （collective generalized modus ponens） problem truth degree sustentation degree optimal solution; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于支持度理论的广义MP问题的形式化解被引量：7: 2; 作者李骏王国俊; 机构兰州理工大学理学院陕西师范大学数学研究所; 出处《电子学报》 EI CAS CSCD 北大核心 2008年第11期2190-2194,共5页; 基金国家自然科学基金(No.10771129) 陕西师范大学博士创新基金(No.2006CXB002) 兰州理工大学优秀青年基金(No.2003YX0971); 文摘在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.; 关键词广义MP问题集体广义MP问题真度支持度; Keywords generalized modus ponens（GMP） problem collective generalized modus ponens （CGMP） problem truth degree sustentation degree; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名广义MP问题的三I真度解被引量：4: 3; 作者于鹏刘凤雏王三五; 机构陕西科技大学理学院中国工商银行陕西省分行; 出处《计算机工程与应用》 CSCD 北大核心 2009年第12期47-49,共3页; 基金国家自然科学基金No.10771129 陕西科技大学自然科学基金项目No.ZX07-37~~; 文摘基于真度理论讨论了三I推理机制在真度理论下的意义,求出了真度理论下的广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了广义MP问题的α-三I真度解。; 关键词公式真度二值逻辑广义MP问题三I算法 α-三I真度解; Keywords truth degree two-value logic system generalized modus ponens Triple I method α-Triple I truth degree solution; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名广义MP问题的α-三Ⅰ解的形式化理论被引量：2: 4; 作者马丽娜王国俊; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期13-16,22,共5页; 基金国家自然科学基金重点资助项目(10771129) 国家自然科学基金青年资助项目(61005046) 陕西省自然科学基础研究计划项目(2010JQ8020); 文摘研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三Ⅰ解的存在性定理.; 关键词广义MP问题 α-三Ⅰ算法极小α公式形式化α-三Ⅰ解; Keywords generalized modus ponens（GMP） α-triple Ⅰ method minimal α formula formalized α-triple Ⅰ solution; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名真度方程组及其应用被引量：2: 5; 作者于鹏; 机构陕西科技大学理学院; 出处《计算机工程与应用》 CSCD 2012年第7期57-59,105,共4页; 基金陕西科技大学自选项目(No.zx10-33) 陕西省自然科学基础研究计划资助项目(No.2011JQ1015); 文摘基于计量逻辑学和真度方程的思想,提出了真度方程组的概念。给出了真度方程组的同型解,探讨了真度方程组解集合的相容性。将这一理论成功地运用于多重广义MP问题的研究,求出了多重广义MP问题的三I真度解与α-三I真度解,为进一步探讨模糊推理的逻辑基础提供了一个可行的途径。; 关键词多重广义MP问题三I算法 α-三I真度解模糊推理; Keywords multiple generalized modus ponens Triple I method αTriple I truth degree solution fuzzy inference; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名多重广义MP问题的三I真度解被引量：1: 6; 作者于鹏刘凤雏; 机构陕西科技大学理学院中国工商银行陕西省分行; 出处《计算机工程与应用》 CSCD 北大核心 2011年第7期49-51,109,共4页; 基金陕西科技大学自然科学基金项目(No.ZX07-37 No.ZX10-33); 文摘在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。; 关键词公式真度二值逻辑多重广义MP问题三I算法; Keywords truth degree two-value logic system multiple .generalized modus ponens Triple I method a-Triple I truth degree solution; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于支持度理论的广义Modus Ponens问题的最优解	李骏王国俊	《软件学报》 EI CSCD 北大核心	2007	6	在线阅读下载PDF 职称材料
2	基于支持度理论的广义MP问题的形式化解	李骏王国俊	《电子学报》 EI CAS CSCD 北大核心	2008	7	在线阅读下载PDF 职称材料
3	广义MP问题的三I真度解	于鹏刘凤雏王三五	《计算机工程与应用》 CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
4	广义MP问题的α-三Ⅰ解的形式化理论	马丽娜王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
5	真度方程组及其应用	于鹏	《计算机工程与应用》 CSCD	2012	2	在线阅读下载PDF 职称材料
6	多重广义MP问题的三I真度解	于鹏刘凤雏	《计算机工程与应用》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料