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

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

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

【參考文獻(xiàn)】

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

2 饒維亞;一類退化橢圓型方程解的存在唯一性[J];長(zhǎng)春大學(xué)學(xué)報(bào);2003年02期

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

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

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

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

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

8 陳希;用模糊積分和層次分析法對(duì)新產(chǎn)品作市場(chǎng)預(yù)測(cè)[J];福建商業(yè)高等專科學(xué)校學(xué)報(bào);2003年01期

9 王晟;n維歐氏空間中單位球面面積的另一求法[J];桂林航天工業(yè)高等�？茖W(xué)校學(xué)報(bào);1997年Z2期

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

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

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

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

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

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

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

1 王全來(lái);對(duì)E.Borel在函數(shù)論的幾個(gè)工作研究[D];西北大學(xué);2006年

2 楊偉;股票信息風(fēng)險(xiǎn)測(cè)度研究[D];廈門大學(xué);2009年

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

4 黃萬(wàn)陽(yáng);人民幣實(shí)際匯率錯(cuò)位測(cè)度、效應(yīng)與矯正研究[D];東北財(cái)經(jīng)大學(xué);2005年

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

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

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

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

4 聶燕玲;農(nóng)村勞動(dòng)力轉(zhuǎn)移程度的測(cè)度與評(píng)價(jià)[D];西南大學(xué);2007年

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

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

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

8 談革新;復(fù)雜網(wǎng)絡(luò)拓?fù)鋵涌箽詼y(cè)度研究[D];南京理工大學(xué);2011年

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

10 黃鈴;非標(biāo)準(zhǔn)分析理論及其在分形中的部分應(yīng)用[D];海南大學(xué);2012年

，

本文編號(hào)：617925