概率命题逻辑是经典命题演算形式系统的随机事件语义

• 作者: 刘宏岚 杨炳儒 高庆狮
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 经典命题演算形式系统 概率命题逻辑 概率空间 布尔代数 同态
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 人工智能研究与其它
• 页码范围: 978-982
• 分类号: TP18
• 字数: 7304字
• 语种: 中文

摘要

经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含()和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨炳儒	北京科技大学信息工程学院	319	4361	32.0	49.0
2	高庆狮	北京科技大学信息工程学院	20	100	4.0	9.0
3	刘宏岚	北京科技大学信息工程学院	10	16	3.0	3.0