天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 社科論文 > 邏輯論文 >

命題邏輯中理論的條件真度

發(fā)布時間:2017-08-16 03:28

  本文關(guān)鍵詞:命題邏輯中理論的條件真度


  更多相關(guān)文章: 計量邏輯 真度 條件真度 近似推理 理論和諧度


【摘要】:探討了理論真度的性質(zhì)后基于條件概率的思想,給出了理論的條件真度的概念,并用它建立了一種可以在公式集之間展開的近似推理模式,用于探尋最優(yōu)推理結(jié)論和最優(yōu)推理前提,最后給出了理論的和諧度的概念,刻畫理論內(nèi)部公式和諧共存的程度。
【作者單位】: 浙江理工大學理學院;
【關(guān)鍵詞】計量邏輯 真度 條件真度 近似推理 理論和諧度
【基金】:國家自然科學基金資助項目(10871229;60863002) 浙江理工大學科研資助項目(YJG-Z07001)
【分類號】:O141.1
【正文快照】: 0引言為了將數(shù)值計算引入到數(shù)理邏輯中,文獻[1]首先在二值命題邏輯中建立了真度理論,之后,計量邏輯學在文獻[2]中被正式提出,其中分別介紹了二值命題邏輯L,Lukasiewicz多值命題邏輯Luk,Ln和命題演算系統(tǒng)L*,L*n中的真度,相容度和近似推理理論。文獻[3]基于條件概率的思想,在二

【參考文獻】

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

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

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

3 韓邦合;王國俊;;二值邏輯中命題的條件真度理論[J];模糊系統(tǒng)與數(shù)學;2007年04期

4 張興芳;;邏輯系統(tǒng)中理論的下真度與相容度(Ⅰ)[J];模糊系統(tǒng)與數(shù)學;2007年06期

5 劉華文;王國俊;張誠一;;幾種邏輯系統(tǒng)中的近似推理理論[J];山東大學學報(理學版);2007年07期

6 胡江山;;一種n值邏輯系統(tǒng)中命題的條件真度[J];山東大學學報(理學版);2009年06期

7 王國俊;高香妮;;命題邏輯系統(tǒng)中理論的真度概念及其應用[J];陜西師范大學學報(自然科學版);2009年05期

【共引文獻】

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

1 劉保翠;王國俊;;命題集F(S)基于相似關(guān)系定義的拓撲[J];安康學院學報;2007年03期

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

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

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

5 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價關(guān)系及其應用[J];東北師大學報(自然科學版);2012年02期

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

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

8 王廷明;;二值命題邏輯中Г-的蘊涵距離和近似推理[J];德州學院學報;2008年06期

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

10 王廷明;;二值命題邏輯中有限理論的相對偏差及其應用[J];德州學院學報;2010年02期

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

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

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

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

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

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

1 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學;2011年

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

3 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學;2011年

4 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學;2011年

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

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

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

8 吳茂念;基于分離的信念更新研究[D];貴州大學;2008年

9 惠小靜;計量邏輯學及其隨機化研究[D];陜西師范大學;2008年

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

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

1 許筱婷;基于本體論的知識表達[D];湘潭大學;2010年

2 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導出函數(shù)問題的研究[D];山東大學;2010年

3 張保壘;表列演算探究[D];華東師范大學;2011年

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

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

6 李蘇妮;加權(quán)Moore機的同余與格值Moore機的約化[D];陜西師范大學;2011年

7 王志明;WBR_0代數(shù)的研究[D];陜西師范大學;2011年

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

9 張金鳳;R_0代數(shù)的兩類特殊元及其應用[D];陜西師范大學;2011年

10 劉杰;正則剩余格上的模糊理想基的研究[D];陜西師范大學;2011年

【二級參考文獻】

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

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

2 任芳;L~*系統(tǒng)中由單個原子生成的公式的真值函數(shù)的特征[J];工程數(shù)學學報;2005年03期

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

4 左衛(wèi)兵;李藝星;;非線性序集邏輯系統(tǒng)L_4~2中命題真度值在[0,1]上的分布[J];華北水利水電學院學報;2007年04期

5 左衛(wèi)兵;;二值命題邏輯中公式的一種概率真度[J];華北水利水電學院學報;2007年05期

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

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

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

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

10 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學E輯:技術(shù)科學;2002年02期

【相似文獻】

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

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

2 郭秀敏;高榮榮;王國俊;;三值Lukasiewicz邏輯中命題的條件真度理論[J];黑龍江科技學院學報;2008年03期

3 秦克云,徐揚,宋振明;基于系統(tǒng)L(X)的幾種近似推理[J];模糊系統(tǒng)與數(shù)學;1998年02期

4 張興芳;孟廣武;;一階模糊謂詞邏輯公式的解釋模型真度理論及其應用[J];系統(tǒng)科學與數(shù)學;2008年05期

5 佟紹成;一類格值蘊涵算子上的近似推理[J];遼寧工學院學報(自然科學版);1994年04期

6 L.A.Zadeh;金雅芬;;近似推理的理論(Ⅲ)[J];計算機科學;1990年04期

7 孫兆豪,唐文彥,呂蓬;專家系統(tǒng)中的近似匹配和近似推理[J];河北大學學報(自然科學版);1993年02期

8 查新月;模糊仿真的近似推理與邊值問題的數(shù)值解[J];數(shù)學理論與應用;2005年02期

9 劉富春;;歸結(jié)與調(diào)解方法的有效性和完備性——基于擴充模糊邏輯[J];計算機工程與應用;2006年02期

10 劉富春;;再擴充模糊邏輯中歸結(jié)方法的有效性[J];廣東工業(yè)大學學報;2006年01期

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

1 徐揚;;基于格值命題邏輯L_(vpl)的近似推理[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

2 程里春;;近似推理的幾個定理[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

3 任平;喻東;黃穎強;;近似推理模式的行為科學研究[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

4 張永清;;準優(yōu)模糊蘊涵與近似推理[A];數(shù)學及其應用文集——中南模糊數(shù)學和系統(tǒng)分會第三屆年會論文集(上卷)[C];1995年

5 韓衛(wèi);姬瓊;;貝葉斯網(wǎng)絡的一種近似推理算法[A];2005中國控制與決策學術(shù)年會論文集(下)[C];2005年

6 李承家;戴冠中;;模糊控制系統(tǒng)穩(wěn)定性研究的現(xiàn)狀及新進展[A];1997中國控制與決策學術(shù)年會論文集[C];1997年

7 李永敏;朱善君;吉吟東;陳湘暉;;一種基于近似推理的數(shù)據(jù)挖掘算法[A];1998中國控制與決策學術(shù)年會論文集[C];1998年

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

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

10 孟廣武;;格區(qū)間值Fuzzy集的分解定理[A];模糊數(shù)學和系統(tǒng)成果會論文集[C];1991年

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

1 孫燕;基于機器學習技術(shù)的《傷寒論》方證分析方法研究[D];北京中醫(yī)藥大學;2007年

2 白治江;基于遺傳算法的模糊系統(tǒng)研究[D];華東師范大學;2006年

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

4 惠小靜;計量邏輯學及其隨機化研究[D];陜西師范大學;2008年

5 李敏;基于可變模糊集理論的徑流預報方法研究[D];大連理工大學;2008年

6 任芳;正則蘊涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學;2005年

7 周平;基于格蘊涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學;2007年

8 陳曉楠;農(nóng)業(yè)干旱災害風險管理理論與技術(shù)[D];西安理工大學;2008年

9 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學;2011年

10 覃鋒;模糊邏輯中若干問題的研究[D];四川大學;2004年

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

1 韓邦合;計量邏輯學中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學;2007年

2 張樂;MTL-代數(shù)上的度量化研究[D];浙江理工大學;2012年

3 徐章艷;基于Vague集的近似推理[D];廣西師范大學;2000年

4 郭明星;基于模糊推理的城市配電網(wǎng)供電能力評估[D];天津大學;2004年

5 胡大偉;動態(tài)貝葉斯網(wǎng)絡的近似推理算法研究[D];合肥工業(yè)大學;2009年

6 楊峰;基于抽樣的貝葉斯網(wǎng)絡推理算法研究[D];合肥工業(yè)大學;2008年

7 田應忠;基于模糊集的模糊專家系統(tǒng)研究與應用[D];華中科技大學;2004年

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

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

10 于鵬;F(S)中的近似推理與三I算法的連續(xù)性[D];陜西師范大學;2007年

,

本文編號:681281

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/681281.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶0e184***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com