作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于MV代数(Many-Valued algebra )语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度。由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理。本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法。
推荐文章
MTL代数语义上逻辑公式的概率真度
MTL代数
L-赋值
概率真度
概率逻辑度量空间
程度化推理
关于MV-代数的逻辑性质
MV-代数
完备性
模型完备性
基于有限格蕴涵代数的格值命题逻辑语义系统
多值逻辑
逻辑代数
格蕴涵代数
四值非链格值命题逻辑系统L4P(X)的语义归结方法
格蕴涵代数
自动推理:语义归结方法
四值命题逻辑系统
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于 MV 代数语义的格值逻辑的程度化方法
来源期刊 电子学报 学科 数学
关键词 MV代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理
年,卷(期) 2013,(10) 所属期刊栏目 学术论文
研究方向 页码范围 2035-2040
页数 6页 分类号 O141.1|O189.2
字数 7679字 语种 中文
DOI 10.3969/j.issn.0372-2112.2013.10.026
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 左卫兵 华北水利水电大学数学与信息科学学院 64 158 7.0 9.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (178)
共引文献  (83)
参考文献  (21)
节点文献
引证文献  (3)
同被引文献  (23)
二级引证文献  (7)
1958(2)
  • 参考文献(1)
  • 二级参考文献(1)
1971(1)
  • 参考文献(0)
  • 二级参考文献(1)
1973(1)
  • 参考文献(0)
  • 二级参考文献(1)
1980(1)
  • 参考文献(0)
  • 二级参考文献(1)
1986(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(3)
  • 参考文献(0)
  • 二级参考文献(3)
1992(4)
  • 参考文献(0)
  • 二级参考文献(4)
1993(3)
  • 参考文献(1)
  • 二级参考文献(2)
1994(6)
  • 参考文献(1)
  • 二级参考文献(5)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(3)
  • 参考文献(0)
  • 二级参考文献(3)
1998(4)
  • 参考文献(0)
  • 二级参考文献(4)
1999(6)
  • 参考文献(1)
  • 二级参考文献(5)
2000(6)
  • 参考文献(0)
  • 二级参考文献(6)
2001(17)
  • 参考文献(0)
  • 二级参考文献(17)
2002(11)
  • 参考文献(1)
  • 二级参考文献(10)
2003(13)
  • 参考文献(1)
  • 二级参考文献(12)
2004(8)
  • 参考文献(0)
  • 二级参考文献(8)
2005(15)
  • 参考文献(1)
  • 二级参考文献(14)
2006(28)
  • 参考文献(2)
  • 二级参考文献(26)
2007(11)
  • 参考文献(2)
  • 二级参考文献(9)
2008(14)
  • 参考文献(2)
  • 二级参考文献(12)
2009(17)
  • 参考文献(2)
  • 二级参考文献(15)
2010(3)
  • 参考文献(0)
  • 二级参考文献(3)
2011(6)
  • 参考文献(3)
  • 二级参考文献(3)
2012(5)
  • 参考文献(3)
  • 二级参考文献(2)
2013(1)
  • 参考文献(0)
  • 二级参考文献(1)
2014(1)
  • 参考文献(0)
  • 二级参考文献(1)
2015(1)
  • 参考文献(0)
  • 二级参考文献(1)
2017(3)
  • 参考文献(0)
  • 二级参考文献(3)
2018(2)
  • 参考文献(0)
  • 二级参考文献(2)
2013(1)
  • 参考文献(0)
  • 二级参考文献(1)
  • 引证文献(0)
  • 二级引证文献(0)
2015(3)
  • 引证文献(2)
  • 二级引证文献(1)
2017(3)
  • 引证文献(1)
  • 二级引证文献(2)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(3)
  • 引证文献(0)
  • 二级引证文献(3)
研究主题发展历程
节点文献
MV代数
格值逻辑
概率真度
概率逻辑度量空间
近似推理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子学报
月刊
0372-2112
11-2087/TN
大16开
北京165信箱
2-891
1962
chi
出版文献量(篇)
11181
总下载数(次)
11
总被引数(次)
206555
论文1v1指导