本文關(guān)鍵詞：模糊邏輯的緊致性與模糊理論相容度

  更多相關(guān)文章： 模糊邏輯 緊致性 模糊理論 相容度

【摘要】：為了得到一般理論的相容度函數(shù),利用不同的模糊系統(tǒng)的共同性質(zhì)——模糊系統(tǒng)的緊致性,基于相容、不相容和全發(fā)散理論的性質(zhì)以及發(fā)散度的概念,主要在二值邏輯系統(tǒng)和L*命題邏輯來討論理論的相容度問題,對有限命題集的相容度函數(shù)給出自然的推廣,得到一般的命題集的相容度函數(shù),并討論了相容度函數(shù)的性質(zhì)。
【作者單位】： 河南理工大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;河南理工大學(xué)安全科學(xué)與工程學(xué)院;
【關(guān)鍵詞】： 模糊邏輯 緊致性 模糊理論 相容度
【基金】：國家重點(diǎn)基礎(chǔ)研究發(fā)展“973”計(jì)劃(2005CD221500) 河南理工大學(xué)青年骨干教師資助項(xiàng)目(649070)
【分類號】：O141.1
【正文快照】： 0引言緊致性是模糊邏輯的一個(gè)重要性質(zhì)[1],所謂緊致性是指一組邏輯公式之集(稱為理論)有模型當(dāng)且僅當(dāng)它的每個(gè)有限子理論有模型。文獻(xiàn)[2-6]分別證明了Lukasiewicz命題邏輯,Godel命題邏輯和乘積命題邏輯以及L*命題邏輯和NMG命題邏輯都是緊致的。在任何邏輯系統(tǒng)中,理論的相容性

【參考文獻(xiàn)】

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

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

2 應(yīng)明生;模糊邏輯的緊致性[J];科學(xué)通報(bào);1998年04期

【共引文獻(xiàn)】

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

1 蘇忍鎖;蘊(yùn)涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2004年02期

2 尤飛,馮艷賓,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅰ)——模糊蘊(yùn)涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年05期

3 尤飛,馮艷賓,王加銀,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅱ)——模糊蘊(yùn)涵算子的伴隨對及其圈乘算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

4 尤飛,楊昔陽,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

5 尤飛,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅳ)——模糊蘊(yùn)涵算子的對偶算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年05期

6 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

7 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

8 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

9 裴道武,姜慧;一個(gè)新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(bào)(自然科學(xué)版);2003年01期

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

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

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

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

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

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

5 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會(huì)論文集[C];2008年

6 潘小東;徐揚(yáng);;基于Lukasiewicz蘊(yùn)涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會(huì)論文集[C];2008年

7 胡明娣;于鵬;王國俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會(huì)論文集[C];2008年

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

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

2 樊磊;Domain理論中若干問題的研究[D];首都師范大學(xué);2001年

3 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

4 趙光峰;格蘊(yùn)涵代數(shù)與圖的升分解問題的研究[D];西南交通大學(xué);2002年

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

6 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

7 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

8 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究[D];西南交通大學(xué);2002年

9 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

10 沈暉;基于知識管理的企業(yè)集成支撐技術(shù)研究[D];清華大學(xué);2003年

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

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問題[D];陜西師范大學(xué);2001年

2 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

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

5 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

8 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

9 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

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

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

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

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

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

4 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

5 應(yīng)明生;模糊邏輯的緊致性[J];科學(xué)通報(bào);1998年04期

6 王國俊;廣義MP規(guī)則[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年03期

7 王國俊,蘭蓉;系統(tǒng)H_α中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年02期

【相似文獻(xiàn)】

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

1 裴道武;王三民;楊瑞;;模糊蘊(yùn)涵格理論[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯;2011年03期

2 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(下)[J];安康學(xué)院學(xué)報(bào);2011年03期

3 張樂;裴道武;王三民;;系統(tǒng)餿_n~*的邏輯性質(zhì)及其應(yīng)用[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯;2011年02期

4 黃山;;模糊數(shù)學(xué)、模糊技術(shù)和模糊產(chǎn)品[J];科技與企業(yè);1997年05期

5 郝永花;王緒柱;;模糊選擇函數(shù)T-擬傳遞合理性的刻畫[J];太原理工大學(xué)學(xué)報(bào);2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

2 張倩生;沈繼忠;;雙模糊拓?fù)涞囊粋�(gè)新方法[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

3 龐善起;秦克云;趙希順;王雪生;;模糊邏輯與二值邏輯[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

4 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

5 成央金;;De Morgan函數(shù)的簡化(Ⅰ)[A];1997中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

6 陳圖云;陳文麗;;修正的Atanassov邏輯及其廣義重言式[A];中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

7 成科揚(yáng);;基于集對分析的模糊邏輯及其推理方法研究[A];第二十三屆中國控制會(huì)議論文集（下冊）[C];2004年

8 焦利民;劉耀林;;土地適宜性評價(jià)的模糊神經(jīng)網(wǎng)絡(luò)建模及其應(yīng)用分析[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國科協(xié)年會(huì)論文集（二）[C];2007年

9 郭方芳;陳圖云;;模糊推理渠道及鏈、網(wǎng)的確定度[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

10 鄒麗;;直覺算子模糊邏輯的解釋及應(yīng)用[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

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

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

2 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

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

4 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

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

6 盧志剛;基于模糊理論的電子商務(wù)聲譽(yù)管理模型研究[D];天津大學(xué);2007年

7 李嵩松;基于隱馬爾可夫模型和計(jì)算智能的股票價(jià)格時(shí)間序列預(yù)測[D];哈爾濱工業(yè)大學(xué);2011年

8 周U，

本文編號：863833