-
题名概率命题逻辑是经典命题演算形式系统的随机事件语义
被引量：1
- 1
-
-
作者
刘宏岚
高庆狮
杨炳儒
-
机构
北京科技大学信息工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第5期978-982,共5页
-
基金
国家自然科学基金项目(60873002
60573014)资助
-
文摘
经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.
-
关键词
经典命题演算形式系统
概率命题逻辑
概率空间
布尔代数
同态
-
Keywords
CPC
probabilistic propositional logic
probabilistic space
Boolean algebra
homomorphism
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名集合代数是经典命题演算形式系统的语义解释
- 2
-
-
作者
刘宏岚
高庆狮
杨炳儒
-
机构
北京科技大学信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2010年第9期194-197,共4页
-
基金
国家自然科学基金(60873002)资助
-
文摘
经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释。集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵、逻辑等价的解释就是集合包含和集合相等=。标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用。CPC完全适用于概率命题演算。
-
关键词
经典命题演算形式系统
概率命题逻辑
概率空间
集合代数
同态
-
Keywords
CPC
Probabilistic propositional logic
Probabilistic space
Set algebra
Homomorphism
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
