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

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

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

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前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)涵算子的伴隨對(duì)及其圈乘算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

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

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

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

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

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

9 馬盈倉(cāng),李駿;FMP和FMT的三I解及其性質(zhì)[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2005年02期

10 胡明娣;王國(guó)俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2006年03期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 劉曉紅;關(guān)于企業(yè)人力資源評(píng)價(jià)信息處理系統(tǒng)的研究[D];西南交通大學(xué);2004年

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

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

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

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

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

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

6 王龍春;L～*系統(tǒng)中的一類(lèi)廣義重言式與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 賈國(guó)恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

1 李璧鏡;王國(guó)俊;;廣義三角模和廣義剩余蘊(yùn)涵之間的對(duì)應(yīng)關(guān)系[J];計(jì)算機(jī)工程與應(yīng)用;2010年02期

2 劉今越;曾周末;李鐵軍;;基于灰色預(yù)測(cè)—模糊邏輯的磁場(chǎng)測(cè)量采樣技術(shù)研究[J];儀器儀表學(xué)報(bào);2010年01期

3 王新;李自超;;軟計(jì)算方法在圈閉地質(zhì)評(píng)價(jià)中的應(yīng)用綜述[J];西部探礦工程;2010年03期

4 張隆傳;張小紅;;強(qiáng)Ockham代數(shù)與剩余格[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2010年01期

5 劉春輝;秦學(xué)成;;剩余格的準(zhǔn)濾子拓?fù)淇臻g[J];赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年02期

6 柴春紅;曹志剛;;飛機(jī)故障模糊診斷專家系統(tǒng)的研究[J];數(shù)學(xué)的實(shí)踐與認(rèn)識(shí);2010年01期

7 秦學(xué)成;劉春輝;;基于HFI代數(shù)的模糊命題演算的形式演繹系統(tǒng)[J];赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年01期

8 劉春輝;徐羅山;;關(guān)于剩余格的理想[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2010年04期

9 郭瑞芝;;關(guān)于商映射與商空間的性質(zhì)[J];湖南工業(yè)大學(xué)學(xué)報(bào);2010年01期

10 彭書(shū)華;李鄧化;蘇中;李華德;;一類(lèi)不確定混沌系統(tǒng)的模糊滑�？刂婆c同步[J];計(jì)算機(jī)工程與設(shè)計(jì);2010年06期

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

1 張蕊;向永光;;神經(jīng)元網(wǎng)絡(luò)在唐鋼熱軋1700生產(chǎn)線參數(shù)優(yōu)化中的應(yīng)用[A];全國(guó)冶金自動(dòng)化信息網(wǎng)2010年年會(huì)論文集[C];2010年

2 樓俊鋼;江建慧;靳昂;;可信性屬性權(quán)重分配的模糊層次分析方法[A];第三屆全國(guó)軟件測(cè)試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級(jí)論壇論文集[C];2009年

3 魏謙;張強(qiáng);;不確定多層倉(cāng)庫(kù)布局模型與算法研究[A];中國(guó)企業(yè)運(yùn)籌學(xué)[C];2009年

4 房建東;;多目標(biāo)模糊決策模型及其教學(xué)質(zhì)量綜合評(píng)價(jià)應(yīng)用[A];2008年中國(guó)高校通信類(lèi)院系學(xué)術(shù)研討會(huì)論文集（上冊(cè)）[C];2009年

5 李曄;唐旭東;龐永杰;萬(wàn)磊;;水下機(jī)器人S面運(yùn)動(dòng)控制器及其混合學(xué)習(xí)算法[A];2009中國(guó)控制與決策會(huì)議論文集（1）[C];2009年

6 張世義;李光輝;;汽車(chē)自動(dòng)變速器換擋規(guī)律建模與仿真分析[A];2009中國(guó)控制與決策會(huì)議論文集（3）[C];2009年

7 田家瑋;蘇雁欣;王影;承恒達(dá);郭延輝;張英濤;;應(yīng)用增強(qiáng)算法輔助乳腺腫塊的超聲診斷研究[A];中華醫(yī)學(xué)會(huì)第十次全國(guó)超聲醫(yī)學(xué)學(xué)術(shù)會(huì)議論文匯編[C];2009年

8 李壽濤;郭立書(shū);徐輝;宗長(zhǎng)富;施瑞康;施正堂;;基于模糊邏輯的駕駛員緊急制動(dòng)意圖識(shí)別[A];PCC2009—第20屆中國(guó)過(guò)程控制會(huì)議論文集[C];2009年

9 張超;魯照權(quán);丁飛;胡多根;;網(wǎng)絡(luò)控制系統(tǒng)時(shí)延及控制方法綜述[A];PCC2009—第20屆中國(guó)過(guò)程控制會(huì)議論文集[C];2009年

10 李振龍;王曉霞;;信號(hào)控制的交叉口處駕駛員的情感建模[A];2009年中國(guó)智能自動(dòng)化會(huì)議論文集（第三分冊(cè)）[C];2009年

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

1 黃珊珊;不怕丟三落四,智能眼鏡“盡收眼里”[N];新華每日電訊;2008年

2 清華大學(xué)玉泉醫(yī)院神外 劉偉國(guó);意識(shí)如何進(jìn)行客觀評(píng)價(jià)[N];健康報(bào);2008年

3 沈海燕;康寶欲借品牌升級(jí)成為市場(chǎng)主導(dǎo)者[N];中國(guó)質(zhì)量報(bào);2008年

4 楊彩云;廚電市場(chǎng)開(kāi)打“品牌戰(zhàn)”[N];中華工商時(shí)報(bào);2008年

5 潘春華;江蘇千萬(wàn)專項(xiàng)資金扶持華晨華通重點(diǎn)項(xiàng)目[N];中國(guó)交通報(bào);2007年

6 本報(bào)記者;“強(qiáng)力外援”加盟海爾[N];青島日?qǐng)?bào);2007年

7 劉友存 摘譯;實(shí)現(xiàn)高效 加強(qiáng)環(huán)保[N];中國(guó)冶金報(bào);2006年

8 本報(bào)特約記者　 王握文 本報(bào)記者 龍軍;一位數(shù)學(xué)教授的生命不等式[N];光明日?qǐng)?bào);2006年

9 ;DANIELI自動(dòng)煉鋼、連鑄、軋鋼技術(shù)訣竅與成套技術(shù)[N];世界金屬導(dǎo)報(bào);2006年

10 曹衛(wèi)東;展望未來(lái)電梯發(fā)展方向[N];廣東建設(shè)報(bào);2005年

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

1 廖年冬;信息安全動(dòng)態(tài)風(fēng)險(xiǎn)評(píng)估模型的研究[D];北京交通大學(xué);2010年

2 周豫蘋(píng);基于智能軟件計(jì)算的入侵檢測(cè)關(guān)鍵技術(shù)研究[D];東華大學(xué);2010年

3 趙德新;基于模糊邏輯的語(yǔ)義服務(wù)發(fā)現(xiàn)研究[D];天津大學(xué);2008年

4 申曉寧;基于進(jìn)化算法的多目標(biāo)優(yōu)化方法研究[D];南京理工大學(xué);2008年

5 楊潔;模糊神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)收斂性與閾值可去性[D];大連理工大學(xué);2006年

6 王家忠;外圓縱向智能磨削關(guān)鍵技術(shù)研究[D];吉林大學(xué);2006年

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

8 張建民;協(xié)作型模糊混沌神經(jīng)網(wǎng)絡(luò)研究[D];哈爾濱工程大學(xué);2006年

9 紀(jì)祥春;基于圖像數(shù)據(jù)融合的管線跟蹤ROV導(dǎo)航控制研究[D];哈爾濱工程大學(xué);2006年

10 趙建玉;智能計(jì)算方法在城市交通中的應(yīng)用與交通流建模研究[D];山東大學(xué);2006年

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

1 王曉娟;基于多傳感器信息的移動(dòng)機(jī)器人定位研究[D];浙江大學(xué);2010年

2 喬文釗;目標(biāo)跟蹤系統(tǒng)中多傳感器數(shù)據(jù)融合算法研究[D];電子科技大學(xué);2009年

3 文科星;智能PID算法的研究及其在溫度控制中的應(yīng)用[D];東華大學(xué);2009年

4 李偉為;基于遙控地下鏟運(yùn)機(jī)的行駛智能控制策略研究[D];電子科技大學(xué);2009年

5 劉立輝;基于GIS的電網(wǎng)負(fù)荷預(yù)測(cè)及其優(yōu)化研究[D];大慶石油學(xué)院;2009年

6 程天笑;基于中介邏輯無(wú)窮值語(yǔ)義模型的否定知識(shí)表示與處理[D];江南大學(xué);2009年

7 張海酉;飛行器非定常氣動(dòng)力數(shù)學(xué)模型的對(duì)比分析[D];中國(guó)空氣動(dòng)力研究與發(fā)展中心;2009年

8 陳誠(chéng);基于AFS理論的模糊分類(lèi)器設(shè)計(jì)[D];大連理工大學(xué);2009年

9 邱新朋;基于本體及模糊邏輯的協(xié)同設(shè)計(jì)研究[D];大連理工大學(xué);2009年

10 錢(qián)海燕;種群生態(tài)系統(tǒng)的模糊建模與軟測(cè)量[D];江蘇大學(xué);2009年

，

本文編號(hào)：863834