命題邏輯中理論的條件真度
本文關(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
本文鏈接:http://sikaile.net/shekelunwen/ljx/681281.html