n值S-MTL逻辑系统中命题的Borel概率真度理论
发布时间:2021-06-28 18:55
在n值S-MTL逻辑系统的统一框架下,通过视全体赋值之集为通常乘积拓扑空间,给出了命题的Borel概率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式,进而利用命题的Borel概率真度在该逻辑系统中引入公式间的相似度及其伪距离,使得在n值S-MTL逻辑系统的统一框架下搭建起融随机性和整体性于一体的近似推理模型成为可能。
【文章来源】:计算机工程与应用. 2014,50(02)CSCD
【文章页数】:5 页
【参考文献】:
期刊论文
[1]Borel probabilistic and quantitative logic[J]. ZHOU HongJun & WANG GuoJun College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China. Science China(Information Sciences). 2011(09)
[2]n值S-MTL命题逻辑系统中公式真度的统一理论[J]. 李骏,邓富喜. 电子学报. 2011(08)
[3]二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J]. 王国俊,折延宏. 数学学报. 2007(04)
[4]逻辑系统Ln*中命题的真度理论[J]. 李骏,王国俊. 中国科学E辑:信息科学. 2006(06)
[5]Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J]. 王国俊,李璧镜. 中国科学E辑:信息科学. 2005(06)
本文编号:3254867
【文章来源】:计算机工程与应用. 2014,50(02)CSCD
【文章页数】:5 页
【参考文献】:
期刊论文
[1]Borel probabilistic and quantitative logic[J]. ZHOU HongJun & WANG GuoJun College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China. Science China(Information Sciences). 2011(09)
[2]n值S-MTL命题逻辑系统中公式真度的统一理论[J]. 李骏,邓富喜. 电子学报. 2011(08)
[3]二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J]. 王国俊,折延宏. 数学学报. 2007(04)
[4]逻辑系统Ln*中命题的真度理论[J]. 李骏,王国俊. 中国科学E辑:信息科学. 2006(06)
[5]Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J]. 王国俊,李璧镜. 中国科学E辑:信息科学. 2005(06)
本文编号:3254867
本文链接:https://www.wllwen.com/shekelunwen/ljx/3254867.html