本文關(guān)鍵詞：Godel n值命題邏輯中公式的隨機(jī)真度和形式推演結(jié)論的不可靠度估計

  更多相關(guān)文章： Godel n值邏輯系統(tǒng) 隨機(jī)真度 不可靠度 必要度 偽距離 近似推理

【摘要】：利用Godel n值命題邏輯賦值域上概率的無窮乘積,在Godeln值命題邏輯系統(tǒng)中引入命題公式的隨機(jī)真度和不可靠度概念。證明在Godeln值邏輯系統(tǒng)中,一個有效推理結(jié)論的不可靠度不超過各前提的不可靠度與其必要度的乘積之和。通過不可靠度在全體公式集上建立偽距離,給出基于偽距離和不可靠度的兩種近似推理模式。
【作者單位】： 湘南學(xué)院數(shù)學(xué)系;
【關(guān)鍵詞】： Godel n值邏輯系統(tǒng) 隨機(jī)真度 不可靠度 必要度 偽距離 近似推理
【基金】：湖南省重點(diǎn)建設(shè)學(xué)科項(xiàng)目 湖南省教育廳科學(xué)研究項(xiàng)目(10C1232) 湘南學(xué)院科研項(xiàng)目(08Y027)
【分類號】：O141.1
【正文快照】： 1引言數(shù)理邏輯是以符號化為特點(diǎn)的形式化理論,它注重形式推理而不注重數(shù)值計算。精確的、形式化的邏輯推理是人工智能學(xué)科及相關(guān)研究中普遍采用的方法[1],這種方法在諸如定理的自動證明[2-3]、知識推理[4]、邏輯程序設(shè)計[5]等多個領(lǐng)域得到了廣泛應(yīng)用。數(shù)值計算則似乎是遠(yuǎn)離形

【參考文獻(xiàn)】

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

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

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

3 李駿;王國俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國科學(xué)E輯;2006年06期

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

5 李駿;王國俊;;G銉del n值命題邏輯中命題的α-真度理論[J];軟件學(xué)報;2007年01期

【共引文獻(xiàn)】

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

1 程玉勝,任廣永;基于ROUGH集的決策樹測試屬性選擇方法[J];安慶師范學(xué)院學(xué)報(自然科學(xué)版);2004年04期

2 程玉勝;Rosetta實(shí)驗(yàn)系統(tǒng)在機(jī)器學(xué)習(xí)中的應(yīng)用[J];安慶師范學(xué)院學(xué)報(自然科學(xué)版);2005年02期

3 金純;淺談計算機(jī)自然語言理解[J];浙江中醫(yī)學(xué)院學(xué)報;2005年03期

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

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

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

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

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

9 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2005年02期

10 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

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

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

2 郭大蕾;車輛懸架振動的神經(jīng)網(wǎng)絡(luò)半主動控制[D];南京航空航天大學(xué);2002年

3 彭水生;輪機(jī)模擬器6S60MC柴油主機(jī)仿真系統(tǒng)與故障模擬[D];大連海事大學(xué);2000年

4 陸能枝;核應(yīng)急決策支持系統(tǒng)的框架結(jié)構(gòu)及模糊決策方法在評估子系統(tǒng)的應(yīng)用[D];中國原子能科學(xué)研究院;2001年

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

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

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

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

9 王擁軍;需求工程中的不確定性研究[D];西北工業(yè)大學(xué);2002年

10 蒲瑩;汽輪發(fā)電機(jī)故障在線綜合診斷系統(tǒng)的研究[D];華北電力（北京）大學(xué);2001年

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

1 韓軍;原木體積自動測量的計算機(jī)視覺系統(tǒng)的研究[D];天津輕工業(yè)學(xué)院;2000年

2 董法軍;基于超媒體的智能教學(xué)系統(tǒng)的研究與開發(fā)[D];華北工學(xué)院;2000年

3 李雪峰;數(shù)據(jù)庫中的知識發(fā)現(xiàn)[D];遼寧工程技術(shù)大學(xué);2001年

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

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

6 李林;三種認(rèn)知語言觀與外語教學(xué)研究[D];陜西師范大學(xué);2001年

7 張亮;決策支持系統(tǒng)中數(shù)據(jù)倉庫及數(shù)據(jù)挖掘的研究與應(yīng)用[D];甘肅工業(yè)大學(xué);2001年

8 賈自艷;中文智能搜索引擎關(guān)鍵技術(shù)研究[D];北京工業(yè)大學(xué);2001年

9 趙延濤;基于BP神經(jīng)網(wǎng)絡(luò)的城市地下水水位預(yù)測[D];鄭州大學(xué);2001年

10 李向?qū)?數(shù)據(jù)挖掘技術(shù)在產(chǎn)品設(shè)計中的應(yīng)用[D];西安電子科技大學(xué);2002年

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

1 左衛(wèi)兵;;三值命題邏輯隨機(jī)化的注記[J];河北師范大學(xué)學(xué)報(自然科學(xué)版);2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

，

本文編號：724992