本文關(guān)鍵詞：■ukasiewicz n值命題邏輯中公式的α-隨機(jī)真度理論

  更多相關(guān)文章： n值命題邏輯 α-隨機(jī)真度 α-Dn相似度 α-Dn偽距離

【摘要】：給出■ukasiewicz n值命題邏輯中公式的α-隨機(jī)真度的概念和性質(zhì),利用α-隨機(jī)真度定義了公式間的α-Dn相似度,進(jìn)而導(dǎo)出全體公式集上的一種偽距離。
【作者單位】： 聊城大學(xué)數(shù)學(xué)科學(xué)學(xué)院;
【關(guān)鍵詞】： n值命題邏輯 α-隨機(jī)真度 α-Dn相似度 α-Dn偽距離
【基金】：教育部科學(xué)技術(shù)研究重點項目(206089)
【分類號】：O141.1
【正文快照】： 1預(yù)備知識數(shù)理邏輯的特點在于符號化和形式化,其精確的形式化的推理方法是人工智能學(xué)科及相關(guān)研究中普遍采用的方法,而數(shù)值計算則似乎是遠(yuǎn)離形式推理的完全不同的方法。但由于人腦的思維模式與推理方法帶有不確定性,導(dǎo)致推理是不精確的,因此將二者融合的研究近年來受到了廣泛

【參考文獻(xiàn)】

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

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

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

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

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

【共引文獻(xiàn)】

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

1 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高�；A(chǔ)科學(xué)學(xué)報;2007年03期

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

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

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

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

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

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

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

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

10 張興芳;孟廣武;;一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用[J];計算機(jī)科學(xué);2005年10期

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

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

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

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

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

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

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前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 張東曉;邏輯公式的語構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：696242