本文關(guān)鍵詞：基于完備BR_0-代數(shù)的全蘊涵三I算法，由筆耕文化傳播整理發(fā)布。

【摘要】：研究了基礎(chǔ)BR0-代數(shù)的性質(zhì)和基于完備基礎(chǔ)BR0-代數(shù)的全蘊涵三I算法,對—般蘊涵算子給出了三I算法解存在的—個充分條件,并將結(jié)果應(yīng)用于R0-單位區(qū)間W,不但極大的簡化了R0-單位區(qū)間W的R0-型α-三I算法結(jié)果的證明,而且使其證明過程與相應(yīng)的模糊命題演算系統(tǒng)結(jié)合起來,說明了R0-型三I算法是與B(?)*系統(tǒng)相匹配的模糊推理方法．
【作者單位】： 陜西師范大學數(shù)學研究所 陜西師范大學數(shù)學研究所 陜西師范大學數(shù)學研究所
【關(guān)鍵詞】： 模糊邏輯 基礎(chǔ)BR_-代數(shù) R_-單位區(qū)間 三I算法 基礎(chǔ)■*系統(tǒng)
【基金】：國家自然科學基金(10471083) 陜西師范大學重點科研基金(995130)
【分類號】：O141.1
【正文快照】： 1引言 模糊推理是模糊控制的理論基礎(chǔ).在一個模糊控制系統(tǒng)中，當輸入為A時，結(jié)果是B，現(xiàn) 輸入為A*，結(jié)果如何?將其轉(zhuǎn)化為推理模型是: 問題1.1 已知A一B 且給定A (1 .1) 求B* 模糊推理有多種不同的方法【‘一6]，其基本思想是: i)把A，方，A‘以及待求的B‘用F它zzy集來表示，

【參考文獻】

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

1 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學E輯;2002年02期

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

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

4 吳洪博,文秋梅;基礎(chǔ)L~*系統(tǒng)的一種擴張——Lukasiewicz系統(tǒng)[J];模糊系統(tǒng)與數(shù)學;2002年02期

5 吳洪博;基礎(chǔ)R_(0-)代數(shù)與基礎(chǔ)L~*系統(tǒng)[J];數(shù)學進展;2003年05期

6 吳洪博;基礎(chǔ)R_0-代數(shù)的性質(zhì)及在L~*系統(tǒng)中的應(yīng)用[J];數(shù)學研究與評論;2003年03期

【共引文獻】

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

1 馬征杰;大學生思想品德定量評價體系設(shè)計與程序[J];安康師專學報;2001年04期

2 辛曉東,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學院學報(自然科學版);2000年02期

3 鄭亞林,海煥智,白永成;3I方案下的Fuzzy推理算法[J];寶雞文理學院學報(自然科學版);2001年02期

4 鄭亞林,黃德隆,郭健;Fuzzy推理的Mamdani算法[J];寶雞文理學院學報(自然科學版);2001年03期

5 鄭亞林;Fuzzy推理的各種模型算法[J];寶雞文理學院學報(自然科學版);2002年01期

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

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

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

9 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅲ)——由三角模或余三角模構(gòu)造的模糊蘊涵算子[J];北京師范大學學報(自然科學版);2004年04期

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

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

1 宋士吉;馮純伯;費樹岷;孫長銀;;模糊推理的Zadeh型全蘊涵三Ⅰ算法[A];第十九屆中國控制會議論文集（一）[C];2000年

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

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

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

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

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

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

8 黃麗;李中夫;;基于三/算法的多規(guī)則模糊推理[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

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

10 孟丹;陳圖云;;模糊推理的三Ⅰ原則貼近算法[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

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

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

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

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

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

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

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

7 李群;不確定性數(shù)學方法研究及其在經(jīng)濟管理中的應(yīng)用[D];大連理工大學;2002年

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

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

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

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

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

2 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

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

4 孟丹;基于事例推理的檢索與推理模型研究[D];遼寧師范大學;2001年

5 高小軍;模糊推理的新算法及基于模糊小波網(wǎng)絡(luò)的自適應(yīng)控制[D];西安電子科技大學;2002年

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

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

8 張振華;粗集理論及其在數(shù)據(jù)預(yù)處理過程中的應(yīng)用[D];昆明理工大學;2002年

9 徐鯤;國企經(jīng)理人薪酬體系研究[D];華北電力大學（北京）;2003年

10 楊曉煒;基于拓撲變換的模糊推理研究[D];西南交通大學;2003年

【二級參考文獻】

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

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

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

3 李洪興;模糊控制的插值機理[J];中國科學E輯;1998年03期

4 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯;1999年01期

5 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學E輯;2002年02期

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

7 王國俊;蘊涵格與Stone表現(xiàn)定理的推廣[J];科學通報;1998年11期

8 吳洪博,文秋梅;積分語義學中的積分相似度與偽距離[J];陜西師范大學學報(自然科學版);2000年03期

9 吳洪博,文秋梅;L~*系統(tǒng)中的模糊演繹定理[J];陜西師范大學學報(自然科學版);2001年01期

10 王國俊;一類代數(shù)上的邏輯學(Ⅰ)[J];陜西師范大學學報(自然科學版);1997年01期

【相似文獻】

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

1 張惠民;;論模糊邏輯的哲學意義和實用價值[A];1993年邏輯研究專輯[C];1993年

2 張尚水;;模糊邏輯[A];全國邏輯討論會論文選集[C];1979年

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

4 傅殿英;;模糊邏輯與質(zhì)量互變規(guī)律[A];邏輯今探——中國邏輯學會第五次代表大會暨學術(shù)討論會論文集[C];1996年

5 暢春玲;張運杰;于東;董云影;;建立在模糊邏輯上的模糊元胞自動機[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學學術(shù)年會論文集[C];2004年

6 王建芳;;邏輯在人工智能科學中的應(yīng)用與前景[A];1994年邏輯研究專輯[C];1994年

7 閔珊華;賀仲雄;;金岳霖晚年對Fuzzy邏輯的認識[A];金岳霖學術(shù)思想研究——金岳霖學術(shù)思想研討會論文集[C];1985年

8 陳圖云;吳鳳干;湯服成;;直覺模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學學術(shù)年會論文集[C];2004年

9 袁正校;何向東;;關(guān)于真謂詞的冗余論的若干問題[A];1998年邏輯研究專輯[C];1998年

10 陳自立;桂起權(quán);;辯證邏輯公理系統(tǒng)DLA及DLB[A];1995年邏輯研究專輯[C];1995年

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

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

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

1 蔣萍;模糊邏輯在風險投資決策中的應(yīng)用[D];西南師范大學;2005年

2 孟艷平;擾動模糊命題邏輯系統(tǒng)的語義[D];遼寧師范大學;2005年

3 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學;2001年

4 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學;2005年

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

6 李海霞;邏輯代數(shù)中若干問題的研究[D];陜西師范大學;2008年

7 高李紅;QBL代數(shù)與IMTL代數(shù)及系統(tǒng)的研究[D];陜西師范大學;2011年

8 李麗;模糊時序命題邏輯系統(tǒng)的語義[D];遼寧師范大學;2005年

9 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

  本文關(guān)鍵詞：基于完備BR_0-代數(shù)的全蘊涵三I算法，由筆耕文化傳播整理發(fā)布。

，

本文編號：262134