当前位置:主页 > 社科论文 > 逻辑论文 >

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

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/3254867.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户65c79***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com