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

命题逻辑系统SMTL中公式的积分真度理论被引量：14: 1; 作者李骏姚锦涛《电子学报》 EI CAS CSCD 北大核心 2013年第5期878-883,共6页; 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最... 展开更多; 关键词积分真度强左连续-t模强正则蕴涵算子 SMTL命题逻辑系统伪度量; 在线阅读下载PDF 职称材料

Lukasiewicz命题逻辑中命题的Choquet积分真度理论被引量：10: 2; 作者周红军折延宏《电子学报》 EI CAS CSCD 北大核心 2013年第12期2327-2333,共7页; 将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真... 展开更多; 关键词 Lukasiewicz命题逻辑概率计量逻辑 Choquet积分真度; 在线阅读下载PDF 职称材料

Lukasie wicz命题集的积分真度、发散度与相容度的分布被引量：4: 3; 作者李立峰王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第2期5-8,共4页; 研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容... 展开更多; 关键词积分真度发散度相客度稠密性; 在线阅读下载PDF 职称材料

模糊逻辑系统中公式的积分真度和伪距离被引量：6: 4; 作者崔美华《工程数学学报》 CSCD 北大核心 2010年第5期873-882,共10页; 在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重... 展开更多; 关键词逻辑系统L^(*) 公式积分真度伪距离; 在线阅读下载PDF 职称材料

NM理论中积分真度的统一理论被引量：1: 5; 作者王波惠小静鲁星《西北工业大学学报》 EI CAS CSCD 北大核心 2023年第2期439-445,共7页; 基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离... 展开更多; 关键词 NM命题逻辑系统积分真度伪距离相容度; 在线阅读下载PDF 职称材料

连续值Luk系统中公式的Γ-真度及其性质被引量：2: 6; 作者杨进峰崔艳丽吴洪博《计算机工程与应用》 CSCD 北大核心 2011年第13期30-32,36,共4页; 对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiewicz系统中公式的积分真度相结合,在连续值Lukasiewicz系统中引入了公式相对于有限理论的Γ-真度理论,讨... 展开更多; 关键词模糊逻辑 Lukasiewicz系统有限理论积分真度 Γ-真度 Γ-伪距离; 在线阅读下载PDF 职称材料

Frank三角范数的一类模糊逻辑系统的真度理论被引量：2: 7; 作者张美马盈仓《计算机工程与应用》 CSCD 北大核心 2011年第2期32-34,45,共4页; 在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的相似度和伪距离,讨论相似度和伪距离性质。; 关键词积分真度相似度伪距离; 在线阅读下载PDF 职称材料

正则蕴涵算子所对应的逻辑伪度量空间被引量：21: 8; 作者李璧镜王国俊《电子学报》 EI CAS CSCD 北大核心 2010年第3期497-502,共6页; 本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系... 展开更多; 关键词正则蕴含算子可测的积分真度逻辑伪度量空间算子的连续性; 在线阅读下载PDF 职称材料

逻辑伪度量空间中的孤立点被引量：2: 9; 作者李璧镜王国俊《计算机工程与应用》 CSCD 北大核心 2010年第11期1-2,21,共3页; 在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。; 关键词积分真度逻辑伪度量空间孤立点; 在线阅读下载PDF 职称材料

题名命题逻辑系统SMTL中公式的积分真度理论被引量：14: 1; 作者李骏姚锦涛; 机构兰州理工大学理学院; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第5期878-883,共6页; 基金国家自然科学基金(No.10771129) 兰州理工大学博士基金; 文摘首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.; 关键词积分真度强左连续-t模强正则蕴涵算子 SMTL命题逻辑系统伪度量; Keywords integral truth degree strong left-continuous t-norm strong regular implication operators SMTL propositional logic pseudo metric; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Lukasiewicz命题逻辑中命题的Choquet积分真度理论被引量：10: 2; 作者周红军折延宏; 机构陕西师范大学数学与信息科学学院西安石油大学理学院; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第12期2327-2333,共7页; 基金国家自然科学基金(No.61005046 No.61103133) +1 种基金陕西省自然科学基础研究计划(No.2010JQ8020); 文摘将已有的不确定性测度概念引入到了Lukasiewicz命题逻辑中的全体赋值之集上,然后利用McNaughton函数关于该不确定性测度的Choquet积分定义了命题的Choquet积分真度概念.证明了当赋值空间上的不确定性测度满足有限可加性时Choquet积分真度函数就具有良好性质,由此可诱导出命题集上的一个伪距离,进而可建立逻辑度量空间并展开程度化推理,特别是证明了当赋值空间上的不确定性测度取为Borel概率测度时Choquet积分真度函数就退化为概率计量逻辑中的Borel概率真度函数.本文是已有命题逻辑概率计量化工作的继续与深入,为表示逻辑命题间不确定性的非线性关系提供了一种推理框架.; 关键词 Lukasiewicz命题逻辑概率计量逻辑 Choquet积分真度; Keywords ukasiewicz propositional logic probabilistically quantitative logic Choquet integral truth degree; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Lukasie wicz命题集的积分真度、发散度与相容度的分布被引量：4: 3; 作者李立峰王国俊; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第2期5-8,共4页; 基金国家自然科学基金重点资助项目(10331010); 文摘研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.; 关键词积分真度发散度相客度稠密性; Keywords intergrated truth degree divergent degree consistency degree density; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模糊逻辑系统中公式的积分真度和伪距离被引量：6: 4; 作者崔美华; 机构盐城师范学院数学科学学院; 出处《工程数学学报》 CSCD 北大核心 2010年第5期873-882,共10页; 基金江苏省高校自然科学基础研究项目(08KJD110008).; 文摘在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。; 关键词逻辑系统L^(*) 公式积分真度伪距离; Keywords logic system L^(*) formulas integral truth degree pseudo-distance; 分类号 O141.1 [理学—基础数学] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名NM理论中积分真度的统一理论被引量：1: 5; 作者王波惠小静鲁星; 机构延安大学数学与计算机科学学院; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2023年第2期439-445,共7页; 基金国家自然科学基金(12261090)资助。; 文摘基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离,并且证明了关于相似度和伪距离的一些性质;通过发散度以及直径的概念,提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数,利用隶属函数给出了相容度的概念,证明了不相容理论的相容度为0,完全相容理论的相容度为1。; 关键词 NM命题逻辑系统积分真度伪距离相容度; Keywords NM propositional logic system integral truth degree pseudo-distance consistency degree; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名连续值Luk系统中公式的Γ-真度及其性质被引量：2: 6; 作者杨进峰崔艳丽吴洪博; 机构汉中职业技术学院陕西师范大学数学与信息科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2011年第13期30-32,36,共4页; 基金国家自然科学基金No.10871121 陕西师范大学重点科研基金(No.995130)~~; 文摘对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiewicz系统中公式的积分真度相结合,在连续值Lukasiewicz系统中引入了公式相对于有限理论的Γ-真度理论,讨论了其中的主要性质;在公式集F(S)上引入了任意两公式相对于有限理论的Γ-伪距离,从而拓宽了真度理论的应用范围。; 关键词模糊逻辑 Lukasiewicz系统有限理论积分真度 Γ-真度 Γ-伪距离; Keywords fuzzy logic Lukasiewicz system finite theory integrated truth degree Γ-truth degree Γ-pseudo-metric; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Frank三角范数的一类模糊逻辑系统的真度理论被引量：2: 7; 作者张美马盈仓; 机构西安工程大学理学院; 出处《计算机工程与应用》 CSCD 北大核心 2011年第2期32-34,45,共4页; 基金陕西省教育厅科研计划项目(No.2010JK567); 文摘在一类基于Frank三角范数的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,并利用积分真度定义公式间的相似度和伪距离,讨论相似度和伪距离性质。; 关键词积分真度相似度伪距离; Keywords integral truth degree similarity degree pseudo-distance; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名正则蕴涵算子所对应的逻辑伪度量空间被引量：21: 8; 作者李璧镜王国俊; 机构陕西师范大学数学与信息科学学院宝鸡文理学院数学系华东师范大学上海高可信计算重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2010年第3期497-502,共6页; 基金国家自然科学基金资助项目(No.10771129); 文摘本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.; 关键词正则蕴含算子可测的积分真度逻辑伪度量空间算子的连续性; Keywords regular implication operator measurable integral truth degree logic pseudo-metric space continuity of operator; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名逻辑伪度量空间中的孤立点被引量：2: 9; 作者李璧镜王国俊; 机构陕西师范大学数学与信息科学学院宝鸡文理学院数学系; 出处《计算机工程与应用》 CSCD 北大核心 2010年第11期1-2,21,共3页; 基金国家自然科学基金No.10771129 宝鸡文理学院重点科研项目(No.ZK2519)~~; 文摘在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。; 关键词积分真度逻辑伪度量空间孤立点; Keywords integral truth degree logic pseudo-metric space isolated point; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	命题逻辑系统SMTL中公式的积分真度理论	李骏姚锦涛	《电子学报》 EI CAS CSCD 北大核心	2013	14	在线阅读下载PDF 职称材料
2	Lukasiewicz命题逻辑中命题的Choquet积分真度理论	周红军折延宏	《电子学报》 EI CAS CSCD 北大核心	2013	10	在线阅读下载PDF 职称材料
3	Lukasie wicz命题集的积分真度、发散度与相容度的分布	李立峰王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2006	4	在线阅读下载PDF 职称材料
4	模糊逻辑系统中公式的积分真度和伪距离	崔美华	《工程数学学报》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
5	NM理论中积分真度的统一理论	王波惠小静鲁星	《西北工业大学学报》 EI CAS CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料
6	连续值Luk系统中公式的Γ-真度及其性质	杨进峰崔艳丽吴洪博	《计算机工程与应用》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
7	Frank三角范数的一类模糊逻辑系统的真度理论	张美马盈仓	《计算机工程与应用》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
8	正则蕴涵算子所对应的逻辑伪度量空间	李璧镜王国俊	《电子学报》 EI CAS CSCD 北大核心	2010	21	在线阅读下载PDF 职称材料
9	逻辑伪度量空间中的孤立点	李璧镜王国俊	《计算机工程与应用》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料