【摘要】：在二值邏輯系統(tǒng)中,初步給出了計(jì)量邏輯學(xué)中的誤差累計(jì)理論。證明了邏輯結(jié)論(作為Γ結(jié)論)的誤差不會(huì)超過(guò)各前提誤差的和。
[Abstract]:In the binary logic system, the theory of error accumulation in econometric logic is given. It is proved that the error of logical conclusion (taken as 螕 conclusion) will not exceed the sum of the errors of each premise.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;西安電子科技大學(xué)理學(xué)院數(shù)科系;陜西師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：博士學(xué)科點(diǎn)專項(xiàng)基金(No.20080718000)
【分類(lèi)號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

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

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

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 許文艷,韓誠(chéng);R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2003年04期

2 吳恒洋,韓誠(chéng);非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

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

4 胡明娣;王國(guó)俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2006年03期

5 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高校基礎(chǔ)科學(xué)學(xué)報(bào);2007年03期

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

7 張小紅,薛占熬,馬盈倉(cāng);R_0-代數(shù)(NM-代數(shù))的布爾MP濾子與布爾MP理想[J];工程數(shù)學(xué)學(xué)報(bào);2005年02期

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

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

10 李駿,蘭倩,夏亞峰;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年04期

相關(guān)博士學(xué)位論文 前8條

1 任芳;正則蘊(yùn)涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學(xué);2005年

2 尚云;量子邏輯中有效代數(shù)與偽有效代數(shù)的研究[D];陜西師范大學(xué);2005年

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

4 王小明;時(shí)態(tài)角色委托代理授權(quán)圖模型及其分析研究[D];西北大學(xué);2004年

5 陳樹(shù)偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

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

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

8 伊良忠;格蘊(yùn)涵代數(shù)及語(yǔ)言真值不確定性推理研究[D];西南交通大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

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

2 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

3 許文艷;任務(wù)邏輯[D];陜西師范大學(xué);2004年

4 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

5 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

6 劉振晗;基于廣義歸結(jié)的程序綜合[D];大連理工大學(xué);2005年

7 雷紅軒;同步格值自動(dòng)機(jī)和同步格值有限自動(dòng)機(jī)[D];陜西師范大學(xué);2005年

8 周湘南;理論的相容度及效應(yīng)代數(shù)的濾子與商[D];陜西師范大學(xué);2005年

9 姚衛(wèi);Heyting代數(shù)中的濾子與同構(gòu)定理及其范疇Heyt[D];陜西師范大學(xué);2005年

10 朱華;格蘊(yùn)涵代數(shù)中濾子和理想的研究[D];西南交通大學(xué);2005年

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

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 左衛(wèi)兵;張嘎;;一種五元格值邏輯上命題真度的分布[J];計(jì)算機(jī)工程與應(yīng)用;2011年22期

2 張鳳姣;張興芳;;G銉del邏輯系統(tǒng)中公式真度判斷方法[J];聊城大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年01期

3 鄭高;肖建;蔣強(qiáng);王夢(mèng)玲;;普通二型模糊相似度與包含度及其關(guān)系[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年08期

4 李駿;鄧富喜;;n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J];電子學(xué)報(bào);2011年08期

5 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

6 滕兆明;王紅;張華青;馬曉慧;;多維社會(huì)網(wǎng)絡(luò)中鏈路預(yù)測(cè)方法研究[J];計(jì)算機(jī)應(yīng)用與軟件;2011年09期

7 張樂(lè);裴道武;王三民;;系統(tǒng)餿_n~*的邏輯性質(zhì)及其應(yīng)用[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯;2011年02期

8 陳一飛;唐祥忠;郭彥利;;基于改進(jìn)模糊聚類(lèi)算法的工程限額設(shè)計(jì)模型[J];廣東海洋大學(xué)學(xué)報(bào);2011年03期

9 王振朝;趙宇茜;趙晨;;在重構(gòu)相空間選取樣本的時(shí)間序列分形預(yù)測(cè)[J];計(jì)算機(jī)工程與應(yīng)用;2011年21期

10 易明;毛進(jìn);鄧衛(wèi)華;;基于社會(huì)化標(biāo)簽網(wǎng)絡(luò)的細(xì)粒度用戶興趣建模[J];現(xiàn)代圖書(shū)情報(bào)技術(shù);2011年04期

相關(guān)會(huì)議論文 前10條

1 湯麗華;趙吳靜;金菊良;張明;;基于熵的水質(zhì)綜合評(píng)價(jià)的相似插值模型[A];第八屆中國(guó)管理科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

2 王娟;;一種基于粗糙集理論的操作風(fēng)險(xiǎn)判別方法[A];科學(xué)發(fā)展觀與系統(tǒng)工程——中國(guó)系統(tǒng)工程學(xué)會(huì)第十四屆學(xué)術(shù)年會(huì)論文集[C];2006年

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

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

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

6 王新生;吳雷;潘曉;;基于粗集的CBR方法在企業(yè)信用評(píng)估中的應(yīng)用研究[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

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

8 連華娟;李曉奇;;σ-運(yùn)算下的模糊度，貼近度和包含度的關(guān)系[A];第五屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2007年

9 遲國(guó)泰;閆達(dá)文;程硯秋;;基于改進(jìn)群組G1賦權(quán)的生態(tài)評(píng)價(jià)模型及14個(gè)典型省的實(shí)證研究[A];第三屆（2008）中國(guó)管理學(xué)年會(huì)論文集[C];2008年

10 張崇武;何瓊璋;;一種新的直接聚類(lèi)法及其若干注記[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

相關(guān)博士學(xué)位論文 前10條

1 杜方;復(fù)雜網(wǎng)絡(luò)系統(tǒng)間相似性識(shí)別及其應(yīng)用[D];浙江大學(xué);2010年

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

3 楊樹(shù)忠;復(fù)雜網(wǎng)絡(luò)中的社團(tuán)檢測(cè)問(wèn)題研究[D];北京交通大學(xué);2009年

4 林琳;直覺(jué)模糊集在近似推理與決策中的應(yīng)用[D];大連理工大學(xué);2006年

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

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

7 覃桂敏;復(fù)雜網(wǎng)絡(luò)模式挖掘算法研究[D];西安電子科技大學(xué);2012年

8 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

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

10 趙建邦;基于代謝網(wǎng)絡(luò)的功能模式發(fā)現(xiàn)及系統(tǒng)發(fā)生分析研究[D];西安電子科技大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

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

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

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

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

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

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

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

8 陳熙;公式真度的推廣及L~*系統(tǒng)單原子生成真值函數(shù)的特征[D];揚(yáng)州大學(xué);2011年

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

10 李海軍;基于相似度的加權(quán)模糊推理方法[D];河北大學(xué);2006年

本文編號(hào)：2274282