本文關(guān)鍵詞：n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論，由筆耕文化傳播整理發(fā)布。

【摘要】：給出了強(qiáng)正則蘊(yùn)涵算子和n值S-MTL命題邏輯系統(tǒng)的定義.基于一般的概率測度定義了公式的真度,并給出了公式真度的積分表達(dá)式;基于公式真度的積分表達(dá)式證明了真度推理規(guī)則;在n值S-MTL命題邏輯系統(tǒng)的全體公式集上引入了一種偽距離,證明了邏輯運(yùn)算關(guān)于這種偽距離是連續(xù)的.提出了一種近似推理機(jī)制,使得在n值S-MTL命題邏輯系統(tǒng)中展開近似推理成為可能.
【作者單位】： 蘭州理工大學(xué)理學(xué)院;
【關(guān)鍵詞】： 真度 強(qiáng)正則蘊(yùn)涵算子 n值S-MTL命題邏輯系統(tǒng) 偽距離
【基金】：國家自然科學(xué)基金(No.10771129)
【分類號(hào)】：O141.1
【正文快照】： 1引言數(shù)理邏輯的特點(diǎn)在于形式化而不是數(shù)值計(jì)算,為了反映程度化的思想,二十世紀(jì)五十年代初,Rosser教授就利用“指派真值[1]”來刻畫邏輯公式的真實(shí)程度,這種思想在Pavalka的系列文章[2]中得到了全面的發(fā)展.后來又有許多學(xué)者從不同角度提出了邏輯公式的程度化思想,文獻(xiàn)[3]就格

【參考文獻(xiàn)】

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

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

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

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

4 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

5 王國俊 ,傅麗 ,宋建社;Theory of truth degrees of propositions in two-valued logic[J];Science in China,Ser.A;2002年09期

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

7 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

8 左衛(wèi)兵;;邏輯系統(tǒng)G_3在非均勻概率空間下命題的真度理論[J];數(shù)學(xué)研究;2008年02期

9 王國俊;折延宏;;二值命題邏輯中理論的發(fā)散性、相容性及其拓?fù)淇坍媅J];數(shù)學(xué)學(xué)報(bào);2007年04期

【共引文獻(xiàn)】

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

1 ;Universal triple I fuzzy reasoning algorithm of function model based on quotient space[J];Computer Aided Drafting,Design and Manufacturing;2012年01期

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

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

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

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

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

7 吳洪博;張瓊;;NML系統(tǒng)的有限強(qiáng)完備性[J];電子學(xué)報(bào);2010年06期

8 胡明娣;王國俊;;對(duì)稱邏輯公式在經(jīng)典邏輯度量空間中的分布[J];電子學(xué)報(bào);2011年02期

9 羅敏霞;姚寧;;L~*系統(tǒng)中公式的語構(gòu)程度化方法[J];電子學(xué)報(bào);2011年02期

10 胡明娣;王國俊;;經(jīng)典邏輯度量空間中的模2次范整線性空間結(jié)構(gòu)[J];電子學(xué)報(bào);2011年04期

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

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

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

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

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

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

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 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

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

6 唐益明;（1，2，2）型異蘊(yùn)涵泛三I算法及其應(yīng)用研究[D];合肥工業(yè)大學(xué);2011年

7 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(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 折延宏;若干經(jīng)典命題邏輯問題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

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

6 李海霞;邏輯代數(shù)中若干問題的研究[D];陜西師范大學(xué);2008年

7 段景瑤;三種邏輯代數(shù)的等價(jià)刻畫和模糊模態(tài)邏輯[D];陜西師范大學(xué);2008年

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

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

10 隋云云;非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學(xué);2009年

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

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

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

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

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

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

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

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

7 王國俊;適用于多種蘊(yùn)涵算子的賦值空間上的測度與積分理論[J];中國科學(xué)E輯:技術(shù)科學(xué);2001年01期

8 王國俊,錢桂生,黨創(chuàng)寅;命題演算系統(tǒng)L~*與謂詞演算系統(tǒng)κ~*中統(tǒng)一的近似推理理論[J];中國科學(xué)E輯:信息科學(xué);2004年10期

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

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

【相似文獻(xiàn)】

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

1 李駿,蘭倩,黎鎖平,王柏巖;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中的相似度及偽距離[J];蘭州理工大學(xué)學(xué)報(bào);2004年05期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 高偉俊;;系統(tǒng)仿真技術(shù)在電力系統(tǒng)中的應(yīng)用[A];1998年上海市系統(tǒng)仿真學(xué)會(huì)學(xué)術(shù)年會(huì)論文專輯[C];1998年

9 邱小杉;何寧;董峰;魏長華;;基于模糊推理的法醫(yī)人體骨骼個(gè)人識(shí)別專家系統(tǒng):RLXES[A];1998年中國智能自動(dòng)化學(xué)術(shù)會(huì)議論文集（上冊）[C];1998年

10 李茂青;;MIS與DSS中的廣義模糊檢索及其實(shí)現(xiàn)[A];1993中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1993年

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

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

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

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

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

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

6 石小宏;信息化叫板傳統(tǒng)教學(xué)[N];四川日?qǐng)?bào);2003年

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

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

9 黃璐;識(shí)別假火車票有絕招[N];山西經(jīng)濟(jì)日?qǐng)?bào);2004年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  本文關(guān)鍵詞：n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：290691