概率真度

作品数：29被引量：79H指数：5
导出分析报告
相关领域：理学更多>>
相关作者：于西昌左卫兵谭桂梅张兴芳周红军更多>>
相关机构：聊城大学聊城职业技术学院陕西师范大学华北水利水电学院更多>>
相关期刊：《系统科学与数学》《软件学报》《宝鸡文理学院学报（自然科学版）》《模糊系统与数学》更多>>
相关基金：国家自然科学基金山东省自然科学基金河南省教育厅自然科学基金河南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模态逻辑公式的概率真度理论被引量：1
《宝鸡文理学院学报（自然科学版）》2022年第3期1-5,11,共6页李璧镜 
陕西省教育厅专项科研项目(14JK1050)。
目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不...
关键词：模态逻辑 概率真度 相容 逻辑等价 
粗糙逻辑中公式的一种新的粗糙概率真度被引量：1
《电子学报》2019年第5期1174-1179,共6页左卫兵 李慧慧 钱莉 
河南省基础与前沿技术研究项目(No.152300410112)
本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规...
关键词：粗糙逻辑 预粗糙代数 粗糙概率真度 粗糙相似度 近似推理 
基于剩余格语义的格值逻辑系统的程度化方法被引量：3
《电子学报》2017年第8期1842-1848,共7页左卫兵 
河南省基础与前沿技术研究计划(No.152300410112)
基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余...
关键词：剩余格 赋值态 概率真度 概率逻辑度量空间 近似推理 
基于命题逻辑概率赋值的近似推理模式被引量：2
《模式识别与人工智能》2015年第9期769-780,共12页张家录 陈雪刚 吴霞 
湖南省科技计划项目(No.2014FJ3010;2013FJ3032);湖南省教育厅科学研究重点项目(No.2014A135);湖南省社会科学基金项目(No.13YBA30);湖南省重点建设学科;教育部"本科教学工程"地方高校第一批本科专业综合改革试点项目资助
将命题逻辑的赋值域由二值{0,1}推广到给定的概率空间,引进命题公式的概率赋值,概率赋值是经典命题逻辑赋值及各种真度概念的推广.利用概率赋值引入命题公式的概率真度、不可靠度、基于独立事件赋值集的概率真度等概念,通过讨论概率真...
关键词：概率逻辑 概率赋值 概率真度 不可靠度 近似推理 
四值Gdel命题逻辑系统中公式的概率真度理论被引量：1
《计算机科学》2015年第B11期75-79,共5页贺锦瑞 惠小静 双靖宁 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);陕西省高水平大学建设专项资金(2012SXTS07)资助
在四值Gdel命题逻辑系统中提出了公式的概率真度,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;定义了两个公式间的概率相似度,建立了概率逻辑度量空间,证明了此空间中没有孤立点,为研究四值Gdel命题逻辑系统的近似推理提供...
关键词：概率真度 相似度 孤立点 
MTL代数语义上逻辑公式的概率真度被引量：8
《电子学报》2015年第2期293-298,共6页左卫兵 
国家自然科学基金(No.11201145);河南省教育厅自然科学基金(No.13A110719);河南省教育厅人文社会科学研究项目(No.2013-QN-295)
基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计...
关键词：MTL代数 L-赋值 概率真度 概率逻辑度量空间 程度化推理 
经典命题逻辑的概率语义及其应用被引量：9
《计算机学报》2014年第8期1775-1785,共11页张家录 陈雪刚 赵晓东 
湖南省重点建设学科;湖南省科技计划项目(2013FJ3032);湖南省教育厅科学研究重点项目(2014A135);湖南省社会科学基金项目(13YBA302)资助~~
文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、...
关键词：概率语义 ∧-概率真度 ∧-不确定度 ∧-伪距离 概率逻辑 近似推理 
基于MV代数语义的格值逻辑的程度化方法被引量：4
《电子学报》2013年第10期2035-2040,共6页左卫兵 
河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012;No.13A110719);河南省高等学校青年骨干教师资助计划(No.2011GGJS-097)
基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理....
关键词：MV代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理 
基于n-值ukasiewicz命题逻辑的概率计量化推理系统被引量：5
《模式识别与人工智能》2013年第6期521-528,共8页周红军 
国家自然科学基金项目(No.61005046);教育部高等学校博士学科点专项科研基金项目(No.20100202120012)资助
通过把n-值ukasiewicz命题逻辑中公式的概率真度函数抽象为模态词,把概率真度函数的基本恒等式抽象为关于模态词的公理,建立一个模态化的形式推理系统,构建其语构理论及语义理论,证明该系统关于概率真度函数的完备性定理,从而为概率...
关键词：Lukasiewicz命题逻辑 概率计量逻辑 Borel型概率真度 
■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理被引量：18
《软件学报》2012年第9期2235-2247,共13页周红军 
国家自然科学基金(61005046);教育部高等学校博士学科点专项科研基金(20100202120012);陕西省自然科学基础研究计划(2010JQ8020)
通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真...
关键词：■ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部