Probabilistic Belief Logic and Its Probabilistic Aumann Semantics

来源 :计算机科学技术学报 | 被引量 : 0次 | 上传用户:qjunp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, we present a logic system for probabilistic belief named PBL,which expands the language of belief logic by introducing probabilistic belief. Furthermore, wegive the probabilistic Aumann semantics of PBL. We also list some valid properties of belief andprobabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness andcompleteness of these properties with respect to probabilistic Aumann semantics.
其他文献
检测武汉大学人民医院265例老年人慢性阻塞性肺疾病急性加重和97例同时合并左心衰竭患者的血浆N末端B型利钠肽原(NT-proBNP)水平,结果发现两组间NT-proBNP水平差异有统计学意
地下连续墙是水利工程基坑支护应用较多的挡土、挡水结构,其施工是深基坑支护成功与否的关键.为此研究地下连续墙支护结构的施工方法,对保证深基坑开挖安全有重要的指导意义.
目的 比较足背动脉与桡动脉两种不同方法在新生儿血气分析标本采集中的临床效果.方法 将60例新生儿随机分为观察组和对照组各30例,观察组采用足背动脉采血法,对照组采用桡动
目的 分析家庭密切接触者患耐多药结核病(MDR-TB)的情况,探讨指导家庭防护的必要性及迫切性.方法 对我院9例临床典型的、既往有肺结核家庭背景的密切接触史的原发MDR-TB患者
目的 探讨健康教育对急性白血病化疗期患者生活质量的影响.方法 将72例急性白血病化疗期患者随机分为观察组与对照组,对照组由轮值主班的护士负责宣教,观察组由资深护士负责
对手足口病患儿从消毒隔离、饮食营养、皮肤黏膜、发热护理方面的研究现状进行综述,为临床护理人员对手足口病患儿采取针对性的护理干预提供借鉴,以提高手足口病患儿的护理质
目的 探讨记忆合金环抱器治疗髋关节置换术后股骨假体周围骨折的临床疗效.方法 对9例Duncan-Vancouver分型为B1型股骨假体周围骨折的患者进行切开复位、记忆合金环抱器内固定
目的 对脑卒中患者的基线资料及其生存质量影响因素进行分析.方法 以2008年1月1日~2009年5月1日在深圳市中医院针灸科门诊或住院确诊的脑卒中患者为研究对象,收集基线资料及其
越来越多的研究表明疼痛和焦虑是影响住院患者生活质量的两大主要因素.目前临床医护人员针对这一情况采取了多种不同的干预措施,其中音乐疗法越来越被人们所认可.
辣椒素是在胎座组织中合成.在谢花后30~40d之间,果腔内的乙烯(气体)浓度与日俱增,CO2的排出量也是同一趋向.至于采收后保鲜贮存的实(适)用温度为10℃~15℃.