本文關(guān)鍵詞：二值命題邏輯中有限理論帶誤差結(jié)論集的結(jié)構(gòu)

  更多相關(guān)文章： 二值命題邏輯 有限理論 極小項(xiàng) 真度 邏輯等價(jià)

【摘要】：二值命題邏輯系統(tǒng)中理論Г的帶誤差結(jié)論集是近似推理研究的基本對(duì)象,對(duì)其結(jié)構(gòu)進(jìn)行分析是近似推理研究中需要解決的問題。通過公式是有限理論Г的帶誤差結(jié)論的充要條件,利用集合劃分方法,對(duì)有限理論Г的帶誤差結(jié)論集分別基于真度相等關(guān)系和邏輯等價(jià)關(guān)系進(jìn)行分類,得到了基于兩類等價(jià)關(guān)系的包含等價(jià)類個(gè)數(shù)和代表元表示形式的分類定理,進(jìn)一步體現(xiàn)了二值命題邏輯系統(tǒng)近似推理研究中理論Г的帶誤差結(jié)論集的特征。
【作者單位】： 青島大學(xué)師范學(xué)院;
【關(guān)鍵詞】： 二值命題邏輯 有限理論 極小項(xiàng) 真度 邏輯等價(jià)
【分類號(hào)】：O141.1
【正文快照】： 1引言真度是命題公式真確度的數(shù)值表征,也是多種邏輯系統(tǒng)程度化研究中的一個(gè)基本概念。在二值命題邏輯系統(tǒng)中,文獻(xiàn)[1]、[2]、[3]、[4]提出了以數(shù)值計(jì)算為主要特征的命題公式的真度和偽距離概念,建立了邏輯度量空間(F(S),ρ),為二值命題邏輯系統(tǒng)的程度化研究和近似推理理論構(gòu)

【參考文獻(xiàn)】

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

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

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

3 惠小靜;;三種近似推理模式的等價(jià)性[J];計(jì)算機(jī)工程與應(yīng)用;2008年27期

4 王廷明;;關(guān)于主范式中極小項(xiàng)和極大項(xiàng)的下標(biāo)算法[J];青島理工大學(xué)學(xué)報(bào);2006年02期

5 王廷明;王愛青;;二值命題邏輯中偽距離的真度表示及其應(yīng)用[J];青島理工大學(xué)學(xué)報(bào);2008年03期

6 王國(guó)俊,王偉;邏輯度量空間[J];數(shù)學(xué)學(xué)報(bào);2001年01期

7 于鵬;王國(guó)俊;;根與F(S)中的近似推理[J];自然科學(xué)進(jìn)展;2006年08期

【共引文獻(xiàn)】

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

1 劉保翠;王國(guó)俊;;命題集F(S)基于相似關(guān)系定義的拓?fù)鋄J];安康學(xué)院學(xué)報(bào);2007年03期

2 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報(bào);2009年06期

3 段景瑤;王國(guó)俊;;Boole代數(shù)的等價(jià)刻畫[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年03期

4 王廷明;;二值命題邏輯中的蘊(yùn)涵度量與近似推理[J];重慶師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年03期

5 闞婷;張興芳;馬成芬;;帶參數(shù)的L_p系統(tǒng)中的邏輯度量結(jié)構(gòu)[J];燕山大學(xué)學(xué)報(bào);2009年04期

6 張小紅;祝峰;;Rough邏輯系統(tǒng)RSL與模糊邏輯系統(tǒng)Luk[J];電子科技大學(xué)學(xué)報(bào);2011年02期

7 盧延鑫;;謂詞邏輯在關(guān)系數(shù)據(jù)庫中的應(yīng)用[J];電腦知識(shí)與技術(shù)(學(xué)術(shù)交流);2007年17期

8 王廷明;;二值命題邏輯中Г-的蘊(yùn)涵距離和近似推理[J];德州學(xué)院學(xué)報(bào);2008年06期

9 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對(duì)真度的理論研究[J];德州學(xué)院學(xué)報(bào);2009年04期

10 王廷明;;二值命題邏輯中有限理論的相對(duì)偏差及其應(yīng)用[J];德州學(xué)院學(xué)報(bào);2010年02期

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

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

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

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

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

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

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年

4 俞峰;基于直覺區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學(xué);2008年

5 吳茂念;基于分離的信念更新研究[D];貴州大學(xué);2008年

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

7 劉學(xué)生;基于粗集的不確定多屬性決策排序法的研究[D];大連理工大學(xué);2009年

8 潘小東;關(guān)于格值邏輯及其語言真值不確定性推理研究[D];西南交通大學(xué);2010年

9 路強(qiáng);面向功能的可視化創(chuàng)新概念設(shè)計(jì)方法研究[D];合肥工業(yè)大學(xué);2010年

10 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學(xué);2011年

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

1 許筱婷;基于本體論的知識(shí)表達(dá)[D];湘潭大學(xué);2010年

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 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學(xué);2006年

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

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

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

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

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

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

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

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

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

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

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

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

10 王廷明;;關(guān)于主范式中極小項(xiàng)和極大項(xiàng)的下標(biāo)算法[J];青島理工大學(xué)學(xué)報(bào);2006年02期

【相似文獻(xiàn)】

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

1 王廷明;王愛青;;二值命題邏輯中偽距離的真度表示及其應(yīng)用[J];青島理工大學(xué)學(xué)報(bào);2008年03期

2 王廷明;王愛青;;二值命題邏輯中的偽距離不等式與近似推理[J];青島理工大學(xué)學(xué)報(bào);2009年03期

3 王廷明;;二值命題邏輯中有限理論的相對(duì)偏差及其應(yīng)用[J];德州學(xué)院學(xué)報(bào);2010年02期

4 王廷明;;二值命題邏輯中邏輯方程τ(A→X)=m/2~n解集的結(jié)構(gòu)[J];模糊系統(tǒng)與數(shù)學(xué);2011年01期

5 李駿;夏亞峰;蘭倩;;n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中的近似推理理論[J];蘭州理工大學(xué)學(xué)報(bào);2006年02期

6 王廷明;;二值命題邏輯中Γ限制蘊(yùn)涵度量與近似推理[J];計(jì)算機(jī)工程與應(yīng)用;2010年35期

7 隋云云;;邏輯系統(tǒng)L_4~2中公式的相似度[J];濰坊學(xué)院學(xué)報(bào);2011年04期

8 王廷明;嚴(yán)文海;;二值命題邏輯中基于前提信息的近似推理理論[J];模糊系統(tǒng)與數(shù)學(xué);2009年02期

9 王廷明;;二值命題邏輯中基于條件真度的近似推理[J];計(jì)算機(jī)工程與應(yīng)用;2009年09期

10 王愛青;王廷明;;二值命題邏輯中有限理論數(shù)值特征的真度研究[J];大學(xué)數(shù)學(xué);2009年05期

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

1 張學(xué)立;;從邏輯哲學(xué)的觀點(diǎn)看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

2 郭世銘;;多主體認(rèn)知邏輯系統(tǒng)(語法部分)[A];1998年邏輯研究專輯[C];1998年

3 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

4 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實(shí)然世界語義學(xué)[A];1997年邏輯研究專輯[C];1997年

5 李小五;;沈有鼎論直觀與邏輯[A];“中國(guó)名辯學(xué)與方法論研討會(huì)、道家與西方研討會(huì)、馮友蘭哲學(xué)思想研討會(huì)”優(yōu)秀論文精選[C];1998年

6 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

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

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

9 陳永義;;NF邏輯系統(tǒng)[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

10 陳勇明;謝海英;;邏輯代數(shù)的集合圖方法的注記[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 本報(bào)記者 周靜;第四屆全國(guó)性邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議在筑召開[N];貴州日?qǐng)?bào);2008年

2 重慶市彭水縣郁山中學(xué) 鐘年映;教學(xué)并非都得循序漸進(jìn)[N];中國(guó)教育報(bào);2009年

3 王蘇伊 王立嘉;想在北京買假名牌難了[N];市場(chǎng)報(bào);2005年

4 陳波;邏輯學(xué)的2005年[N];光明日?qǐng)?bào);2006年

5 張慧英;企業(yè)家本身是一種生活方式[N];中國(guó)工業(yè)報(bào);2003年

6 李健 段曉燕;彼得·德魯克：計(jì)算機(jī)是個(gè)“低能兒”[N];社會(huì)科學(xué)報(bào);2002年

7 造造 編寫;魯班軟件實(shí)戰(zhàn)練兵場(chǎng)（25）[N];建筑時(shí)報(bào);2007年

8 小馬;走近LCD[N];中國(guó)電腦教育報(bào);2002年

9 金娜;皮裝選購(gòu)有訣竅[N];大眾科技報(bào);2000年

10 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

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

1 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年

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

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

4 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

5 范紅;安全協(xié)議形式化分析理論與方法[D];中國(guó)人民解放軍信息工程大學(xué);2003年

6 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

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

8 李曉冰;基于語言真值格值邏輯的歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2008年

9 郭美云;帶有群體知識(shí)的動(dòng)態(tài)認(rèn)知邏輯[D];北京大學(xué);2006年

10 黃志強(qiáng);佛教邏輯比較研究[D];中國(guó)人民大學(xué);2002年

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

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

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

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

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

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

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

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

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

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

10 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

，

本文編號(hào)：1100099