【摘要】：為了克服經(jīng)典一維模糊邏輯系統(tǒng)的不適應(yīng)性,提出了擾動模糊命題邏輯的概念.用二維擾動模糊命題邏輯最大子代數(shù)I2R的有限子集I2Rn取代I2R,并在其中引入Σ-廣義矛盾式理論.結(jié)果表明:任意公式至多經(jīng)過2n-μ+δ次就可降級為矛盾式;證明了矛盾式表示定理,表明關(guān)于一種有限值擾動模糊命題邏輯系統(tǒng)而言的廣義矛盾式必可升降級為關(guān)于另一有限值擾動模糊命題邏輯系統(tǒng)而言的矛盾式.為模糊信息處理的方法和應(yīng)用提供了新的理論基礎(chǔ).
[Abstract]:In order to overcome the inadaptability of classical one-dimensional fuzzy logic systems, the concept of perturbed fuzzy propositional logic is proposed. The finite subset I2Rn of the maximum subalgebra I2R of two-dimensional perturbed fuzzy propositional logic is used to replace I2R, and the 危-generalized contradiction theory is introduced in it. The results show that any formula can be reduced to contradiction after at most 2 n-渭 未 times. In this paper, the representation theorem of contradiction is proved, and it is shown that the generalized contradiction for a finite-valued perturbed fuzzy propositional logic system must be reduced to the contradiction for another finite-valued perturbed fuzzy propositional logic system. It provides a new theoretical basis for the method and application of fuzzy information processing.
【作者單位】： 東南大學(xué)系統(tǒng)工程研究所 東南大學(xué)系統(tǒng)工程研究所
【分類號】：O141.1;

【參考文獻(xiàn)】

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

1 孟廣武;;區(qū)間值Fuzzy集的基本理論[J];應(yīng)用數(shù)學(xué);1993年02期

2 陳圖云,韓瑩,廖士中;擾動模糊邏輯I~2的最大子代數(shù)及其廣義重言式[J];工程數(shù)學(xué)學(xué)報(bào);2003年02期

3 韓瑩,陳森發(fā);擾動模糊命題邏輯的代數(shù)結(jié)構(gòu)及其廣義重言式性質(zhì)[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯(中文版);2005年04期

4 陳圖云,韓瑩;有限擾動模糊邏輯代數(shù)及其廣義重言式[J];遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年04期

【共引文獻(xiàn)】

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

1 吳洪博,文秋梅;賦值格中一種混合運(yùn)算的性質(zhì)和應(yīng)用[J];西南交通大學(xué)學(xué)報(bào);2002年01期

2 李曉萍,王貴君;連續(xù)區(qū)間值模糊數(shù)的相關(guān)性[J];系統(tǒng)工程理論與實(shí)踐;2001年07期

3 張興芳,管恩瑞,孟廣武;區(qū)間值模糊綜合評判及其應(yīng)用[J];系統(tǒng)工程理論與實(shí)踐;2001年12期

4 袁和軍,李駿;模糊推理的攝動性[J];模糊系統(tǒng)與數(shù)學(xué);2001年04期

5 張曉平;Vague集的映射定理及其證明[J];山東建筑工程學(xué)院學(xué)報(bào);2004年01期

6 汪保明,李孝忠;區(qū)間值模糊線性規(guī)劃問題及其求解方法[J];煙臺師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2001年02期

7 謝圣獻(xiàn);學(xué)習(xí)成績的模糊排序[J];煙臺師范學(xué)院學(xué)報(bào)(自然科學(xué)版);1999年01期

8 劉用麟,劉三陽;R_0-代數(shù)的正規(guī)MP-理想[J];西安電子科技大學(xué)學(xué)報(bào);2005年01期

9 程國勝;R_0代數(shù)中的濾子與理想[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

10 裴道武;FMT問題的兩種三I算法及其還原性[J];模糊系統(tǒng)與數(shù)學(xué);2001年04期

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

1 伊良忠;格蘊(yùn)涵代數(shù)及語言真值不確定性推理研究[D];西南交通大學(xué);2007年

2 劉新;三維空間關(guān)系的描述及其定性推理[D];山東科技大學(xué);2007年

3 吳恒洋;概率計(jì)算與可能性計(jì)算的Domain語義[D];上海師范大學(xué);2007年

4 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年

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

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

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

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

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

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

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

1 何義平;基于SS-三角模的模糊邏輯系統(tǒng)UL~*的若干問題研究[D];南昌大學(xué);2007年

2 韓紅娟;模糊關(guān)系傳遞閉包與內(nèi)部的進(jìn)一步研究[D];太原理工大學(xué);2007年

3 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學(xué);2007年

4 胡凱;關(guān)于模糊緊性與粗集拓?fù)涞难芯縖D];聊城大學(xué);2007年

5 折延宏;若干經(jīng)典命題邏輯問題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

6 吳蘇朋;MTL-代數(shù)中幾類特殊的濾子和Fuzzy濾子[D];陜西師范大學(xué);2007年

7 韓召偉;格值自動機(jī)的代數(shù)性質(zhì)與極小化算法[D];陜西師范大學(xué);2007年

8 梁常建;格值正則語言及其截集性質(zhì)研究[D];陜西師范大學(xué);2007年

9 于鵬;F（S）中的近似推理與三I算法的連續(xù)性[D];陜西師范大學(xué);2007年

10 許格妮;偏序集上的S代數(shù)及其與若干代數(shù)的關(guān)系[D];陜西師范大學(xué);2007年

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

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

1 王戈平;不分明集的一個(gè)分解定理及其在不分明拓?fù)渲械膽?yīng)用[J];科學(xué)通報(bào);1981年05期

2 陳圖云,韓瑩;有限擾動模糊邏輯代數(shù)及其廣義重言式[J];遼寧師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年04期

3 陳圖云,韓瑩,廖士中;擾動模糊邏輯I~2的最大子代數(shù)及其廣義重言式[J];工程數(shù)學(xué)學(xué)報(bào);2003年02期

4 楊曉斌,張文修;Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

5 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

【相似文獻(xiàn)】

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

1 韓瑩,陳森發(fā);擾動模糊命題邏輯的代數(shù)結(jié)構(gòu)及其廣義重言式性質(zhì)[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯(中文版);2005年04期

2 韓瑩,陳森發(fā);有限擾動模糊命題邏輯系統(tǒng)的Σ-廣義矛盾式[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年05期

3 韓瑩,陳森發(fā);擾動模糊命題邏輯的代數(shù)結(jié)構(gòu)及其廣義重言式性質(zhì)[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯(中文版);2005年04期

4 韓瑩,陳森發(fā);有限擾動模糊命題邏輯系統(tǒng)的Σ-廣義矛盾式[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年05期

，

本文編號：2473350