经典命题逻辑的概率语义及其应用-计算机学报.pdfVIP

经典命题逻辑的概率语义及其应用-计算机学报.pdf

  1. 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
经典命题逻辑的概率语义及其应用-计算机学报

第卷第期 计 算 机 学 报 37 8            Vol.37No.8 年月 20148 Au.2014 CHINESEJOURNALOFCOMPUTERS g   经典命题逻辑的概率语义及其应用 ) ) ) 1 2 3 张家录 陈雪刚赵晓东     ) 1(湘南学院数学系湖南郴州 ) 423000     ) 2(湘南学院计算机科学系湖南郴州 ) 423000     ) 3(四川民族学院数学系四川康定 ) 626000     摘要文中将经典命题逻辑的赋值域由二值({,})推广到概率空间,引进了命题公式的概率赋值并建立命题 01    , 逻辑的概率语义证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于引入了命题公式的概 1. 率真度、不确定度、概率真度、不确定度等概念,并说明了概率真度是已有的二值命题逻辑各种真度概念的    Λ Λ Λ , , () 推广通过讨论概率真度的性质表明概率真度在全体公式集 上满足 公理证明在形式推   犉犛 Kolmoorov . Λ Λ g , 演的一个有效推理中结论的不确定度不超过各前提的不确定度与其必要度的乘积之和利用公式的不确   .  Λ Λ Λ 定度引进公式间的相似度和伪距离,证明了在一定条件下所建立的伪距离空间没有孤立

文档评论(0)

75986597 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档