程惠茹

（河南師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院，河南　新鄉(xiāng)453007）

基于新蘊(yùn)涵算子的剩余格

程惠茹

（河南師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院，河南新鄉(xiāng)453007）

定義了一個新的蘊(yùn)涵算子，證明了該蘊(yùn)涵算子能構(gòu)成剩余格和可交換剩余格，還證明了BL-代數(shù)是可交換剩余格的特殊情況。

蘊(yùn)涵算子；剩余格；BL-代數(shù)

1986年，K.T.Atanassov提出了直覺模糊集（IFS）的概念，并發(fā)展了Zadeh模糊集的相關(guān)理論［1-2］。直覺模糊集的推導(dǎo)技巧為描述和處理事物的模糊性、系統(tǒng)的不確定性和魯棒性提供了有效方法，直覺模糊蘊(yùn)涵算子和剩余格理論在模糊推理中發(fā)揮著重要的作用。張建名等［3］研究了BL-代數(shù)中的廣義模糊慮子。ZHU Yiquan等［4］研究了剩余格中的慮子理論。薛占熬等［5］研究了基于Lukasiewicz的直覺模糊三I蘊(yùn)涵算子的RIL。YU Shan等［6］研究了廣義直覺模糊函數(shù)的不定積分。徐澤水［7］給出了決策度量中直覺模糊數(shù)的排序方法，并研究了區(qū)間直覺模糊信息的集成方法和它在決策中的應(yīng)用。周曉輝等［8］研究了三角模糊數(shù)直覺模糊Bonferroni平均算子及其應(yīng)用。秦華妮等［9］對直覺模糊集的結(jié)構(gòu)化進(jìn)行了分析。B.Davvaz等［10］對粗糙直覺模糊信息系統(tǒng)進(jìn)行了研究。A.Saha等［11］研究了軟區(qū)間值直覺模糊粗糙集。K.V.Thomas等［12］研究了格上的粗糙直覺模糊集。GONG Zengtai等［13］研究了變精度直覺模糊粗糙集模型及應(yīng)用。在此基礎(chǔ)上，筆者定義了一個新的蘊(yùn)涵算子，證明了該蘊(yùn)涵算子既可以構(gòu)成剩余格，又可以構(gòu)成可交換剩余格，并證明BL-代數(shù)是可交換剩余格的特殊情況。

1　基礎(chǔ)知識

定義1［1-2］：設(shè)U是一個非空論域，U上的直覺模糊集A定義為，其中，μA(x): U→[0,1]和νA(x): U →[0,1]分別表示A的隸屬函數(shù)和非隸屬函數(shù)，且對于任意的x∈ U，有

定義2［1-2］：設(shè)A和B為直覺模糊集，對于x∈U，記，這兩個直覺模糊集的包含關(guān)系、等價關(guān)系定義為如下形式：1）A?B，并且μA(x)≤μB(x)，νB(x)≤νA(x)；2）A= B，并且μA(x)=μB(x)，νA(x)=νB(x)。

定義3［1-2］：設(shè)A和B為直覺模糊集，對于x∈U，記這兩個直覺模糊集的交、并和補(bǔ)運(yùn)算定義為如下形式：1）2）

2　基于新蘊(yùn)涵算子的剩余格

蘊(yùn)涵算子在模糊邏輯推理中起著關(guān)鍵作用，下面根據(jù)定義1、定義2和定義3構(gòu)造新的蘊(yùn)涵算子，并證明該蘊(yùn)涵算子能構(gòu)成剩余格和可交換剩余格。

定理1：設(shè)A、B和C為直覺模糊集，若直覺模糊蘊(yùn)涵?關(guān)于第一個變量是單調(diào)遞減的，關(guān)于第二個變量是單調(diào)遞增的，則有以下結(jié)論成立：

1）由A?B可以得出B?C?A?C；

2）由B?C可以得出A?B?A?C 。

證明：1）由定義2及條件A?B可知，μA(x )≤ μB(x)，νA(x)≥νB(x)。又由定義4可知，，A?C=?x,?μA(x)。由μA(x)≤μB(x)和νA(x)≥ νB(x)，有故有，則有B?C?A?C成立。

由定義2及條件B?C可知，μB(x)≤μC(x )， νB(x)≥νC(x)，又由定義4可知，。由μB(x)≤μC(x )，有，又由νB(x)≥νC(x )，有，則有A?B?A?C成立。

定義5［14］：設(shè)P是偏序集，稱P上的二元運(yùn)算?與→為互為伴隨是指以下條件成立：1）?:P×P→P關(guān)于兩個變量都是單調(diào)遞增的；2）→:P×P→P關(guān)于第一變量是不增的，關(guān)于第二變量是不減的；3）對于任意的a、b、c∈P，有a?b≤c當(dāng)且僅當(dāng)a≤b→c。

把“→”拓展到直覺模糊集上，用符號“?”表示，當(dāng)P上的二元運(yùn)算?與?互為伴隨時，稱(?,?)為P上的伴隨對。

定義6［14］：有界格L稱為可交換剩余格是指以下條件成立：1）L上有伴隨對(?,?)；2）是帶單位元1的交換半群，其中1是L的最大元。

定理2：(RS,∩,?)為剩余格的充分條件是以下結(jié)論成立：1）∩是不減的，即A≤B時，有A∩C≤B∩C；2）?關(guān)于第二個變量是不減的，即B≤C時，有A ?B≤A?C；3）?關(guān)于第一個變量是不增的，即A≤B時，有B?C≤A?C；4）A∩B≤C當(dāng)且僅當(dāng)A≤B?C；5）∩滿足結(jié)合率，即(A∩B)∩C=A∩(B∩C)；6）∩滿足交換率，即A∩B=B∩A；7）∩以1為左單位元，即1∩A=A。

證明：結(jié)論1）、結(jié)論2）和結(jié)論3）已由定理1證明，結(jié)論5）和結(jié)論6）可由定義3得出，下面僅證結(jié)論4）和結(jié)論7）。

由以上證明過程可知，A∩B≤C當(dāng)且僅當(dāng)A≤B?C，即結(jié)論4）成立。

定理3：代數(shù)結(jié)構(gòu)(RS,∩,?)為可交換剩余格的充分必要條件是以下結(jié)論成立：1）(L,∧,∨,0,1)是有界格，相應(yīng)的序為≤，0和1分別為最小元和最大元；2）(L,∧,1)是單位元為1的可交換半群；3）對于任意a、b、c∈L，a∧b≤c當(dāng)且僅當(dāng)a≤b?c。

證明：由定理2的證明過程可知，(RS,∩,?)是可交換剩余格。

定理4：設(shè)(L,∧,∨,?,?,0,1)是一個可交換剩余格，如果對于任意的x、y、z∈L，有A∧B=A?(A?B)和(A?B)∨(B?A)=1成立，則(L,∧,∨, ?,?,0,1)構(gòu)成BL-代數(shù)。

綜上所述，可知(L,∧,∨,?,?,0,1)是一個BL-代數(shù)。

在定理4中，(A?B)∨(B?A)=1稱為預(yù)線性公理。

例如，閉區(qū)間［0，1］關(guān)于自然序、運(yùn)算min(∧)和max(∨)、任意確定的連續(xù)t-模(?)及其相伴剩余蘊(yùn)涵(?)構(gòu)成一個BL-代數(shù)([0,1];min,max,?,?)。

可以驗證，BL-代數(shù)是特殊的可交換剩余格。

［1］ATANASSOV K T.Intuitionistic Fuzzy Sets［J］.Fuzzy Sets and Systems，1986，20:87-96.

［2］ATANASSOV K T，GARGOV G.Interval-valued Intuitionistic Fuzzy Sets［J］.Fuzzy Sets and Systems，1989，31 （3）:343-349.

［3］ZHANG J M，YANG Y.Some Types of Generalized Fuzzy Filters of BL-algebras［J］.Computers and Mathematics with Applications，2008，56:1604-1616.

［4］ZHU Y Q，XU Y.On Filter Theory of Residuated Lattices ［J］.Information Sciences，2010，180（19）:3614-3632.

［5］薛占熬，劉杰，程惠茹，等.基于Lukasiewicz的直覺模糊三I蘊(yùn)涵算子的RIL［J］.南京大學(xué)學(xué)報（自然科學(xué)），2015 （1）：99-104.

［6］YU S，XU Z S，XU J P，et al.Indefinite Integrals of Generalized Intuitionistic Multiplicative Functions［J］.Fuzzy Optimization and Decision Making，2015，14（4）:459-476.

［7］徐澤水.區(qū)間直覺模糊信息的集成方法及其在決策中的應(yīng)用［J］.控制與決策，2007（2）：215-219.

［8］周曉輝，姚儉，吳天魁，等.三角模糊數(shù)直覺模糊Bonferroni平均算子及其應(yīng)用［J］.計算機(jī)應(yīng)用研究，2015（2）：434-438.

［9］秦華妮，洪智勇，駱達(dá)榮.直覺模糊集的結(jié)構(gòu)化分析［J］.控制與決策，2015（3）：561-564.

［10］DAVVAZ B，JAFARZADEH M.Rough Intuitionistic Fuzzy Information Systems［J］.Fuzzy Information Engineering，2013，5（4）:445-458.

［11］SAHA A，ANJAN M.Soft Interval-valued Intuitionistic Fuzzy Rough Sets［J］.Annal of Fuzzy Mathematics and Information，2015，9（1）:279-292.

［12］THOMAS K V，NAIR S L.Rough Intuitionistic Fuzzy Sets in a Lattice［J］.International Mathematical Forum，2011，6（27）:1327-1335.

［13］GONG Z T，ZHNAG X X.Variable Precision Intuitionistic Fuzzy Rough Sets Model and Its Application［J］.International Journal of Machine Learning and Cybernetics，2014，5（1）:263-280.

［14］王國俊.非經(jīng)典邏輯與近似推理［M］.北京：科學(xué)出版社，2000：26-30.

【責(zé)任編輯王云鵬】

The Residuated Lattice Based on the New Implication Operator

CHENG Huiru
（College of Mathematics and Information Science，Henan Normal University，Xinxiang 453007，China）

A new implication operator was defined in this paper.It was proved to constitute residuated lattice and the exchangeable residuated lattice.BL-algebra was proved to be a special case of the exchangeable residuated lattice.

implication operator；the residuated lattice；BL-algebra

O141.1

A

2095-7726（2016）03-0007-03

2015-12-21

程惠茹（1985-），女，河南濮陽人，碩士，研究方向：直覺模糊集。