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

Gdel n值命题逻辑中命题的α-真度理论被引量：25: 1; 作者李骏王国俊《软件学报》 EI CSCD 北大核心 2007年第1期33-39,共7页; 为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,... 展开更多; 关键词 α-真度真度 α-相似度伪距离; 在线阅读下载PDF 职称材料

n值Lkasiewicz命题逻辑中命题的α-真度理论被引量：12: 2; 作者李骏王国俊《计算机工程与应用》 CSCD 北大核心 2006年第31期16-18,232,共4页; 基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。; 关键词 α-真度真度相似度伪距离; 在线阅读下载PDF 职称材料

三值标准序列逻辑中的α-真度理论被引量：1: 3; 作者李骏孟新友李建生《兰州理工大学学报》 CAS 北大核心 2007年第1期143-145,共3页; 基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.; 关键词 α-真度真度相似度伪度量; 在线阅读下载PDF 职称材料

值乘积命题逻辑中命题的α-真度理论被引量：1: 4; 作者龚加安吴洪博《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期8-11,共4页; 利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.; 关键词 α-真度真度 α-相似度伪距离; 在线阅读下载PDF 职称材料

Gdel n值命题逻辑中公式的α-随机真度理论: 5; 作者宋颖张兴芳《计算机工程与应用》 CSCD 北大核心 2009年第31期40-42,45,共4页; 给出了Gdeln值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。; 关键词 n值命题逻辑 α-随机真度 α-Dn相似度 α-Dn伪距离; 在线阅读下载PDF 职称材料

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

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

n值逻辑系统MTL_n中命题的程度化方法被引量：2: 8; 作者李骏王国俊周艳《计算机工程与应用》 CSCD 北大核心 2007年第21期4-7,共4页; 基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。; 关键词 α-真度真度相似度伪距离近似推理; 在线阅读下载PDF 职称材料

题名Gdel n值命题逻辑中命题的α-真度理论被引量：25: 1; 作者李骏王国俊; 机构陕西师范大学数学与信息科学学院; 出处《软件学报》 EI CSCD 北大核心 2007年第1期33-39,共7页; 基金国家自然科学基金陕西师范大学博士创新基金兰州理工大学优秀青年基金~~; 文摘为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.; 关键词 α-真度真度 α-相似度伪距离; Keywords α-truth degree truth degree α-similarity degree pseudo-metric; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名n值Lkasiewicz命题逻辑中命题的α-真度理论被引量：12: 2; 作者李骏王国俊; 机构陕西师范大学数学研究所; 出处《计算机工程与应用》 CSCD 北大核心 2006年第31期16-18,232,共4页; 基金国家自然科学基金资助项目(10331010) 陕西师范大学研究生培养创新基金资助项目兰州理工大学优秀青年基金资助项目; 文摘基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。; 关键词 α-真度真度相似度伪距离; Keywords α-truth degree truth degree similarity degree pseudo-metric; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名三值标准序列逻辑中的α-真度理论被引量：1: 3; 作者李骏孟新友李建生; 机构兰州理工大学理学院; 出处《兰州理工大学学报》 CAS 北大核心 2007年第1期143-145,共3页; 文摘基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.; 关键词 α-真度真度相似度伪度量; Keywords α-truth truth similarity pseudo-metric; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名值乘积命题逻辑中命题的α-真度理论被引量：1: 4; 作者龚加安吴洪博; 机构陕西师范大学数学与信息科学学院陕西省商洛职业技术学院; 出处《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期8-11,共4页; 基金国家自然科学基金(10471083) 陕西师范大学重点科研基金(995130); 文摘利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.; 关键词 α-真度真度 α-相似度伪距离; Keywords α-truth degree truth degree α-similarity degree pseudo-metric; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Gdel n值命题逻辑中公式的α-随机真度理论: 5; 作者宋颖张兴芳; 机构聊城大学数学科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第31期40-42,45,共4页; 基金山东省科技攻关计划No.Y2003A01~~; 文摘给出了Gdeln值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。; 关键词 n值命题逻辑 α-随机真度 α-Dn相似度 α-Dn伪距离; Keywords n-valued propositional logic α-Stochastic truth degrees α-D^n similarity degree α-D^n pseudometric; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名广义MP问题的三I真度解被引量：4: 6; 作者于鹏刘凤雏王三五; 机构陕西科技大学理学院中国工商银行陕西省分行; 出处《计算机工程与应用》 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 职称材料

题名真度方程组及其应用被引量：2: 7; 作者于鹏; 机构陕西科技大学理学院; 出处《计算机工程与应用》 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 职称材料

题名n值逻辑系统MTL_n中命题的程度化方法被引量：2: 8; 作者李骏王国俊周艳; 机构兰州理工大学理学院陕西师范大学数学研究所陕西师范大学数学研究所西安陆军学院军事运筹教研室; 出处《计算机工程与应用》 CSCD 北大核心 2007年第21期4-7,共4页; 基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.10331010) 陕西师范大学研究生培养创新基金兰州理工大学优秀青年基金资助项目。; 文摘基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。; 关键词 α-真度真度相似度伪距离近似推理; Keywords α-troth degree truth degree similarity degree Pseudo-metric approximate reasoning; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Gdel n值命题逻辑中命题的α-真度理论	李骏王国俊	《软件学报》 EI CSCD 北大核心	2007	25	在线阅读下载PDF 职称材料
2	n值Lkasiewicz命题逻辑中命题的α-真度理论	李骏王国俊	《计算机工程与应用》 CSCD 北大核心	2006	12	在线阅读下载PDF 职称材料
3	三值标准序列逻辑中的α-真度理论	李骏孟新友李建生	《兰州理工大学学报》 CAS 北大核心	2007	1	在线阅读下载PDF 职称材料
4	值乘积命题逻辑中命题的α-真度理论	龚加安吴洪博	《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
5	Gdel n值命题逻辑中公式的α-随机真度理论	宋颖张兴芳	《计算机工程与应用》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
6	广义MP问题的三I真度解	于鹏刘凤雏王三五	《计算机工程与应用》 CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
7	真度方程组及其应用	于鹏	《计算机工程与应用》 CSCD	2012	2	在线阅读下载PDF 职称材料
8	n值逻辑系统MTL_n中命题的程度化方法	李骏王国俊周艳	《计算机工程与应用》 CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料