發(fā)布時間：2017-09-20 00:08

  本文關(guān)鍵詞：概率邏輯學(xué)基本定理在多值命題邏輯系統(tǒng)中的推廣

  更多相關(guān)文章： 概率邏輯學(xué)基本定理 概率 不可靠度 計量邏輯學(xué) 度量空間

【摘要】：通過引入概率測度空間,在n值Lukasiewicz命題邏輯系統(tǒng)中提出了滿足Kolmogorov公理的命題公式的概率;證明了概率邏輯學(xué)基本定理,并將概率邏輯學(xué)基本定理推廣到了更一般的形式,改進(jìn)了對推理結(jié)論的不可靠度上界的估計;將概率邏輯學(xué)的基本方法引入計量邏輯學(xué),建立了更一般的邏輯度量空間;通過概率邏輯學(xué)基本定理,證明了邏輯度量空間中概率MP,HS規(guī)則,它是真度MP,HS規(guī)則的推廣.
【作者單位】： 延安大學(xué)數(shù)學(xué)與計算機(jī)科學(xué)學(xué)院;
【關(guān)鍵詞】： 概率邏輯學(xué)基本定理 概率 不可靠度 計量邏輯學(xué) 度量空間
【基金】：國家自然科學(xué)基金(10771129) 陜西省自然科學(xué)基金(2010JQ1005)資助項目
【分類號】：O141.1
【正文快照】： 命題邏輯中最基本的推理模式為{Al，，…，AT。}卜A*，從語法的角度看，它表明Al一(灰升…科(A二弓A*)…是定理，而從語義的角度看，它表明如果任一賦值v使前提Al，…，A二都為真，則:也使結(jié)論A*為真.以下稱這種推理為有效推理，并且把它記為‘。{Al，…，A。}…A*”.概率邏輯

【參考文獻(xiàn)】

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

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

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

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

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

5 彭家寅,侯健,李洪興;基于某些常見蘊(yùn)涵算子的反向三I算法[J];自然科學(xué)進(jìn)展;2005年04期

【共引文獻(xiàn)】

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

1 馬征杰;大學(xué)生思想品德定量評價體系設(shè)計與程序[J];安康師專學(xué)報;2001年04期

2 鄭亞林,海煥智,白永成;3I方案下的Fuzzy推理算法[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2001年02期

3 鄭亞林,黃德隆,郭健;Fuzzy推理的Mamdani算法[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2001年03期

4 鄭亞林;Fuzzy推理的各種模型算法[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2002年01期

5 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(自然科學(xué)版);2003年01期

6 孫長銀,宋士吉,費(fèi)樹岷,馮純伯;模糊推理三I方法的R_L型約束度分析[J];東南大學(xué)學(xué)報(自然科學(xué)版);2000年06期

7 馬盈倉,李駿;FMP和FMT的三I解及其性質(zhì)[J];紡織高�；A(chǔ)科學(xué)學(xué)報;2005年02期

8 胡明娣;王國俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高校基礎(chǔ)科學(xué)學(xué)報;2006年03期

9 王國俊;關(guān)于模糊推理的若干基本問題[J];工程數(shù)學(xué)學(xué)報;2000年S1期

10 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

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

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

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

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

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

5 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動推理的研究[D];西南交通大學(xué);2002年

6 李海明;關(guān)于格值邏輯及自動推理的研究[D];西南交通大學(xué);2003年

7 王學(xué)芳;基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學(xué);2004年

8 尤飛;模糊蘊(yùn)涵算子及其構(gòu)造的模糊控制系統(tǒng)的響應(yīng)能力分析[D];北京師范大學(xué);2005年

9 劉華文;直覺模糊與區(qū)間值模糊環(huán)境下的多準(zhǔn)則決策與推理算法[D];山東大學(xué);2005年

10 姜保慶;關(guān)于弱比例規(guī)則的挖掘及推理研究[D];西南交通大學(xué);2005年

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

1 徐章艷;基于Vague集的近似推理[D];廣西師范大學(xué);2000年

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

3 孟丹;基于事例推理的檢索與推理模型研究[D];遼寧師范大學(xué);2001年

4 高小軍;模糊推理的新算法及基于模糊小波網(wǎng)絡(luò)的自適應(yīng)控制[D];西安電子科技大學(xué);2002年

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

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

7 張振華;粗集理論及其在數(shù)據(jù)預(yù)處理過程中的應(yīng)用[D];昆明理工大學(xué);2002年

8 楊曉煒;基于拓?fù)渥儞Q的模糊推理研究[D];西南交通大學(xué);2003年

9 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

10 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

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

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

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

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

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

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

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

6 李洪興;模糊控制的插值機(jī)理[J];中國科學(xué)E輯;1998年03期

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

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

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

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

【相似文獻(xiàn)】

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

1 李靜輝;康銳;Ali Mosleh;;可靠性靈敏度分析的一種偏倚蒙特卡羅方法[J];北京航空航天大學(xué)學(xué)報;2011年06期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 官振中;陳旭;;損失規(guī)避偏好下不可靠供貨的易逝品訂貨策略[A];中國災(zāi)害防御協(xié)會風(fēng)險分析專業(yè)委員會第二屆年會論文集（二）[C];2006年

2 吳啟光;呂建華;;正態(tài)分布下產(chǎn)品可靠性抽樣檢驗方案——方差未知綜合雙側(cè)情形[A];第三屆電子產(chǎn)品可靠性與環(huán)境試驗技術(shù)經(jīng)驗交流會論文集[C];2001年

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

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

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

1 嚴(yán)惠云;Bayes理論在二項分布可靠性分析中的應(yīng)用[D];西北工業(yè)大學(xué);2007年

2 楊軍;裝備可靠性試驗分析與評價軟件的設(shè)計與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2008年

3 熊瑋;點不可靠多項式及交錯群圖的限制性連通度[D];新疆大學(xué);2010年

4 馮秀偉;串并聯(lián)系統(tǒng)模糊可靠性研究[D];重慶大學(xué);2012年

本文編號：884720