本文關(guān)鍵詞：系統(tǒng)L在非均勻概率空間下命題的真度理論

  更多相關(guān)文章： 測度 p-真度 p-相似度 p-邏輯度量空間 近似推理

【摘要】：將經(jīng)典二值命題邏輯L中公式的真度概念推廣到勢為2的非均勻概率空間上;當p?(0啜1)時,證明了全體公式的真度值之集在[0,1]中沒有孤立點;利用真度定義公式間的p-相似度和偽距離,進而定義了p-邏輯度量空間,證明了該空間沒有孤立點,并在此空間中提出了三種不同類型的近似推理模式。
【作者單位】： 西安財經(jīng)學院統(tǒng)計學院;
【關(guān)鍵詞】： 測度 p-真度 p-相似度 p-邏輯度量空間 近似推理
【基金】：陜西省教育廳自然科學研究計劃項目(No.09JK439)
【分類號】：O141.1
【正文快照】： 1引言邏輯理自論從?以uk來as,i關(guān)ew于icz多值和P命os題t邏分輯別的于研20究世得紀到2了0迅年猛代的提發(fā)出展[多1-3]值,在理論和應用方面都取得令人矚目的成果。數(shù)理邏輯的特點在于符號化和形式化,而不注重數(shù)值計算。但由于人腦的思維模式與推理方法帶有不確定性,導致推理不是

【參考文獻】

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

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

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

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

【共引文獻】

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

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

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

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

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

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

6 頡永建;廣義R_0-代數(shù)中的濾子[J];漢中師范學院學報;2004年06期

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

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

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

10 惠小靜;王國俊;;經(jīng)典推理模式的隨機化研究及其應用[J];中國科學(E輯:信息科學);2007年06期

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

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

2 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學技術(shù)大學;2006年

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

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

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

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

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

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

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

6 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學;2005年

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

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

9 曹汝鳴;不完全信息數(shù)據(jù)庫的理論研究[D];南京航空航天大學;2006年

10 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊涵代數(shù)[D];陜西師范大學;2007年

【二級參考文獻】

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

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

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

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

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

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

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

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

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

9 王偉,王國俊;論G銉del蘊涵算子不宜用于建立模糊邏輯系統(tǒng)[J];模糊系統(tǒng)與數(shù)學;2005年02期

10 王國俊;廣義MP規(guī)則[J];陜西師范大學學報(自然科學版);2000年03期

【相似文獻】

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

1 向緒言;建立完備測度空間的4種方法及其等價性[J];常德師范學院學報(自然科學版);2002年01期

2 饒維亞;一類退化橢圓型方程解的存在唯一性[J];長春大學學報;2003年02期

3 任立順;凸函數(shù)幾個概念的等價性[J];周口師范學院學報;1996年01期

4 許兆龍;實數(shù)集上一類集函數(shù)延拓成環(huán)上測度的事實[J];撫州師專學報;1997年03期

5 于朝霞,孫紅衛(wèi);模糊函數(shù)的積分極限定理(Ⅱ)[J];山東建材學院學報;1999年04期

6 李貴俊;貝特朗(Bertrard)奇論的探討[J];丹東紡專學報;2001年04期

7 吳嘎日迪;L_M~*尺度下一類周期卷積算子的逼近[J];內(nèi)蒙古師范大學學報(自然科學漢文版);2002年02期

8 陳希;用模糊積分和層次分析法對新產(chǎn)品作市場預測[J];福建商業(yè)高等�？茖W校學報;2003年01期

9 王晟;n維歐氏空間中單位球面面積的另一求法[J];桂林航天工業(yè)高等專科學校學報;1997年Z2期

10 宋偉,王玉豐;單調(diào)函數(shù)的連續(xù)性[J];吉林化工學院學報;2001年03期

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

1 王興元;邱華君;;名牌對地區(qū)經(jīng)濟貢獻度測算模型研究[A];2001年中國管理科學學術(shù)會議論文集[C];2001年

2 王雪榮;許平;;上市公司控制權(quán)私人收益測度與影響因素研究[A];第三屆（2008）中國管理學年會論文集[C];2008年

3 劉業(yè)進;;專業(yè)化分工和交易成本——對中國交易成本的經(jīng)驗估計:1978-2004[A];中國制度經(jīng)濟學年會論文集[C];2006年

4 梁學軍;;二型隨機集與隸屬程度分析[A];數(shù)學及其應用文集——中南模糊數(shù)學和系統(tǒng)分會第三屆年會論文集（上卷）[C];1995年

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

1 王全來;對E.Borel在函數(shù)論的幾個工作研究[D];西北大學;2006年

2 楊偉;股票信息風險測度研究[D];廈門大學;2009年

3 劉井建;企業(yè)高新技術(shù)創(chuàng)新項目R&D績效測度與評價研究[D];哈爾濱工程大學;2008年

4 黃萬陽;人民幣實際匯率錯位測度、效應與矯正研究[D];東北財經(jīng)大學;2005年

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

1 顧巖;股市泡沫的成因與實證研究[D];東北師范大學;2008年

2 李會平;解析函數(shù)及若干相關(guān)問題[D];廣西民族大學;2009年

3 高義新;基于動態(tài)DEA的企業(yè)技術(shù)創(chuàng)新績效測度與評價研究[D];南京航空航天大學;2008年

4 聶燕玲;農(nóng)村勞動力轉(zhuǎn)移程度的測度與評價[D];西南大學;2007年

5 潘瓊;p-adic域上的非線性丟番圖逼近[D];西北大學;2006年

6 吳亞桃;企業(yè)技術(shù)創(chuàng)新測度方法及實證研究[D];西南石油大學;2006年

7 孟曉玲;幾類系統(tǒng)的幾乎全局穩(wěn)定性[D];鄭州大學;2010年

8 談革新;復雜網(wǎng)絡拓撲層抗毀性測度研究[D];南京理工大學;2011年

9 杜玉坤;測度維數(shù)的局部化與函數(shù)圖象盒維數(shù)的若干研究[D];華中科技大學;2010年

10 黃鈴;非標準分析理論及其在分形中的部分應用[D];海南大學;2012年

，

本文編號：617925