本文關(guān)鍵詞：Lukasiewicz n值命題邏輯系統(tǒng)中公式的一般真度和形式推演結(jié)論的不可靠度估計　出處：《電子學(xué)報》2012年10期 　論文類型：期刊論文

  更多相關(guān)文章： Lukasiewicz n值邏輯系統(tǒng) 真度 不可靠度 真值狀態(tài) 偽距離 近似推理

【摘要】：在Lukasiewiczn值命題邏輯系統(tǒng)中引入命題公式的一般真度概念并討論其性質(zhì),說明一般真度滿足Kolmogorov公理.在形式推演中,引進(jìn)公式的不可靠度和前提的必要度概念,證明在Lukasiewiczn值邏輯系統(tǒng)中,一個有效推理的結(jié)論的不可靠度不超過各前提的不可靠度與其必要度的乘積之和.通過不可靠度在全體公式集上建立邏輯偽距離空間,證明邏輯偽距離空間中沒有孤立點,利用邏輯偽距離在全體公式集F(S)中提出兩種不同形式的近似推理模式.
【作者單位】： 湘南學(xué)院數(shù)學(xué)系;
【基金】：湖南省重點建設(shè)學(xué)科資助項目 湖南省教育廳科學(xué)研究項目(No.10C1232)
【分類號】：O141.1
【正文快照】： 1引言數(shù)理邏輯是形式化的符號邏輯,在數(shù)理邏輯的推理證明中我們只關(guān)心其有效性,而不太關(guān)心其合法性,對推理的前提是否可靠并未考慮,這也就是說,任何前提推出的結(jié)論,只要推理過程的每一步驟都遵循正確的推理規(guī)則,所得到的結(jié)論都認(rèn)為是有效的,這種單純的形式推理似乎有一些不足

【參考文獻(xiàn)】

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

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

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

3 左衛(wèi)兵;;Boole語義的程度化方法[J];電子學(xué)報;2012年03期

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

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

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

7 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學(xué)學(xué)報;2004年04期

【共引文獻(xiàn)】

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

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

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

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

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

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

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

7 張東曉;李立峰;;二值命題邏輯公式的語構(gòu)程度化方法[J];電子學(xué)報;2008年02期

8 李駿;王國俊;;基于支持度理論的廣義MP問題的形式化解[J];電子學(xué)報;2008年11期

9 胡明娣;王國俊;;模糊模態(tài)邏輯中的永真式與準(zhǔn)永真式[J];電子學(xué)報;2009年11期

10 李璧鏡;王國俊;;正則蘊涵算子所對應(yīng)的邏輯偽度量空間[J];電子學(xué)報;2010年03期

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

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

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

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

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

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

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

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

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

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

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

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

7 潘小東;關(guān)于格值邏輯及其語言真值不確定性推理研究[D];西南交通大學(xué);2010年

8 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

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

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

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

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

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

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

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

7 張東曉;邏輯公式的語構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

8 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學(xué);2006年

9 韓邦合;計量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

10 折延宏;若干經(jīng)典命題邏輯問題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

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

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

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

2 張東曉;李立峰;;二值命題邏輯公式的語構(gòu)程度化方法[J];電子學(xué)報;2008年02期

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

1 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報;2003年02期

2 茹永梅;;兩個特殊邏輯系統(tǒng)G_n和Π_n中的相似度與偽距離[J];浙江工貿(mào)職業(yè)技術(shù)學(xué)院學(xué)報;2008年01期

3 崔美華;;邏輯系統(tǒng)Luk中公式間的偽距離[J];模糊系統(tǒng)與數(shù)學(xué);2010年04期

4 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學(xué)學(xué)報;2004年04期

5 宋慶燕,楊興忠;命題邏輯公式集上的正則相似關(guān)系[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2002年04期

6 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

7 劉艷,鄭慕聰;Lukasiewicz多值邏輯系統(tǒng)中的相似度及偽距離[J];西安科技大學(xué)學(xué)報;2005年02期

8 李駿;夏亞峰;蘭倩;;n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中的近似推理理論[J];蘭州理工大學(xué)學(xué)報;2006年02期

9 王廷明;王愛青;;二值命題邏輯中偽距離的真度表示及其應(yīng)用[J];青島理工大學(xué)學(xué)報;2008年03期

10 馬盈倉;張美;崔美英;;Frank三角范數(shù)的三值模糊邏輯系統(tǒng)的真度理論[J];廣西師范大學(xué)學(xué)報(自然科學(xué)版);2011年03期

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

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

2 陳棟梁;王浩;姚宏亮;;一種支持向量機大規(guī)模數(shù)據(jù)集訓(xùn)練算法[A];中國儀器儀表學(xué)會第九屆青年學(xué)術(shù)會議論文集[C];2007年

3 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 王國俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

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

6 許春明;陳虹;夏勇;錢勇;;不同測試模式下典型系統(tǒng)可靠性分析[A];第十九屆測控、計量、儀器儀表學(xué)術(shù)年會(MCMI'2009)論文集[C];2009年

7 付昌偉;馮波;黃芳;;武鋼高爐風(fēng)機勵磁控制器的故障樹診斷技術(shù)[A];全國冶金自動化信息網(wǎng)2011年年會論文集[C];2011年

8 王天榮;張洪泉;;α-Fe_2O_3氣體傳感器的可靠性分配[A];第六屆全國氣濕敏傳感器技術(shù)學(xué)術(shù)交流會論文集[C];2000年

9 趙鋼;鄒彬;張劍;;基于模糊規(guī)則集的入侵檢測模型——網(wǎng)絡(luò)與信息安全事件處理[A];第二十一次全國計算機安全學(xué)術(shù)交流會論文集[C];2006年

10 毛昭勇;宋保維;潘光;胡海豹;;基于故障樹分析的貝葉斯可靠度近似評定方法[A];2006年全國機械可靠性學(xué)術(shù)交流會論文集[C];2006年

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

1 王蘇伊 王立嘉;想在北京買假名牌難了[N];市場報;2005年

2 小馬;走近LCD[N];中國電腦教育報;2002年

3 金娜;皮裝選購有訣竅[N];大眾科技報;2000年

4 $$點評嘉賓 首都經(jīng)貿(mào)大學(xué)經(jīng)濟研究所教授 $$吳少平 北大經(jīng)濟系教授 鐘偉 $$本版采寫 劉凌林;利潤水分怎么擠？[N];中國企業(yè)報;2001年

5 吳挺;進(jìn)軍專業(yè)繪圖市場[N];計算機世界;2003年

6 APC公司產(chǎn)品市場部;如何正確地選用和配置UPS[N];中國計算機報;2000年

7 耶魯大學(xué)管理學(xué)院金融經(jīng)濟學(xué)教授 陳志武;學(xué)校如何辦[N];南方周末;2011年

8 周燕虎 本報特約通訊員 項志明;信息技術(shù)讓火炮“走”進(jìn)實驗室[N];解放軍報;2005年

9 記者 齊中熙;會計五假太可怕[N];新華每日電訊;2001年

10 呂良韻;只要是電影，，咱都能放[N];中國計算機報;2004年

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

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

2 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

3 劉東;空間信息處理系統(tǒng)可靠性設(shè)計與分析關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2008年

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

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

6 王谷亮;DNA聚合酶β在烷化劑MNNG引起的非定標(biāo)性突變中的作用[D];浙江大學(xué);2002年

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

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

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

2 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

3 謝晶晶;L_n系統(tǒng)和L_n*系統(tǒng)中的真度理論[D];陜西師范大學(xué);2012年

4 李海亞;n值SMTL系統(tǒng)中命題的∑-（[α，β]-真度）理論[D];蘭州理工大學(xué);2012年

5 崔艷麗;R_0代數(shù)的簡化以及相對真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

6 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

7 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學(xué);2006年

8 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

9 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

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

本文編號：1307998