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

MTL代数语义上逻辑公式的概率真度被引量：8: 1; 作者左卫兵《电子学报》 EI CAS CSCD 北大核心 2015年第2期293-298,共6页; 基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计... 展开更多; 关键词 MTL代数 L-赋值概率真度概率逻辑度量空间程度化推理; 在线阅读下载PDF 职称材料

基于MV代数语义的格值逻辑的程度化方法被引量：4: 2; 作者左卫兵《电子学报》 EI CAS CSCD 北大核心 2013年第10期2035-2040,共6页; 基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.... 展开更多; 关键词 MV代数格值逻辑概率真度概率逻辑度量空间近似推理; 在线阅读下载PDF 职称材料

基于剩余格语义的格值逻辑系统的程度化方法被引量：4: 3; 作者左卫兵《电子学报》 EI CAS CSCD 北大核心 2017年第8期1842-1848,共7页; 基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余... 展开更多; 关键词剩余格赋值态概率真度概率逻辑度量空间近似推理; 在线阅读下载PDF 职称材料

Boole语义的程度化方法被引量：4: 4; 作者左卫兵《电子学报》 EI CAS CSCD 北大核心 2012年第3期441-447,共7页; 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化... 展开更多; 关键词 Boole语义 B-赋值 B-概率真度概率逻辑度量空间近似推理; 在线阅读下载PDF 职称材料

题名MTL代数语义上逻辑公式的概率真度被引量：8: 1; 作者左卫兵; 机构华北水利水电大学数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2015年第2期293-298,共6页; 基金国家自然科学基金(No.11201145) 河南省教育厅自然科学基金(No.13A110719) 河南省教育厅人文社会科学研究项目(No.2013-QN-295); 文摘基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.; 关键词 MTL代数 L-赋值概率真度概率逻辑度量空间程度化推理; Keywords monoidal t-norm based logic algebra lattice valued evaluation probability truth degree probability logic metric space graded reasoning; 分类号 O141.1 [理学—基础数学] O189.2 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于MV代数语义的格值逻辑的程度化方法被引量：4: 2; 作者左卫兵; 机构华北水利水电大学数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第10期2035-2040,共6页; 基金河南省自然科学基金(No.112300410040) 河南省教育厅自然科学基金(No.2011A110012 +1 种基金 No.13A110719) 河南省高等学校青年骨干教师资助计划(No.2011GGJS-097); 文摘基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.; 关键词 MV代数格值逻辑概率真度概率逻辑度量空间近似推理; Keywords MV-algebra lattice-valued logic probability Iruth degree probability logic metric space approximate reasoning; 分类号 O141.1 [理学—基础数学] O189.2 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于剩余格语义的格值逻辑系统的程度化方法被引量：4: 3; 作者左卫兵; 机构华北水利水电大学数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2017年第8期1842-1848,共7页; 基金河南省基础与前沿技术研究计划(No.152300410112); 文摘基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法.; 关键词剩余格赋值态概率真度概率逻辑度量空间近似推理; Keywords residuated lattice evaluation state probability truth degree probability logic metric space approximate reasoning; 分类号 O141.1 [理学—基础数学] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Boole语义的程度化方法被引量：4: 4; 作者左卫兵; 机构华北水利水电学院数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2012年第3期441-447,共7页; 基金国家自然科学基金(No.51009065) 河南省自然科学基金(No.112300410040) +1 种基金河南省高等学校骨干教师资助计划(No.2011GGJS-097); 文摘基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.; 关键词 Boole语义 B-赋值 B-概率真度概率逻辑度量空间近似推理; Keywords Boolean algebra B-valuation B-probability truth degree probability logic metric space approximate reasoning; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料