博文
review: 概率信念逻辑的语义
|||
概率信念逻辑的语义
曹子宁 石纯一
摘要
在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL,，增强了信念逻辑的表述能力和推理能力< 并为PBL, 建立了两种语义：首先将知识逻辑的Aumann语义进行推广，给出PBL, 逻辑的概率Aumann语义, 其次为PBL,建立了一种正规概率模态语义，这是一种适于刻画概率模态逻辑的语义模型, 证明了PBL的概率Aumann语义和正规概率模态语义的可靠性，并讨论了正规概率模态语义与Kripke语义的关系< 最后，通过一个例子说明了PBL的描述能力和推理能力<
关键词: 信念逻辑，Kripke语义，概率信念逻辑，概率Anmann语义，正规概率模态语义
1 引言
2 概率信念逻辑系统PBL
3 PBL的概率Aumann语义
4 PBL的正规概率模态语义
5 正规概率模态语义与Kripke语义的关系
6 例子
https://blog.sciencenet.cn/blog-468147-541000.html
上一篇：review: Seal演算的偶图语义
下一篇：review: 基于UML的软硬件协同设计的模型分析方法
扫一扫，分享此博文