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

发布时间：2018-10-22 09:11

【摘要】：经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.
[Abstract]:The formulas in classical propositional calculus form system (CPC) are only some formal symbols, the meaning of these formal symbols is given by the concrete explanation. Probabilistic logic is a logic system established on the standard probability space. It is the semantics of random events of CPC. The interpretation of connectives is set operation, and the interpretation of formal formulas is event function. The explanation of logical implication and logical equivalence is that the event (set) contains the same as the event =. Because there is no truth function (operator) applicable everywhere, probabilistic logic can not realize probabilistic calculus in CPC, but event calculus can be realized in CPC. CPC is completely applicable to probabilistic propositional calculus.
【作者单位】： 北京科技大学信息工程学院;
【基金】：国家自然科学基金项目(60873002,60573014)资助
【分类号】：O141.1

【共引文献】

相关期刊论文 前10条

1 江亚东,丁丽萍,夏克俭,李恪,陈因颀;基于小波神经网络的混沌模式提取[J];北京科技大学学报;2001年05期

2 江亚东,吴竹青,陈因颀,江月;一种基于小波网络的混沌时间序列判定[J];北京科技大学学报;2002年03期

3 杨炳儒,周颖;知识发现系统内在机理[J];北京科技大学学报;2002年03期

4 游福成,杨炳儒,马文秀;多智能体技术在基于双库协同机制的知识发现KDD~*模型设计中的应用[J];北京科技大学学报;2003年01期

5 王郁昕;互逆主义逻辑基础[J];北京联合大学学报;2005年02期

6 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

7 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

8 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

9 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

10 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

相关会议论文 前7条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

7 巴亮;林俐;郭亚成;沈辉;;地区电网继电保护运行决策专家系统知识结构化表示方法研究[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年

相关博士学位论文 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 张学庆;测井属性的地震测井智能联合反演[D];成都理工大学;2002年

3 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

4 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

6 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

7 杜一平;化学数据挖掘新算法和定量构性关系基础研究[D];湖南大学;2002年

8 吴海桥;现代大型客机故障诊断专家系统的研究与开发[D];南京航空航天大学;2002年

9 汤永川;关于不确定性推理理论与知识发现的研究[D];西南交通大学;2002年

10 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 张祥伟;现代飞机排故专家系统的设计与实现[D];南京航空航天大学;2002年

4 刘震宇;粗糙集约简算法在知识发现中的研究与应用[D];西安电子科技大学;2002年

5 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

6 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

7 刘燕;储粮昆虫图像模式识别研究[D];成都理工大学;2002年

8 舒思齐;框架结构建筑物控制爆破拆除专家系统[D];武汉科技大学;2002年

9 吴志华;基于知识发现的时序数据挖掘算法研究[D];华北工学院;2002年

10 王武龙;基于遗传算法的聚类数据挖掘及其在销售系统中的应用[D];大连铁道学院;2002年

【二级参考文献】

相关期刊论文 前1条

1 吕建平,赵树芗;一种非真值函数性模糊逻辑[J];微电子学与计算机;2004年10期

，

本文编号：2286734