本文關(guān)鍵詞：二值命題邏輯系統(tǒng)的不可靠度及F度累積定理

  更多相關(guān)文章： 二值命題邏輯系統(tǒng) 有效推理 概率 隨機真度 F度

【摘要】：本研究在二值命題邏輯系統(tǒng)中提出了與隨機真度相對應(yīng)的F度,根據(jù)演繹定理證明了F度累積定理,即有效推理結(jié)論的F度不超過其各前提的F度之和,從而通過F度累積定理給出了推理前提與結(jié)論的真度關(guān)系。最后把F度累積定理與概率邏輯學(xué)不可靠度累積定理作比較,說明了F度累積定理與不可靠度累積定理是兩種不同的表現(xiàn)形式。
【作者單位】： 延安大學(xué)數(shù)學(xué)與計算機科學(xué)學(xué)院;
【基金】：陜西省教育廳專項基金資助項目(11JK0481) 延安大學(xué)自然科學(xué)專項基金資助項目(YDZ2012-05) 陜西省高水平大學(xué)建設(shè)專項基金資助項目(2012SXTS06) 國家大學(xué)生創(chuàng)新訓(xùn)練計劃資助項目
【分類號】：O141.1
【正文快照】： 0引言演繹邏輯[1-14]關(guān)心的是從已知事實(即前提)得出的推理,如果前提為真,則結(jié)論必然為真。這有其合理性,但卻忽略了前提不完全為真的情形,當(dāng)然此時結(jié)論也不完全為真。該種情形下,即使各前提有很小的失真,也可能導(dǎo)致結(jié)論的很大誤差。已經(jīng)有很多關(guān)于前提與結(jié)論間誤差累積方面

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前7條

1 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報;2006年02期

2 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

3 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學(xué)E輯:信息科學(xué);2005年06期

4 惠小靜;王國俊;;經(jīng)典推理模式的隨機化研究及其應(yīng)用[J];中國科學(xué)(E輯:信息科學(xué));2007年06期

5 劉華文;區(qū)間值直覺Fuzzy度量空間及其完備性[J];山東大學(xué)學(xué)報(理學(xué)版);2003年03期

6 劉華文;Vague集之間的相似度量及其在模式識別中的應(yīng)用[J];山東大學(xué)學(xué)報(工學(xué)版);2004年01期

7 惠小靜;;概率邏輯學(xué)基本定理在多值命題邏輯系統(tǒng)中的推廣[J];應(yīng)用數(shù)學(xué)學(xué)報;2011年02期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報;2009年06期

2 段景瑤;王國俊;;Boole代數(shù)的等價刻畫[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2007年03期

3 陳紅;章渺;王龍飛;趙禹喬;;高等級公路路段交通狀態(tài)融合識別模型[J];重慶交通大學(xué)學(xué)報(自然科學(xué)版);2010年05期

4 王廷明;;二值命題邏輯中的蘊涵度量與近似推理[J];重慶師范大學(xué)學(xué)報(自然科學(xué)版);2009年03期

5 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價關(guān)系及其應(yīng)用[J];東北師大學(xué)報(自然科學(xué)版);2012年02期

6 張小紅;祝峰;;Rough邏輯系統(tǒng)RSL與模糊邏輯系統(tǒng)Luk[J];電子科技大學(xué)學(xué)報;2011年02期

7 盧延鑫;;謂詞邏輯在關(guān)系數(shù)據(jù)庫中的應(yīng)用[J];電腦知識與技術(shù)(學(xué)術(shù)交流);2007年17期

8 王廷明;;二值命題邏輯中Г-的蘊涵距離和近似推理[J];德州學(xué)院學(xué)報;2008年06期

9 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對真度的理論研究[J];德州學(xué)院學(xué)報;2009年04期

10 王廷明;;二值命題邏輯中有限理論的相對偏差及其應(yīng)用[J];德州學(xué)院學(xué)報;2010年02期

中國重要會議論文全文數(shù)據(jù)庫 前5條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國智能計算大會論文集[C];2007年

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

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

4 惠小靜;;關(guān)于命題獨立性的一點注記[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學(xué);2011年

2 胡明娣;邏輯度量空間的內(nèi)蘊結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

3 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

4 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

5 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

6 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年

7 俞峰;基于直覺區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

8 吳茂念;基于分離的信念更新研究[D];貴州大學(xué);2008年

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

10 劉學(xué)生;基于粗集的不確定多屬性決策排序法的研究[D];大連理工大學(xué);2009年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 許筱婷;基于本體論的知識表達(dá)[D];湘潭大學(xué);2010年

2 張保壘;表列演算探究[D];華東師范大學(xué);2011年

3 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

4 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

5 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

6 李蘇妮;加權(quán)Moore機的同余與格值Moore機的約化[D];陜西師范大學(xué);2011年

7 王志明;WBR_0代數(shù)的研究[D];陜西師范大學(xué);2011年

8 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

9 張金鳳;R_0代數(shù)的兩類特殊元及其應(yīng)用[D];陜西師范大學(xué);2011年

10 劉杰;正則剩余格上的模糊理想基的研究[D];陜西師范大學(xué);2011年

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

中國期刊全文數(shù)據(jù)庫 前10條

1 王國俊;惠小靜;;概率邏輯學(xué)基本定理的推廣[J];電子學(xué)報;2007年07期

2 王國俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報;2003年03期

3 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

4 王國俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國科學(xué)(A輯);2001年11期

5 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學(xué)E輯:技術(shù)科學(xué);1998年02期

6 王國俊;模糊推理的全蘊涵三I算法[J];中國科學(xué)E輯:技術(shù)科學(xué);1999年01期

7 裴道武,王國俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年01期

8 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年02期

9 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年02期

10 裴道武,王國俊;形式系統(tǒng)L~*的擴張L_n~*及其完備性[J];中國科學(xué)E輯:技術(shù)科學(xué);2003年04期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 何濟洲;人口的增長過程[J];南昌大學(xué)學(xué)報(工科版);1990年04期

2 胡亞輝;;Buffon投針問題的推廣[J];紡織高�；A(chǔ)科學(xué)學(xué)報;1992年03期

3 凌樹森;試驗數(shù)據(jù)的統(tǒng)計處理和誤差分析 第一講 概率論的基本概念[J];理化檢驗.物理分冊;2001年01期

4 張強,熊碩;一道概率計算題帶來的思考[J];生物學(xué)教學(xué);2004年01期

5 李鳳敏,李前忠;蛋白質(zhì)亞細(xì)胞定位的序列分析[J];內(nèi)蒙古大學(xué)學(xué)報(自然科學(xué)版);2005年01期

6 盧軍;張知難;;Lanczos過程可行性的研究[J];浙江理工大學(xué)學(xué)報;2005年04期

7 梁永光;;出口電器質(zhì)量目標(biāo)可實現(xiàn)概率初探[J];電子質(zhì)量;2006年05期

8 劉鳳霞;;關(guān)于一個比賽問題的討論和推廣[J];渤海大學(xué)學(xué)報(自然科學(xué)版);2008年01期

9 王凱;;基于概率與貪婪算法的商品在線租賃業(yè)務(wù)模型及應(yīng)用[J];韶關(guān)學(xué)院學(xué)報;2008年03期

10 馬雅男;張成恩;吳潤衡;;上證指數(shù)收益率的極值研究[J];數(shù)學(xué)的實踐與認(rèn)識;2008年11期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 伍淑瑜;梁美嬋;;三水近52年暴雨頻數(shù)的統(tǒng)計分析[A];第26屆中國氣象學(xué)會年會災(zāi)害天氣事件的預(yù)警、預(yù)報及防災(zāi)減災(zāi)分會場論文集[C];2009年

2 董杏燕;曹艷艷;;寧波市雷暴、強對流天氣潛勢概率預(yù)報[A];第26屆中國氣象學(xué)會年會災(zāi)害天氣事件的預(yù)警、預(yù)報及防災(zāi)減災(zāi)分會場論文集[C];2009年

3 顧曉琳;胡培亮;宋文濤;;多媒體DS-CDMA系統(tǒng)話音視頻業(yè)務(wù)性能分析[A];2002海峽兩岸三地?zé)o線科技研討會論文集[C];2002年

4 劉德朋;孫啟美;;一種變異概率的遺傳算法[A];第六屆中國青年運籌與管理學(xué)者大會論文集[C];2004年

5 趙希人;彭秀艷;尹中鳳;;船舶橫向運動姿態(tài)及受擾卡爾曼估計的魯棒性能概率建模[A];第三屆全國信息獲取與處理學(xué)術(shù)會議論文集[C];2005年

6 齊琳;李慧;陳英和;;雙獎勵模型中兒童期望值判斷的發(fā)展特點[A];第十一屆全國心理學(xué)學(xué)術(shù)會議論文摘要集[C];2007年

7 岳治國;王利民;李晶;唐永順;;德爾菲法在工業(yè)園區(qū)環(huán)境風(fēng)險評價中的應(yīng)用[A];2008中國環(huán)境科學(xué)學(xué)會學(xué)術(shù)年會優(yōu)秀論文集（下卷）[C];2008年

8 連傳杰;吳戈;;走向長壁開采時水平移動規(guī)律的新研究[A];水電與礦業(yè)工程中的巖石力學(xué)問題——中國北方巖石力學(xué)與工程應(yīng)用學(xué)術(shù)會議文集[C];1991年

9 范建朋;王炳乾;林皋;;爆破地震動強度估計[A];巖石破碎理論與實踐——全國第五屆巖石破碎學(xué)術(shù)會論文選集[C];1992年

10 浦良;趙利民;王智森;;移動無線通信中的信道估計[A];2009通信理論與技術(shù)新發(fā)展——第十四屆全國青年通信學(xué)術(shù)會議論文集[C];2009年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 劉 杰;中旬發(fā)動行情概率加大[N];證券日報;2003年

2 證券時報記者 巖雪;CPI溫和上揚 近期加息概率不大[N];證券時報;2010年

3 本報記者 林銘銘;近三月獲利概率90% 市場為“鋰”瘋狂[N];21世紀(jì)經(jīng)濟報道;2010年

4 長江期貨 高華;LLDPE繼續(xù)走強概率大[N];中國證券報;2010年

5 渤海證券 徐華;央行大幅降息概率增大[N];證券時報;2008年

6 西部證券 張煒玲;近期市場蓄勢整理概率較大[N];上海證券報;2009年

7 記者 張忠安;市場短期回調(diào)概率加大[N];廣州日報;2009年

8 周國鎮(zhèn);故事中的數(shù)學(xué)之美[N];中華讀書報;2005年

9 九鼎德盛 肖玉航;“黃昏之星”概率較大[N];證券日報;2006年

10 西南證券 張剛;下周K線收陰概率增大[N];中國證券報;2006年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 于忠義;人類早期不確定性推斷思想研究[D];天津財經(jīng)學(xué)院;2004年

2 張偉強;法律制度的信息費用問題[D];山東大學(xué);2010年

3 弓樹宏;電磁波在對流層中傳輸與散射若干問題研究[D];西安電子科技大學(xué);2008年

4 胡藝;基于空間模型的小概率地理健康事件生態(tài)學(xué)研究[D];中國地質(zhì)大學(xué)（北京）;2012年

5 唐立;Dirichlet問題的概率數(shù)值方法[D];中南大學(xué);2003年

6 鄧慧瓊;電網(wǎng)連鎖故障預(yù)測分析方法及其應(yīng)用研究[D];華北電力大學(xué)（北京）;2007年

7 葛根;矩形薄板振動的隨機分岔和可靠性研究[D];天津大學(xué);2009年

8 李生虎;組合電力系統(tǒng)安全性的概率建模[D];合肥工業(yè)大學(xué);2003年

9 鄔云龍;川西地區(qū)天然氣管線失效分析技術(shù)研究[D];西南石油學(xué)院;2004年

10 巴賽（Basil Tito Iro Ong'or）;濟寧市地下水過量開采修復(fù)措施及風(fēng)險評價方法研究[D];河海大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 楊帆;共享網(wǎng)絡(luò)中的實時任務(wù)可執(zhí)行概率研究[D];國防科學(xué)技術(shù)大學(xué);2011年

2 潘沁;卡爾納普概率確證理論探討[D];華中師范大學(xué);2003年

3 王宗堯;基于蛋白質(zhì)網(wǎng)絡(luò)的人類遺傳致病基因預(yù)測算法研究[D];哈爾濱工業(yè)大學(xué);2010年

4 蘇晨;推廣的G-期望的表示[D];山東大學(xué);2010年

5 倪陽詠;概率損傷容限及其可靠性方法研究[D];西北工業(yè)大學(xué);2005年

6 谷琛;基于分形理論的絕緣介質(zhì)中放電仿真研究[D];中國科學(xué)院研究生院（電工研究所）;2006年

7 陳安濤;歸納推理多樣性效應(yīng)前提概率原則的實驗研究[D];西南師范大學(xué);2003年

8 姜峰;在概率閾值準(zhǔn)則下的馬爾可夫策略的兩種算法[D];華東師范大學(xué);2002年

9 楊端如;普通話水平測試的語言概率研究[D];云南師范大學(xué);2003年

10 吳惠紅;中學(xué)生對概率值的理解[D];華東師范大學(xué);2004年

，

本文編號：1165683