【摘要】：經(jīng)典命題演算形式系統(tǒng)(CPC)中的公式只是一些形式符號,這些形式符號的意義是由具體的解釋給出的.概率邏輯是在標(biāo)準(zhǔn)概率空間上建立的一種邏輯體系,是CPC的隨機事件語義,對聯(lián)結(jié)詞的解釋就是集合運算,對形式公式的解釋就是事件函數(shù),對邏輯蘊涵和邏輯等價的解釋就是事件(集合)包含和事件相等=.由于不存在處處適用的真值函數(shù)(算子),概率邏輯不能在CPC內(nèi)實現(xiàn)概率演算,但可在CPC內(nèi)實現(xiàn)事件演算,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.
【作者單位】： 北京科技大學(xué)信息工程學(xué)院;
【基金】：國家自然科學(xué)基金項目(60873002,60573014)資助
【分類號】：O141.1

【共引文獻】

相關(guān)期刊論文 前10條

1 江亞東,丁麗萍,夏克儉,李恪,陳因頎;基于小波神經(jīng)網(wǎng)絡(luò)的混沌模式提取[J];北京科技大學(xué)學(xué)報;2001年05期

2 江亞東,吳竹青,陳因頎,江月;一種基于小波網(wǎng)絡(luò)的混沌時間序列判定[J];北京科技大學(xué)學(xué)報;2002年03期

3 楊炳儒,周穎;知識發(fā)現(xiàn)系統(tǒng)內(nèi)在機理[J];北京科技大學(xué)學(xué)報;2002年03期

4 游福成,楊炳儒,馬文秀;多智能體技術(shù)在基于雙庫協(xié)同機制的知識發(fā)現(xiàn)KDD~*模型設(shè)計中的應(yīng)用[J];北京科技大學(xué)學(xué)報;2003年01期

5 王郁昕;互逆主義邏輯基礎(chǔ)[J];北京聯(lián)合大學(xué)學(xué)報;2005年02期

6 蘇忍鎖;蘊涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2004年02期

7 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅰ)——模糊蘊涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2003年05期

8 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年02期

9 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊涵算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年04期

10 尤飛,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅳ)——模糊蘊涵算子的對偶算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年05期

相關(guān)會議論文 前7條

1 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 巴亮;林俐;郭亞成;沈輝;;地區(qū)電網(wǎng)繼電保護運行決策專家系統(tǒng)知識結(jié)構(gòu)化表示方法研究[A];2006電力系統(tǒng)自動化學(xué)術(shù)交流研討大會論文集[C];2006年

相關(guān)博士學(xué)位論文 前10條

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學(xué);2001年

2 張學(xué)慶;測井屬性的地震測井智能聯(lián)合反演[D];成都理工大學(xué);2002年

3 李志偉;偏序集上的蘊涵代數(shù)[D];首都師范大學(xué);2002年

4 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學(xué);2002年

5 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學(xué);2002年

6 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動推理理論及方法的研究[D];西南交通大學(xué);2002年

7 杜一平;化學(xué)數(shù)據(jù)挖掘新算法和定量構(gòu)性關(guān)系基礎(chǔ)研究[D];湖南大學(xué);2002年

8 吳海橋;現(xiàn)代大型客機故障診斷專家系統(tǒng)的研究與開發(fā)[D];南京航空航天大學(xué);2002年

9 湯永川;關(guān)于不確定性推理理論與知識發(fā)現(xiàn)的研究[D];西南交通大學(xué);2002年

10 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動推理方法的研究[D];西南交通大學(xué);2002年

相關(guān)碩士學(xué)位論文 前10條

1 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學(xué);2001年

2 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

3 張祥偉;現(xiàn)代飛機排故專家系統(tǒng)的設(shè)計與實現(xiàn)[D];南京航空航天大學(xué);2002年

4 劉震宇;粗糙集約簡算法在知識發(fā)現(xiàn)中的研究與應(yīng)用[D];西安電子科技大學(xué);2002年

5 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

6 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

7 劉燕;儲糧昆蟲圖像模式識別研究[D];成都理工大學(xué);2002年

8 舒思齊;框架結(jié)構(gòu)建筑物控制爆破拆除專家系統(tǒng)[D];武漢科技大學(xué);2002年

9 吳志華;基于知識發(fā)現(xiàn)的時序數(shù)據(jù)挖掘算法研究[D];華北工學(xué)院;2002年

10 王武龍;基于遺傳算法的聚類數(shù)據(jù)挖掘及其在銷售系統(tǒng)中的應(yīng)用[D];大連鐵道學(xué)院;2002年

【二級參考文獻】

相關(guān)期刊論文 前1條

1 呂建平,趙樹薌;一種非真值函數(shù)性模糊邏輯[J];微電子學(xué)與計算機;2004年10期

，

本文編號：2286734