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

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

【參考文獻】

中國期刊全文數據庫 前9條

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

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

3 李璧鏡;王國俊;;正則蘊涵算子所對應的邏輯偽度量空間[J];電子學報;2010年03期

4 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學學報(自然科學版);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];中國科學E輯:信息科學;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];數學研究;2008年02期

9 王國俊;折延宏;;二值命題邏輯中理論的發(fā)散性、相容性及其拓撲刻畫[J];數學學報;2007年04期

【共引文獻】

中國期刊全文數據庫 前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];電子學報;2006年02期

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

4 張東曉;李立峰;;二值命題邏輯公式的語構程度化方法[J];電子學報;2008年02期

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

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

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

8 胡明娣;王國俊;;對稱邏輯公式在經典邏輯度量空間中的分布[J];電子學報;2011年02期

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

10 胡明娣;王國俊;;經典邏輯度量空間中的模2次范整線性空間結構[J];電子學報;2011年04期

中國重要會議論文全文數據庫 前4條

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

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

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

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

中國博士學位論文全文數據庫 前7條

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

2 胡明娣;邏輯度量空間的內蘊結構的研究[D];陜西師范大學;2011年

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

4 韓誠;R_0代數及Vague集的相似度理論[D];陜西師范大學;2006年

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

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

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

中國碩士學位論文全文數據庫 前10條

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

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

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

4 折延宏;若干經典命題邏輯問題的拓撲刻畫[D];陜西師范大學;2007年

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

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

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

8 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

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

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

【二級參考文獻】

中國期刊全文數據庫 前10條

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

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

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

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

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

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

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

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

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

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

【相似文獻】

中國期刊全文數據庫 前10條

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

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

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

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

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

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

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

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

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

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

中國重要會議論文全文數據庫 前10條

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

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

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

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

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

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

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

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

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

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

中國重要報紙全文數據庫 前10條

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

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

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

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

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

6 石小宏;信息化叫板傳統(tǒng)教學[N];四川日報;2003年

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

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

9 黃璐;識別假火車票有絕招[N];山西經濟日報;2004年

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

中國博士學位論文全文數據庫 前6條

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

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

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

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

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

6 胡明娣;邏輯度量空間的內蘊結構的研究[D];陜西師范大學;2011年

中國碩士學位論文全文數據庫 前10條

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

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

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

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

5 崔艷麗;R_0代數的簡化以及相對真度的相關性質研究[D];陜西師范大學;2010年

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

7 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

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

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

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

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

，

本文編號：290691