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

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

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

【參考文獻】

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

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

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

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

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

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

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

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

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

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

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

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

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

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

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

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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：1165683