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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 王蘇伊 王立嘉;想在北京買(mǎi)假名牌難了[N];市場(chǎng)報(bào);2005年

2 小馬;走近LCD[N];中國(guó)電腦教育報(bào);2002年

3 金娜;皮裝選購(gòu)有訣竅[N];大眾科技報(bào);2000年

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

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

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

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

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

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

10 呂良韻;只要是電影，，咱都能放[N];中國(guó)計(jì)算機(jī)報(bào);2004年

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

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

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

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

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

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

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

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

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

1 李駿;一類(lèi)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ù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

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

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

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

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

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

本文編號(hào)：1307998