本文選題：概率邏輯　切入點(diǎn)：二值邏輯　出處：《北京科技大學(xué)學(xué)報(bào)》2008年09期

【摘要】：原子命題是數(shù)理邏輯研究的基本單位.分析了原子命題的相關(guān)性與邏輯運(yùn)算之間的關(guān)系.在經(jīng)典二值邏輯中,命題邏輯運(yùn)算結(jié)果的真值只與參與運(yùn)算的命題的真值有關(guān),而與命題的具體內(nèi)容無(wú)關(guān);在概率邏輯中,命題邏輯運(yùn)算由命題的關(guān)系決定,真值相同的不同命題,邏輯運(yùn)算結(jié)果不一定相同.定義了與經(jīng)典二值邏輯相容的蘊(yùn)涵聯(lián)結(jié)詞,克服了條件概率不能用于推理的缺點(diǎn).
[Abstract]:Atomic proposition is the basic unit in the study of mathematical logic. The relationship between the correlation of atomic proposition and logical operation is analyzed. In classical binary logic, the true value of the result of propositional logic operation is only related to the true value of the proposition participating in the operation. In probabilistic logic, the operation of propositional logic is determined by the relation of propositions, and different propositions with the same true value do not necessarily have the same results. It overcomes the shortcoming that conditional probability can not be used in reasoning.
【作者單位】： 北京科技大學(xué)信息工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(No.60573014) 國(guó)家高技術(shù)研究發(fā)展計(jì)劃資助項(xiàng)目(No.2006AA01z140)
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

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

1 王萬(wàn)森,何華燦;基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究[J];軟件學(xué)報(bào);2005年05期

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

【共引文獻(xiàn)】

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

1 趙鳴;孫磊;趙鴻;;既有玻璃幕墻的結(jié)構(gòu)安全性模糊綜合評(píng)判(Ⅱ)[J];四川建筑科學(xué)研究;2008年06期

2 李懷赫;李明濱;;利用有限元分析蠶種催青室溫度靜態(tài)誤差[J];安徽農(nóng)學(xué)通報(bào);2006年04期

3 李大林;陳一帆;蔡潤(rùn);;多性狀群體信息熵混雜遞增鏈與混雜指數(shù)的應(yīng)用[J];安徽農(nóng)業(yè)科學(xué);2008年13期

4 張濤;;提高離散數(shù)學(xué)課程學(xué)習(xí)興趣的教學(xué)改革探討[J];安徽工業(yè)大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2012年01期

5 何如海;葉依廣;;基于模糊理論的城市交通生態(tài)環(huán)境綜合評(píng)價(jià)模型研究[J];安徽農(nóng)業(yè)大學(xué)學(xué)報(bào);2006年03期

6 王萍;王學(xué)峰;吳谷豐;;高職畢業(yè)生綜合素質(zhì)變權(quán)評(píng)價(jià)與模糊變權(quán)評(píng)價(jià)[J];鞍山科技大學(xué)學(xué)報(bào);2007年06期

7 王巍;姚家奕;;基于物流網(wǎng)絡(luò)布局與設(shè)施選址動(dòng)態(tài)因素的神經(jīng)網(wǎng)絡(luò)——遺傳算法的研究[J];北京交通大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年03期

8 杜萬(wàn)里;毛明;胡立臣;賈爽;;KBE技術(shù)在弧齒錐齒輪設(shè)計(jì)計(jì)算中的應(yīng)用[J];車輛與動(dòng)力技術(shù);2010年01期

9 張毅;;基于重要度劃分的設(shè)備維修方式?jīng)Q策[J];兵工自動(dòng)化;2005年06期

10 李贛湘,楊成梧;多傳感器信息融合的模糊神經(jīng)Petri網(wǎng)模型[J];兵工學(xué)報(bào);1998年03期

相關(guān)會(huì)議論文 前10條

1 朱琳;;聲納系統(tǒng)設(shè)計(jì)與調(diào)試中圖論方法研究[A];2011'中國(guó)西部聲學(xué)學(xué)術(shù)交流會(huì)論文集[C];2011年

2 張學(xué)勇;孟繼儒;李德清;;多屬性決策區(qū)間數(shù)模型的優(yōu)化[A];中國(guó)運(yùn)籌學(xué)會(huì)第九屆學(xué)術(shù)交流會(huì)論文集[C];2008年

3 韓俊玲;黃崇福;趙思健;;一種基于詞語(yǔ)計(jì)算的高層建筑火災(zāi)危險(xiǎn)性評(píng)估方法[A];“中國(guó)視角的風(fēng)險(xiǎn)分析和危機(jī)反應(yīng)”——中國(guó)災(zāi)害防御協(xié)會(huì)風(fēng)險(xiǎn)分析專業(yè)委員會(huì)第四屆年會(huì)論文集[C];2010年

4 李志;邵哲平;鄒開(kāi)其;;綜合評(píng)判的神經(jīng)網(wǎng)絡(luò)實(shí)現(xiàn)[A];1999年中國(guó)神經(jīng)網(wǎng)絡(luò)與信號(hào)處理學(xué)術(shù)會(huì)議論文集[C];1999年

5 孫兆豪;李昂;劉坤起;解建軍;;論代數(shù)、邏輯和智能系統(tǒng)之間的對(duì)應(yīng)關(guān)系[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

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

7 黃靜莉;王常明;王鋼城;張成杰;;模糊綜合評(píng)判法在冰湖潰決危險(xiǎn)度劃分中的應(yīng)用——以西藏自治區(qū)洛扎縣為例[A];中國(guó)地質(zhì)學(xué)會(huì)工程地質(zhì)專業(yè)委員會(huì)、貴州省巖石力學(xué)與工程學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨“巖溶·工程·環(huán)境”學(xué)術(shù)論壇論文集[C];2005年

8 田池;呂培印;;深基坑支護(hù)方案的多目標(biāo)模糊優(yōu)選決策研究[A];新世紀(jì)巖石力學(xué)與工程的開(kāi)拓和發(fā)展——中國(guó)巖石力學(xué)與工程學(xué)會(huì)第六次學(xué)術(shù)大會(huì)論文集[C];2000年

9 周科平;;地下礦山工程穩(wěn)定性分類的自適應(yīng)模擬退火聚類分析模型[A];新世紀(jì)巖石力學(xué)與工程的開(kāi)拓和發(fā)展——中國(guó)巖石力學(xué)與工程學(xué)會(huì)第六次學(xué)術(shù)大會(huì)論文集[C];2000年

10 李小慶;周智多;馬玉書;;模糊綜合評(píng)判開(kāi)發(fā)工具的設(shè)計(jì)和實(shí)現(xiàn)[A];第十九屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2002年

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

1 周子冠;電網(wǎng)多數(shù)據(jù)源在線診斷方法研究[D];中國(guó)電力科學(xué)研究院;2010年

2 王志建;基于動(dòng)態(tài)GPS信息的誘導(dǎo)平臺(tái)關(guān)鍵技術(shù)研究[D];吉林大學(xué);2011年

3 沈利娜;廣西果化石漠化監(jiān)測(cè)區(qū)巖溶生態(tài)環(huán)境系統(tǒng)安全評(píng)價(jià)[D];中國(guó)地質(zhì)科學(xué)院;2011年

4 陳廣泉;認(rèn)知異構(gòu)無(wú)線網(wǎng)絡(luò)若干關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

5 賴家俊;基于語(yǔ)言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

6 江海峰;無(wú)線傳感器網(wǎng)絡(luò)能量?jī)?yōu)化路由算法研究[D];中國(guó)礦業(yè)大學(xué);2010年

7 萬(wàn)毅;黃河梯級(jí)水庫(kù)水電沙一體化調(diào)度研究[D];天津大學(xué);2008年

8 陳偉強(qiáng);基于GIS的煙草施肥決策支持系統(tǒng)研究[D];解放軍信息工程大學(xué);2009年

9 孔令東;基于模糊Petri網(wǎng)的瓦斯突出空間預(yù)測(cè)模型研究[D];中國(guó)礦業(yè)大學(xué);2011年

10 李定啟;煤與瓦斯突出礦井瓦斯治理現(xiàn)狀評(píng)價(jià)方法及應(yīng)用[D];中國(guó)礦業(yè)大學(xué);2011年

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

1 焉杰;多傳感器時(shí)滯系統(tǒng)信息融合及其仿真[D];山東科技大學(xué);2010年

2 李文君;氣墊船模擬器教練員系統(tǒng)開(kāi)發(fā)研究[D];哈爾濱工程大學(xué);2010年

3 王岱榮;空間多級(jí)倒立擺控制系統(tǒng)研究[D];大連理工大學(xué);2010年

4 張志成;太陽(yáng)能空氣采暖系統(tǒng)變流量運(yùn)行策略優(yōu)化方法研究[D];大連理工大學(xué);2010年

5 賀麗;基于改進(jìn)ART2網(wǎng)絡(luò)的變壓器故障診斷方法[D];長(zhǎng)沙理工大學(xué);2010年

6 史大運(yùn);膠州灣適航資源分析及航道通航環(huán)境安全綜合評(píng)價(jià)[D];中國(guó)海洋大學(xué);2010年

7 鐘曉旭;基于Web招聘信息的文本挖掘系統(tǒng)研究[D];合肥工業(yè)大學(xué);2010年

8 張家華;基于嵌入式系統(tǒng)的故障診斷系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];沈陽(yáng)理工大學(xué);2010年

9 張微;多Agent在供應(yīng)鏈銷售系統(tǒng)中應(yīng)用[D];河北工程大學(xué);2010年

10 龍敏;寒冷地區(qū)居住建筑節(jié)能評(píng)價(jià)研究[D];江西理工大學(xué);2010年

【二級(jí)參考文獻(xiàn)】

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

1 程曉春;;基于格值邏輯比較概率邏輯和模糊邏輯[J];模式識(shí)別與人工智能;1997年02期

2 王保保，，呂建平，趙樹(shù)薌;模糊集合的測(cè)度運(yùn)算[J];西安電子科技大學(xué)學(xué)報(bào);1996年02期

【相似文獻(xiàn)】

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

1 譚軍;實(shí)數(shù)的級(jí)數(shù)表示在集合論中的一個(gè)應(yīng)用[J];漳州師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2004年02期

2 袁東錦;馬國(guó)治;;關(guān)于n×m布爾矩陣的廣義逆及其求法[J];揚(yáng)州大學(xué)學(xué)報(bào)(自然科學(xué)版);1989年03期

3 林山;一種求連通圖樹(shù)的集合的方法[J];電氣電子教學(xué)學(xué)報(bào);1997年04期

4 王仲建;集合論方法淺析[J];陜西教育學(xué)院學(xué)報(bào);1997年02期

5 汪青云;ISM方法的軟件開(kāi)發(fā)及其在教學(xué)設(shè)計(jì)中的應(yīng)用[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年03期

6 張大慶;解答連續(xù)統(tǒng)猜想[J];西安聯(lián)合大學(xué)學(xué)報(bào);2003年02期

7 鐘裕林;;大衛(wèi)星恒等式的組合證明[J];高等數(shù)學(xué)研究;2007年04期

8 毛一波;;數(shù)集確界的性質(zhì)[J];重慶文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2008年01期

9 陳飛燕;;集合上的正合列[J];茂名學(xué)院學(xué)報(bào);2008年01期

10 翟淑光;鄧曉新;陳新宇;;3ds max動(dòng)力學(xué)動(dòng)畫制作要點(diǎn)[J];遼寧師專學(xué)報(bào)(自然科學(xué)版);2008年01期

相關(guān)會(huì)議論文 前10條

1 高敏英;許成謙;郭方;王揚(yáng)志;;非等周期ZCZ序列偶集合及其譜特性[A];無(wú)線傳感器網(wǎng)及網(wǎng)絡(luò)信息處理技術(shù)——2006年通信理論與信號(hào)處理年會(huì)論文集[C];2006年

2 向堅(jiān);俞堅(jiān);葉綠;;一種高效的大規(guī)模RFID數(shù)據(jù)集合清理方法[A];第六屆全國(guó)信息獲取與處理學(xué)術(shù)會(huì)議論文集（3）[C];2008年

3 張義生;;判斷預(yù)設(shè)的三值處理[A];2000年邏輯研究專輯[C];2000年

4 倪驊;李照國(guó);;生產(chǎn)排程的混合集合規(guī)劃算法[A];中國(guó)企業(yè)運(yùn)籌學(xué)[2010(1)][C];2010年

5 童小東;龔曉南;姚恩瑜;;關(guān)于在應(yīng)變空間中屈服面與其內(nèi)部所構(gòu)成的集合為凸集的證明[A];第七屆全國(guó)結(jié)構(gòu)工程學(xué)術(shù)會(huì)議論文集（第Ⅰ卷）[C];1998年

6 龐善起;秦克云;趙希順;王雪生;;模糊邏輯與二值邏輯[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

7 王迎軍;;系統(tǒng)行為理論的基本框架綜述[A];1998中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1998年

8 張學(xué)立;;從邏輯哲學(xué)的觀點(diǎn)看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

9 陳章武;黎詣遠(yuǎn);;《國(guó)富論》 《獨(dú)立宣言》230周年感言[A];中華外國(guó)經(jīng)濟(jì)學(xué)說(shuō)研究會(huì)第十四次學(xué)術(shù)討論會(huì)論文摘要文集[C];2006年

10 徐德;諸靜;;一類截?cái)嘈逼潞瘮?shù)多值邏輯神經(jīng)元[A];面向21世紀(jì)的科技進(jìn)步與社會(huì)經(jīng)濟(jì)發(fā)展（下冊(cè)）[C];1999年

相關(guān)重要報(bào)紙文章 前10條

1 聶春林 周呈思;中小企集合債陷窘境[N];商務(wù)時(shí)報(bào);2008年

2 本報(bào)記者 楊晶;券商集合理財(cái)快速擴(kuò)容 有望帶來(lái)百億資金[N];上海證券報(bào);2009年

3 本報(bào)記者 段寅燕;大連嘗試新?lián)ＤＪ?第三只中小企業(yè)集合債月底面市[N];經(jīng)濟(jì)觀察報(bào);2009年

4 本報(bào)記者 楊晶;券商集合理財(cái)業(yè)績(jī)兩極分化[N];上海證券報(bào);2009年

5 本報(bào)記者 關(guān)耳　實(shí)習(xí)記者 王善云;青島集合擔(dān)保試水中小企集合債[N];華夏時(shí)報(bào);2009年

6 見(jiàn)習(xí)記者 鄭智;中小債謀變 集合短券9月浮出？[N];21世紀(jì)經(jīng)濟(jì)報(bào)道;2009年

7 上海愛(ài)建信托投資公司 李忠誠(chéng);集合資金信托業(yè)務(wù)健康成長(zhǎng)的八大條件[N];上海金融報(bào);2002年

8 本報(bào)記者 潘強(qiáng);集合債 破解融資難的有益嘗試[N];中國(guó)改革報(bào);2009年

9 本報(bào)記者 張春紅;大連突破中小企業(yè)集合債“困局”[N];遼寧日?qǐng)?bào);2009年

10 謝潞錦;券商集合理財(cái)計(jì)劃首次“撐傘”[N];第一財(cái)經(jīng)日?qǐng)?bào);2009年

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

1 李勇;基于條件事件代數(shù)的概率邏輯推理和概率邏輯衍推推理[D];云南大學(xué);2010年

2 張蕾;奇異值分解技術(shù)在衛(wèi)星資料反演和同化中的應(yīng)用研究[D];蘭州大學(xué);2008年

3 孫春華;不同種屬哺乳動(dòng)物眼外肌周圍結(jié)締組織結(jié)構(gòu)及功能的初步研究[D];天津醫(yī)科大學(xué);2007年

4 焦素云;基于概念格的動(dòng)態(tài)策略存取模型[D];吉林大學(xué);2011年

5 陳東輝;基于目標(biāo)函數(shù)的模糊聚類算法關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2012年

6 戴細(xì)華;多值邏輯語(yǔ)義博弈[D];中山大學(xué);2006年

7 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

8 謝偉凱;智能空間關(guān)鍵支撐技術(shù)的研究[D];清華大學(xué);2003年

9 胡勁緯;多域環(huán)境中的授權(quán)管理和授權(quán)起源研究[D];華中科技大學(xué);2010年

10 郝凡昌;有向基因組復(fù)合操作重組排序算法研究[D];山東大學(xué);2011年

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

1 王華;命題泛邏輯學(xué)的包容性研究[D];西北工業(yè)大學(xué);2004年

2 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對(duì)Γ-重言度理論[D];陜西師范大學(xué);2008年

3 金釗;基于語(yǔ)義特征的集合造型研究[D];哈爾濱理工大學(xué);2010年

4 吳博;語(yǔ)言交際中親密稱呼語(yǔ)模糊性的研究[D];河北師范大學(xué);2004年

5 許海洋;基于泛邏輯學(xué)的概率邏輯算子的研究[D];首都師范大學(xué);2006年

6 郭加安;基于泛邏輯學(xué)的概率邏輯及其算子的研究[D];首都師范大學(xué);2007年

7 閆超;中小企業(yè)集合票據(jù)融資研究[D];河北大學(xué);2011年

8 張靜;一類二項(xiàng)式和q-二項(xiàng)式系數(shù)恒等式的組合證明[D];華東師范大學(xué);2009年

9 陸靜怡;集合資產(chǎn)管理計(jì)劃在中國(guó)證券市場(chǎng)的運(yùn)作研究[D];蘇州大學(xué);2011年

10 陳志祿;“X是誰(shuí)？”和“誰(shuí)是X？”研究[D];上海師范大學(xué);2008年

本文編號(hào)：1673671