本文選題：命題邏輯 + 真度��； 參考：《河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版)》2008年01期

【摘要】：將經(jīng)典二值命題邏輯中公式的真度概念推廣到勢(shì)為2的非均勻概率空間上,定義了二值邏輯p-測(cè)度和其上的命題的真度;在p=1/3的情形下證明了全體公式的真度之集在[0,1]中是稠密的,并給出了公式真度的表達(dá)通式;利用真度定義公式間的相似度,進(jìn)而導(dǎo)出全體公式集上的一種偽距離,為近似推理理論提供一種可能的框架.
[Abstract]:In the case of p = 1 / 3 , it is proved that the set of the truth of the whole formula is dense and the expression formula of the formula is given . The similarity between the formulas is defined by the truth degree , then a pseudo - distance on the whole formula set is derived , and a possible framework is provided for the approximate reasoning theory .

【作者單位】： 華北水利水電學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院
【基金】：河南省自然科學(xué)基金(0611052600) 華北水利水電學(xué)院青年科研基金(HSQJ2005002)
【分類(lèi)號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

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

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前4條

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

2 傅麗;宋建社;;經(jīng)典命題邏輯的Boole語(yǔ)義理論[J];模糊系統(tǒng)與數(shù)學(xué);2007年02期

3 李駿;王國(guó)俊;;G銉del n值命題邏輯中命題的α-真度理論[J];軟件學(xué)報(bào);2007年01期

4 張小紅;;基于左連續(xù)偽T-模的非可換模糊邏輯系統(tǒng)PUL~*[J];數(shù)學(xué)進(jìn)展;2007年03期

相關(guān)博士學(xué)位論文 前1條

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

相關(guān)碩士學(xué)位論文 前3條

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

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

3 折延宏;若干經(jīng)典命題邏輯問(wèn)題的拓?fù)淇坍?huà)[D];陜西師范大學(xué);2007年

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

相關(guān)期刊論文 前1條

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李駿;鄧富喜;;n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J];電子學(xué)報(bào);2011年08期

2 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

3 左衛(wèi)兵;;三值命題邏輯隨機(jī)化的注記[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年04期

4 馮棉;;一類(lèi)命題邏輯的一般弱框架擇類(lèi)語(yǔ)義[J];邏輯學(xué)研究;2011年02期

5 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報(bào);2011年05期

6 樊明亞,朱小陽(yáng);師專(zhuān)邏輯教材改革研究[J];中國(guó)大學(xué)教學(xué);1999年06期

7 程仲棠;;關(guān)于“蘊(yùn)涵怪論”及其反例[J];學(xué)術(shù)研究;2011年08期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前10條

1 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專(zhuān)輯[C];1996年

2 劉社軍;;命題邏輯之判定層次及其判定方法[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

3 夏夢(mèng);;邏輯真理的特點(diǎn)[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

4 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專(zhuān)輯[C];2006年

5 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

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

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

8 劉壯虎;;相干邏輯的鄰域語(yǔ)義學(xué)[A];1995年邏輯研究專(zhuān)輯[C];1995年

9 熊明;;古典命題演算的直覺(jué)主義語(yǔ)義分析[A];2000年邏輯研究專(zhuān)輯[C];2000年

10 張家鋒;徐揚(yáng);;格值命題邏輯LP(X)中的語(yǔ)義歸結(jié)方法[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

相關(guān)重要報(bào)紙文章 前3條

1 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢(shì)及其對(duì)我們的啟示[N];光明日?qǐng)?bào);2008年

2 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

3 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

相關(guān)博士學(xué)位論文 前7條

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

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

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

4 呂進(jìn);基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)—意圖邏輯[D];西南大學(xué);2008年

5 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

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

7 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

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

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

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

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

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

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

7 王永安;二值命題邏輯公式在等價(jià)意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

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

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

10 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

，

本文編號(hào)：1822843