本文關(guān)鍵詞：模糊命題演算系統(tǒng)的一個(gè)新的等價(jià)形式　出處：《工程數(shù)學(xué)學(xué)報(bào)》2010年05期 　論文類型：期刊論文

  更多相關(guān)文章： 模糊邏輯 命題演算 系統(tǒng)(?)~* 等價(jià)形式

【摘要】：在模糊邏輯系統(tǒng)L~*中,P∧Q是嗀(嗀P∨嗀Q)的簡寫,連接詞∧與連接詞嗀,∨,→的關(guān)系應(yīng)由L~*中的公理體系決定。本文通過在L~*中增加適當(dāng)公理使得連接詞∧與嗀,∨,→具備所需的特殊關(guān)系,得到的主要結(jié)論是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同時(shí)放棄約定"P∧Q是嗀(嗀P∨嗀Q)的簡寫",所得的系統(tǒng)L_0~*與L~*等價(jià)。
[Abstract]:In the fuzzy logic system L~*, a P Q is (P V Q) shorthand, and a conjunction connectives, V, decided to the relationship by the axiom system in L~*. In this paper, by adding appropriate axioms in L~* makes the connection and a word, V, and the special relationship is required, the main conclusion is: the increase in L~* (axiom L~*9_b: ((A, C) V (B, C) - (A) ^ B, C)), and agreed to give up "P is a Q (P V Q) - the" system of L_0~* and L~* equivalent income.
【作者單位】： 西安文理學(xué)院數(shù)學(xué)系;陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金(10871121) 西安文理學(xué)院2008年中青年專業(yè)技術(shù)人員科研資助項(xiàng)目(kyc200819)~~
【分類號】：O141.1
【正文快照】： 1引言模糊推理是模糊邏輯在工程技術(shù)中的成功應(yīng)用，而模糊推理的基礎(chǔ)是模糊命題演算系統(tǒng)民刁。在文獻(xiàn)【lJ中，，王國俊教授以，，v，*為基本連結(jié)詞建立了模糊命題演算系統(tǒng)￡*，該系統(tǒng)乙*在模糊命題演算系統(tǒng)中具有獨(dú)特而重要的地位。此后系統(tǒng)戶經(jīng)過文獻(xiàn)[3，4」的簡化，其公理體

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 何穎俞,王國俊;L~*-Lindenbaum代數(shù)的結(jié)構(gòu)與L~*公理系統(tǒng)的簡化形式[J];工程數(shù)學(xué)學(xué)報(bào);1998年01期

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

3 吳洪博,王小敏,韓誠;L~*系統(tǒng)中的模糊演繹定理的改進(jìn)形式[J];四川大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年01期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關(guān)性與邏輯運(yùn)算研究[J];北京科技大學(xué)學(xué)報(bào);2007年S2期

2 鄭亞林;Fuzzy邏輯新進(jìn)展[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年01期

3 鄭亞林,白永成,黃宏科,黃德隆;基于帶Fuzzy殼Boole代數(shù)和修正的Gaines-Rescher蘊(yùn)涵算子的險(xiǎn)象識別邏輯[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

4 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

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

6 劉東利,茹永梅;經(jīng)典二值邏輯系統(tǒng)L中的MT問題[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

7 焦燁;馬曉玨;;基于max-R_0復(fù)合意義下的模糊矩陣冪序列的收斂性[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2006年04期

8 杜亞靈;尹貽林;;基于模糊邏輯的公共項(xiàng)目風(fēng)險(xiǎn)分配模型[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

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

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

相關(guān)會(huì)議論文 前8條

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

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

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

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

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

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

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

8 潘小東;徐揚(yáng);;基于格值命題邏輯的語言真值不確定性推理方法[A];第八屆中國不確定系統(tǒng)年會(huì)論文集[C];2010年

相關(guān)博士學(xué)位論文 前10條

1 權(quán)義寧;基于L-模糊集的P2P信任模型及應(yīng)用研究[D];西安電子科技大學(xué);2009年

2 王一飛;離心式冷水機(jī)組智能故障診斷系統(tǒng)的研究與開發(fā)[D];天津大學(xué);2010年

3 高欣;不確定測度及其應(yīng)用[D];清華大學(xué);2009年

4 焦曉佑;智能工程推理機(jī)制研究及其在電力供需平衡復(fù)雜性分析中的應(yīng)用[D];北京交通大學(xué);2009年

5 林立新;SS7E電力機(jī)車電氣系統(tǒng)的故障診斷技術(shù)研究[D];中南大學(xué);2008年

6 李小申;三維模糊集[D];大連理工大學(xué);2009年

7 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

8 常之艷;基于格值一階邏輯系統(tǒng)的不確定性推理及其應(yīng)用研究[D];西南交通大學(xué);2010年

9 潘小東;關(guān)于格值邏輯及其語言真值不確定性推理研究[D];西南交通大學(xué);2010年

10 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 王曉寧;兩類模糊集的表現(xiàn)定理及其應(yīng)用[D];遼寧師范大學(xué);2009年

2 胡江山;幾種邏輯系統(tǒng)中命題真度的研究[D];山東大學(xué);2009年

3 隋云云;非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學(xué);2009年

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

5 崔艷麗;R_0代數(shù)的簡化以及相對真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

6 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

7 江歡;模糊推理中CRI算法與全蘊(yùn)涵三I算法的等價(jià)性研究[D];西南大學(xué);2009年

8 劉賢江;Loomis-Sikorski表現(xiàn)定理及IMTL代數(shù)上的素布爾濾子格[D];湖南師范大學(xué);2008年

9 周純陽;半群上的拓?fù)�、偏序和相關(guān)Domain[D];揚(yáng)州大學(xué);2009年

10 朱芳芳;正則剩余格的*-理想及其性質(zhì)[D];揚(yáng)州大學(xué);2009年

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

相關(guān)期刊論文 前8條

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

2 應(yīng)明生;允許修改推理規(guī)則的開放邏輯[J];科學(xué)通報(bào);1996年11期

3 王國俊,李永明;拓?fù)浞肿痈穹懂犈c相關(guān)范疇的關(guān)系[J];科學(xué)通報(bào);1997年04期

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

5 吳望名;關(guān)于模糊邏輯的—場爭論[J];模糊系統(tǒng)與數(shù)學(xué);1995年02期

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

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

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 楊必成;;一個(gè)實(shí)齊次核的Hilbert型不等式[J];西南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期

2 何宇翔;肖輝;呂達(dá)仁;;利用極化雷達(dá)分析層狀云中水凝物粒子性狀分布[J];大氣科學(xué);2010年01期

3 陳鋼;宋曉宇;顧明;;COQ定理證明器輔助PLC程序驗(yàn)證和分析[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期

4 彭家寅;;直覺模糊集相似度限定推理方法[J];內(nèi)江師范學(xué)院學(xué)報(bào);2010年02期

5 楊必成;;一個(gè)零齊次核的Hilbert型積分不等式[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2010年02期

6 黃臻曉;;一個(gè)逆向Hilbert型積分不等式的最佳推廣[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2010年02期

7 陳華友;張倩;王曉;;基于可信性測度的模糊線性不等式組的確定性等價(jià)[J];大學(xué)數(shù)學(xué);2010年01期

8 趙德勤;殷明;;一個(gè)有趣不等式的新證明方法及推論[J];大學(xué)數(shù)學(xué);2010年01期

9 陳陽;王濤;;二型模糊集模糊推理方法的單調(diào)性[J];遼寧工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期

10 陳瑩;師建國;李靜;;托卡馬克裝置三次系統(tǒng)的Lyapunov量計(jì)算[J];揚(yáng)州大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期

相關(guān)會(huì)議論文 前10條

1 鄭亞琴;劉艷軍;佟紹成;;具有監(jiān)督控制功能的非線性系統(tǒng)的直接自適應(yīng)模糊控制[A];2009中國控制與決策會(huì)議論文集（1）[C];2009年

2 賀乃寶;高倩;龔成龍;馮源;姜長生;;近空間飛行器模糊自適應(yīng)滑�？刂芠A];2009中國控制與決策會(huì)議論文集（3）[C];2009年

3 胡世禎;;使用價(jià)值是商品的自然屬性[A];全國高等財(cái)經(jīng)院�！顿Y本論》研究會(huì)2009年度（第26屆）學(xué)術(shù)年會(huì)論文集[C];2009年

4 葉淵杰;劉玉潔;陳光大;陳堅(jiān);;基于模糊推理和神經(jīng)網(wǎng)絡(luò)的水泵機(jī)組故障診斷方法研究[A];2009全國大型泵站更新改造研討暨新技術(shù)、新產(chǎn)品交流大會(huì)論文集[C];2009年

5 陳瑩;李靜;;托卡馬克裝置三次系統(tǒng)的Lyapunov量計(jì)算[A];第十二屆全國非線性振動(dòng)暨第九屆全國非線性動(dòng)力學(xué)和運(yùn)動(dòng)穩(wěn)定性學(xué)術(shù)會(huì)議論文集[C];2009年

6 賀乃寶;高倩;龔成龍;姜長生;;近空間飛行器模糊自適應(yīng)滑模控制[A];2009年中國智能自動(dòng)化會(huì)議論文集（第一分冊）[C];2009年

7 劉敬生;周長銀;;求解一類兩階段隨機(jī)凸二次規(guī)劃問題的水平方法[A];中國企業(yè)運(yùn)籌學(xué)學(xué)術(shù)交流大會(huì)論文集[C];2008年

8 馬殿同;;模糊控制在燒結(jié)混合加水上的應(yīng)用[A];中國計(jì)量協(xié)會(huì)冶金分會(huì)2008年會(huì)論文集[C];2008年

9 歐陽宏志;陳洪云;;模擬電路故障診斷的現(xiàn)狀與發(fā)展[A];第二十屆電工理論學(xué)術(shù)年會(huì)論文集[C];2008年

10 李姚礦;張曉偉;;模糊現(xiàn)金流折現(xiàn)模型在企業(yè)資產(chǎn)價(jià)值評估中的應(yīng)用[A];中國會(huì)計(jì)學(xué)會(huì)高等工科院校分會(huì)2008年學(xué)術(shù)年會(huì)（第十五屆年會(huì)）暨中央在鄂集團(tuán)企業(yè)財(cái)務(wù)管理研討會(huì)論文集（上冊）[C];2008年

相關(guān)重要報(bào)紙文章 前2條

1 寧莉娜;從非日常思維的價(jià)值維度看邏輯方法的走向[N];光明日報(bào);2004年

2 復(fù)旦大學(xué) 姚慕生;線性代數(shù)備考策略[N];中國教育報(bào);2003年

相關(guān)博士學(xué)位論文 前10條

1 林雷;機(jī)器人模糊控制策略研究[D];燕山大學(xué);2009年

2 康強(qiáng);不確定非線性系統(tǒng)的自適應(yīng)模糊控制[D];大連理工大學(xué);2009年

3 高永;分拆恒等式的組合證明[D];南開大學(xué);2009年

4 張應(yīng)奇;量化反饋鎮(zhèn)定與有限時(shí)間控制[D];鄭州大學(xué);2009年

5 武星星;模糊系統(tǒng)和ANFIS的改進(jìn)及其在加工參數(shù)智能選擇中的應(yīng)用研究[D];吉林大學(xué);2007年

6 陳剛;不確定非線性系統(tǒng)的魯棒自適應(yīng)控制研究[D];浙江大學(xué);2006年

7 彭興璇;三角剖分上的多元有理樣條及其應(yīng)用[D];大連理工大學(xué);2006年

8 張曉宇;非線性系統(tǒng)智能自適應(yīng)滑�？刂萍捌鋺�(yīng)用研究[D];浙江大學(xué);2006年

9 李秀紅;粗糙集的模糊刻畫與知識顆粒特征研究[D];山東大學(xué);2006年

10 孫海蓉;模糊神經(jīng)網(wǎng)絡(luò)的研究及其應(yīng)用[D];華北電力大學(xué)（河北）;2006年

相關(guān)碩士學(xué)位論文 前10條

1 孫焱平;模糊邏輯中蘊(yùn)涵算子的構(gòu)造[D];南昌大學(xué);2010年

2 李寶智;高精高速數(shù)控機(jī)床直接驅(qū)動(dòng)系統(tǒng)魯棒抑振控制策略研究[D];沈陽工業(yè)大學(xué);2010年

3 雷陽;關(guān)于Hilbert空間上的算子不等式及相關(guān)問題的研究[D];東華大學(xué);2010年

4 何如海;模糊邏輯系統(tǒng)在企業(yè)知識管理績效評價(jià)中的運(yùn)用[D];北京交通大學(xué);2009年

5 陳霞;基于模糊邏輯的軟件開發(fā)項(xiàng)目風(fēng)險(xiǎn)評估研究[D];揚(yáng)州大學(xué);2009年

6 李卓;非線性大系統(tǒng)的非脆弱模糊控制研究[D];燕山大學(xué);2009年

7 張彥柳;基于改進(jìn)模糊聚類的模糊建模方法及其應(yīng)用研究[D];燕山大學(xué);2009年

8 王雙霞;不確定性機(jī)器人的幾種智能控制研究[D];燕山大學(xué);2009年

9 田學(xué)靜;X-Y數(shù)控平臺模型辨識及力/位置控制研究[D];燕山大學(xué);2009年

10 邢迪;基于模糊系統(tǒng)穩(wěn)定性的設(shè)計(jì)方法[D];江蘇大學(xué);2009年

本文編號：1338670