BCI-代數(shù)的擾動(dòng)模糊q-理想*

彭家寅

內(nèi)江師范學(xué)院 數(shù)學(xué)與信息科學(xué)學(xué)院，四川內(nèi)江 641199

1 引言

諸如生物工程、空間技術(shù)、材料工程等，人工智能已成為當(dāng)今前沿和熱點(diǎn)研究領(lǐng)域之一。它是在計(jì)算機(jī)科學(xué)、信息科學(xué)、控制理論、心理學(xué)、生理學(xué)、數(shù)學(xué)和語(yǔ)言學(xué)等多學(xué)科研究的基礎(chǔ)上發(fā)展起來(lái)的綜合性學(xué)科，其核心思想是讓機(jī)器模擬、延伸和擴(kuò)展人的智能，用人工的方法和技術(shù)，以實(shí)現(xiàn)一些“機(jī)械思維”并賦予模擬人的智力來(lái)解決復(fù)雜的實(shí)際問(wèn)題，如學(xué)習(xí)、推理、判斷和決策等。邏輯奠定了人工智能的基礎(chǔ)，確定信息的處理是基于經(jīng)典的二值邏輯，現(xiàn)實(shí)世界中大量的不確定信息可以通過(guò)非經(jīng)典邏輯來(lái)處理。特別地，非經(jīng)典邏輯已成為計(jì)算機(jī)科學(xué)處理模糊信息與不確定信息有力工具。BCK-代數(shù)類(lèi)是一種重要的模糊邏輯代數(shù)類(lèi)[1]，它于1966年被Imai和Iseki[2-3]提出之后，得到了許多學(xué)者的深入研究[4-6]，其中Iseki和Tanaka引入了BCK-代數(shù)的理想的概念并討論它的性質(zhì)[4]，Meng[6]引入了BCK-代數(shù)的蘊(yùn)涵理想的概念，并研究了它與正蘊(yùn)涵理想、交換理想之間的關(guān)系。隨后，Iseki[7]還引入了比BCK-代數(shù)類(lèi)更廣泛的BCI-代數(shù)，并在20世紀(jì)80年代后得到迅速發(fā)展[8-13]。

作為處理模糊信息系統(tǒng)的工具，Zadeh[14]提出了模糊集是研究信息不確定和信息不精確等智能系統(tǒng)的一個(gè)擴(kuò)展集合理論。模糊集一經(jīng)提出，就引起了人們的極大興趣，并迅速在模式識(shí)別、聚類(lèi)分析、群決策等許多領(lǐng)域中得到應(yīng)用[15-17]。1991年，Xi[18]將模糊集用于BCK-代數(shù)中，此后Meng和Guo[19]引入了BCK/BCI-代數(shù)的模糊理想的概念，Jun和Roh等人[20-21]提出了BCK-代數(shù)的模糊交換理想和模糊正蘊(yùn)涵理想的概念并研究了它們的性質(zhì)。Peng[22-23]研究了BCK-代數(shù)的不分明化蘊(yùn)涵理想和廣義模糊蘊(yùn)涵理想。Jun和Meng[24-25]討論了BCI-代數(shù)的模糊理想和模糊p-理想。隨著人們對(duì)不確定問(wèn)題的深入認(rèn)識(shí)，一些新型的模糊集理論，如直覺(jué)模糊集[26]、區(qū)間值模糊集[27]、猶豫模糊集[28]、Vague集[29]、擾動(dòng)模糊集[30]等被提出來(lái)，豐富和發(fā)展了經(jīng)典模糊集理論。不同于經(jīng)典模糊集，擾動(dòng)模糊集[30]既能描述人們對(duì)事物的屬性的相對(duì)穩(wěn)定的共性認(rèn)識(shí)，又能表達(dá)不同認(rèn)識(shí)主體對(duì)研究對(duì)象的認(rèn)識(shí)上不可避免的差異。在擾動(dòng)模糊邏輯研究中，文獻(xiàn)[31-32]討論了擾動(dòng)模糊集的重言式性質(zhì)，接著文獻(xiàn)[33]分析其代數(shù)結(jié)構(gòu)，文獻(xiàn)[34]研究了擾動(dòng)模糊推理的三I算法。文獻(xiàn)[35-38]率先提出擾動(dòng)模糊自動(dòng)機(jī)與文法的概念，初步建立了擾動(dòng)模糊自動(dòng)機(jī)與文法理論。文獻(xiàn)[39-40]將擾動(dòng)模糊集應(yīng)用于群與擬BCK代數(shù)中，分別討論了它們對(duì)于擾動(dòng)模糊正規(guī)子群和擾動(dòng)模糊理想問(wèn)題。盡管與直覺(jué)模糊集和區(qū)間值模糊集都不相同的擾動(dòng)模糊集[30,41]于2002年就已被提出來(lái)了，但其應(yīng)用遠(yuǎn)不如直覺(jué)模糊集、雙枝模糊集、區(qū)間值模糊集和Vague集那樣充分，特別是在代數(shù)結(jié)構(gòu)研究中的文獻(xiàn)很少。理想在BCI-代數(shù)研究中扮演著重要的角色，從邏輯觀點(diǎn)看，推理系統(tǒng)中可證公式集合就可以通過(guò)濾子這種子結(jié)構(gòu)來(lái)描述，而理想剛好是以濾子對(duì)偶的一種子結(jié)構(gòu)，基于不確定信息的這種子結(jié)構(gòu)就對(duì)應(yīng)著模糊理想。從代數(shù)看，由理想可以生成結(jié)合BCI-代數(shù)的商群，由理想生成的商代數(shù)所對(duì)應(yīng)的對(duì)合群及其生成的商群之間有密切的關(guān)系，因而它是研究代數(shù)結(jié)構(gòu)的重要工具之一。此外，擾動(dòng)模糊集較經(jīng)典模糊集更能客觀地反映人腦對(duì)事物的認(rèn)識(shí)?；谏鲜鲈?，本文將擾動(dòng)模糊集應(yīng)用于BCI-代數(shù)中，引入BCI-代數(shù)的擾動(dòng)模糊q-理想的概念，研究其相關(guān)性質(zhì)。這一工作對(duì)利用擾動(dòng)模糊理想來(lái)研究BCI-代數(shù)的性質(zhì)與結(jié)構(gòu)（如BCI-代數(shù)的商結(jié)構(gòu)）等都是有用的。

2 預(yù)備知識(shí)

一個(gè)(2,0)型代數(shù)(X;*,0)叫作BCI-代數(shù)，如果它滿(mǎn)足對(duì)任意x,y,z∈X，有：

（1）((x*y)*(x*z))*(z*y)=0 ；

（2）(x*(x*y))*y=0 ；

（3）x*x=0；

（4）x*y=0且y*x=0蘊(yùn)涵x=y。

如果BCI-代數(shù)X滿(mǎn)足0*x=0對(duì)任意x∈X都成立，則稱(chēng)此BCI-代數(shù)為BCK-代數(shù)。稱(chēng)BCI-代數(shù)X是結(jié)合的，如果它滿(mǎn)足：

稱(chēng)BCI-代數(shù)X是擬結(jié)合的，如果它滿(mǎn)足：

在BCI-代數(shù)中定義自然序“≤”：x≤y當(dāng)且僅當(dāng)x*y=0。這樣(X;≤)便是一個(gè)以0為最小元的偏序集，且對(duì)任一BCI-代數(shù)X及任意x,y,z∈X，下列結(jié)論成立：

（1）(x*y)*z=(x*z)*y；

（2）x*0=x；

（3）(x*z)*(y*z)≤x*y；

（4）0*(x*y)=(0*x)*(0*y)；

（5）x*(x*(x*y))=x*y；

（6）x≤y蘊(yùn)涵x*z≤y*z且z*y≤z*x。

一個(gè)BCI-代數(shù)之間的映射f:X→Y叫作同態(tài)的，如果對(duì)任意x,y∈X有：

BCI-代數(shù)X的一個(gè)非空子集I叫作X的一個(gè)理想，若：

（1）0∈I；

（2）x*y∈I且y∈I蘊(yùn)涵x∈I。

BCI-代數(shù)X的非空子集I稱(chēng)為X的一個(gè)q-理想，如果它滿(mǎn)足（1）和：

（3）當(dāng)x*(y*z)∈I且y∈I時(shí)，有x*z∈I。

命題1對(duì)任意自然數(shù)n，In都為BCI-代數(shù)X的q-理想，且滿(mǎn)足：

即{In}為遞增序列，則也為BCI-代數(shù)X的q-理想。

證明因I1為X的q-理想，所以。其次，設(shè)，則存在自然數(shù)m和n，使得x*(y*z)∈Im且y∈In。注意到{In}為遞增序列，因此x*(y*z)∈Im?Im+n，y∈In?Im+n。又Im+n為BCI-代數(shù)X的q-理想，故。綜上所述，也為BCI-代數(shù)X的q-理想。 □

設(shè)D2={α=(μ,δ)|μ,δ∈[0,1]}，其中：

μ和δ分別叫作擾動(dòng)數(shù)主值和擾動(dòng)值，D2中任何一個(gè)元素都稱(chēng)為[0,1]上的擾動(dòng)數(shù)[41]。

令α=(μ1,δ1)，β=(μ2,δ2)∈D2，規(guī)定α=β當(dāng)且僅當(dāng)μ1=μ2且δ1=δ2。定義如下運(yùn)算[41]：

顯然，D2是一個(gè)完全的、無(wú)限分配的。由運(yùn)算∨和∧誘導(dǎo)的關(guān)系≤是D2上的一個(gè)偏序關(guān)系[41]：

容易證明(D2,∨,∧,≤)具有極大元(1,0)和極小元(0,1)的一個(gè)優(yōu)軟代數(shù)，即它為一個(gè)對(duì)偶的、稠密的完全分配格[40-41]。

定義1[41]設(shè)X為經(jīng)典集合，從論域X到D2的映射叫作X上一個(gè)擾動(dòng)模糊集，即：

其中，滿(mǎn)足Aμ(x),Aδ(x)∈ [0,1]且：

并稱(chēng)普通模糊集合Aμ:X→[0,1]和Aδ:X→[0,1]分別為X的主模糊集和擾動(dòng)模糊集，Aμ(x)表示人們對(duì)對(duì)象x的一個(gè)總體認(rèn)識(shí)程度，Aδ(x)則表示的是因認(rèn)識(shí)個(gè)體的主觀或者客觀的差異，而造成的對(duì)對(duì)象x認(rèn)識(shí)“干擾”產(chǎn)生的“擾動(dòng)”程度。記論域X上的所有擾動(dòng)模糊集的全體為D(X)。對(duì)于及t,λ∈[0,1]，記。對(duì)X上的任意兩個(gè)擾動(dòng)模糊集A?和B?，定義[41]：

對(duì)所有x∈X都成立。規(guī)定[41]對(duì)任意x∈X：

定義2[41]設(shè)S和V是任意兩個(gè)非空集合，A?和B?分別為S和V上的任意擾動(dòng)模糊集，且f:S→V是任意一個(gè)函數(shù)。對(duì)于y∈V，令f-1(y)={x∈S|f(x)=y}。定義V上擾動(dòng)模糊集A?′，對(duì)任意y∈V，有：

定義3[42]BCK-代數(shù)X上的一個(gè)擾動(dòng)模糊集叫作X的一個(gè)擾動(dòng)模糊子代數(shù)，如果它滿(mǎn)足x,y∈X，有。

定義4[42]BCK-代數(shù)X上的一個(gè)擾動(dòng)模糊集叫作X的一個(gè)擾動(dòng)模糊理想，如果它滿(mǎn)足x,y∈X，有：

3 BCK-代數(shù)的廣義 (∈,∈∨q)-模糊蘊(yùn)涵理想

定義5稱(chēng)BCI-代數(shù)X上的擾動(dòng)模糊集叫作X的一個(gè)擾動(dòng)模糊q-理想，如果它滿(mǎn)足(F1)和（F3）對(duì)任意x,y,z∈X，有。

下面例子說(shuō)明BCI-代數(shù)X的擾動(dòng)模糊q-理想是存在的。

例1設(shè)X={0,a,b}為一個(gè)BCI-代數(shù)，其Cayley表如表1。

Table 1 “*”operator table inX表1 X中“*”運(yùn)算表

定義X上的擾動(dòng)模糊集?為，且。容易驗(yàn)證，是X的擾動(dòng)模糊q-理想。

例2設(shè)I為一個(gè)BCI-代數(shù)X的一個(gè)q-理想，定義X的一個(gè)擾動(dòng)模糊集如下：

因?yàn)?0∈I，所以對(duì)任意x∈X，有Aμ(0)=0.8≥Aμ(x)且Aδ(0)=0.3≤Aδ(x)，從而：

即（F1）成立。對(duì)任意x,y,z∈X，若y?I或x*(y*z)?I，則：

若x*(y*z)∈I且y∈I，因I為q-理想，必有x*z∈I，從而：

定理1設(shè)為BCI-代數(shù)X的擾動(dòng)模糊集，則下列結(jié)論成立：

（1）每個(gè)擾動(dòng)模糊q-理想都是擾動(dòng)模糊理想；

（2）每個(gè)擾動(dòng)模糊q-理想都是擾動(dòng)模糊子代數(shù)。

證明（1）設(shè)?是X的一個(gè)擾動(dòng)模糊q-理想，則對(duì)任意x,y∈X，有：

即（F2）成立，故（1）為真。

（2）設(shè)是X的一個(gè)擾動(dòng)模糊q-理想，則對(duì)任意x,y∈X，有：

由定義3知，是BCI-代數(shù)X的一個(gè)擾動(dòng)模糊子代數(shù)。 □

推論1設(shè)為BCI-代數(shù)X的擾動(dòng)模糊q-理想，則對(duì)任意x,y∈X，當(dāng)x≤y時(shí)，有：

證明由定理1（1）知，為BCI-代數(shù)X的擾動(dòng)模糊理想。若x≤y，則x*y=0。依（F1）和（F2）有：

下面說(shuō)明定理1（1）之逆不真。

例3設(shè)X={0,a,b,c}為一個(gè)BCI-代數(shù)，其Cayley表如表2。

定義X上的擾動(dòng)模糊集?如下：，。容易驗(yàn)證，為BCI-代數(shù)X的擾動(dòng)模糊理想。因c*(0*a)=c*c=0，c*a=b，所以，故?不是 BCI-代數(shù)X的擾動(dòng)模糊q-理想。

Table 2 Operation table of BCI-algebras表2 BCI-代數(shù)運(yùn)算表

定理2設(shè)?是BCI-代數(shù)X的擾動(dòng)模糊集，則為X的擾動(dòng)模糊q-理想的充分必要條件是對(duì)任意，有為X的q-理想。

證明假設(shè)?是X的擾動(dòng)模糊q-理想且令，則Aμ(x)≥λ1且Aδ(x)≤λ2。由（F1）知，，即Aμ(0)≥Aμ(x)≥λ1，Aδ(0)≤Aδ(x)≤λ2，這意味著。假設(shè)且，則Aμ(x*(y*z))≥λ1，Aμ(y)≥λ1，Aδ(y)≤λ2且Aδ(x*(y*z)) ≤λ2。由（F3）知：

即是：

則Aμ(0)＜λ1＜Aμ(x)且Aδ(0)＞λ2＞Aδ(x)。由此可推出，矛盾，故（F1）為真。若（F3）不成立，則存在x,y,z∈X使得。取：

則Aμ(x*z)＜λ＜Aμ(x*(y*z))∧Aμ(y)且：

例4設(shè)為例1中所定義的擾動(dòng)模糊理想，容易驗(yàn)證，對(duì)任意(λ1,λ2)∈D2，有：

因{0} ，{0,a}和{0,a,b}都是BCI-代數(shù)X的q-理想，所以是BCI-代數(shù)X的擾動(dòng)模糊q-理想。

推論2若為BCI-代數(shù)X的擾動(dòng)模糊q-理想，則對(duì)每一個(gè)元素y0∈X，集合是X的q-理想。

由推論2可得到如下結(jié)論：

推論3若A?為BCI-代數(shù)X的擾動(dòng)模糊q-理想，則集合是X的q-理想。

下例說(shuō)明推論3的逆命題不真。

例5設(shè)為 BCI-代數(shù)X的擾動(dòng)模糊集，其定義如下，對(duì)任意x∈X，有：

定理3設(shè)為BCI-代數(shù)X的擾動(dòng)模糊理想，則下列條件是等價(jià)的：

（1）為BCI-代數(shù)X的擾動(dòng)模糊q-理想；

（2）對(duì)任意x,y∈X，有；

（3）對(duì)任意x,y,z∈X，有。

證明（1）?（2）假設(shè)?為X的擾動(dòng)模糊q-理想，則由（F1）知，對(duì)任意x∈X，有。由（F3）知，對(duì)任意x,y∈X，有：

（2）?（3）對(duì)任意x,y,z∈X，因?yàn)椋?/p>

注意到為BCI-代數(shù)X的擾動(dòng)模糊理想，因此：

由（2）知：

（3）?（1）由（3）知：

因?yàn)閄的擾動(dòng)模糊理想，因此：

結(jié)合（F1）知，為BCI-代數(shù)X的擾動(dòng)模糊q-理想?！?/p>

定理4對(duì)任意t∈T（T為非空指標(biāo)集），都為BCI-代數(shù)X的擾動(dòng)模糊q-理想，則也是X的擾動(dòng)模糊q-理想。

證明記，則對(duì)任意x∈X，由（F1）可知：

令x,y,z∈X，因?yàn)閿_動(dòng)模糊q-理想，則：

于是

定理5設(shè)為BCI-代數(shù)X的擾動(dòng)模糊理想，。如果?為X的擾動(dòng)模糊q-理想，則也為X的擾動(dòng)模糊q-理想。

證明假設(shè)為X的擾動(dòng)模糊q-理想。為證明為擾動(dòng)模糊q-理想，由定理3知，只需證明對(duì)任意x,y∈X，有。記s=x*(0*y)，則：

依定理3（2）知：

因?yàn)锽CI-代數(shù)X的擾動(dòng)模糊理想，注意到且，則：

所以也為X的擾動(dòng)模糊q-理想。 □

定理6設(shè)是BCI-代數(shù)X的擾動(dòng)模糊理想，如果對(duì)任意x,y∈X，有，則?是BCI-代數(shù)X的擾動(dòng)模糊q-理想。

證明對(duì)任意x,y,z∈X，由假設(shè)知：

故A?是BCI-代數(shù)X的擾動(dòng)模糊q-理想。 □

定理7設(shè)I1?I2?…?In?…是BCI-代數(shù)X的q-理想的嚴(yán)格遞增序列，數(shù)列{tn}和{rn}分別為(0,1)上的嚴(yán)格單調(diào)減少和嚴(yán)格單調(diào)增加序列。在BCI-代數(shù)X上定義擾動(dòng)模糊集如下：

其中，N為自然數(shù)集，且I0=?，則A?為BCI-代數(shù)X的擾動(dòng)模糊q-理想。

證明記，由命題1知，I為X的一個(gè)q-理想。顯然，Aμ(0)=t1≥Aμ(x)和Aδ(0)=r1≤Aμ(x)對(duì)任意x∈X都成立，因此任意x∈X，有，即（F1）成立。令x,y,z∈X，考慮如下兩種情形：

情況1如果x*z?I，則x*(y*z)?I或y?I，因此：

情況2若有某個(gè)n∈N使得x*z∈In-In-1，則x*(y*z)?In-1或y?In-1，故Aμ(x*(y*z))≤tn且Aδ(x*(y*z))≥rn，或Aμ(y)≤tn并且Aδ(y)≥rn即或，因此：

定理8設(shè)X和Y為兩個(gè)BCI-代數(shù)，f:X→Y為滿(mǎn)同態(tài)，且?為Y的擾動(dòng)模糊q-理想，則為X的擾動(dòng)模糊q-理想。

證明令x∈X，則f(x)∈Y。注意到為Y的擾動(dòng)模糊q-理想，因此：但，因此對(duì)任意x∈X，有)。類(lèi)似地，對(duì)任意x∈X都成立。上述表明滿(mǎn)足（F1）。

對(duì)任意x,y,z∈X，因?yàn)閅的擾動(dòng)模糊q-理想，所以：

且

也就是：

并且

引理1設(shè)X和Y為兩個(gè)BCI-代數(shù)，f:X→Y為同態(tài)且為BCI-代數(shù)X的擾動(dòng)模糊q-理想。如果是 kerf=f-1(0)上的常數(shù)對(duì)，則。

證明令x∈X，記f(x)=y，則：

對(duì)任意s∈f-1(y)，有f(s)=f(x)。由BCI-代數(shù)的條件（3）知，f(s)*f(x)=0，從而f(s*x)=0，進(jìn)而s*x∈kerf，因此。因?為 BCI-代數(shù)X的擾動(dòng)模糊q-理想，由定理1（1）知，為BCI-代數(shù)X的擾動(dòng)模糊理想，故：

且

類(lèi)似地，Aμ(x)≥Aμ(s)且Aδ(x)≤Aδ(s)。總之，。于是：

定理9設(shè)X和Y為兩個(gè)BCI-代數(shù)，f:X→Y為滿(mǎn)同態(tài)，且?為X的擾動(dòng)模糊q-理想使得，則為Y的擾動(dòng)模糊q-理想。

證明因?yàn)閄的擾動(dòng)模糊q-理想，并且0∈f-1(0)，所以：

對(duì)任意x∈X都成立，故對(duì)任意y∈Y，有：

由于f為滿(mǎn)同態(tài)，因此存在x,y,z∈X使得f(x)=x′，f(y)=y′且f(z)=z′，從而：

即：

4 結(jié)束語(yǔ)

隨著數(shù)學(xué)和計(jì)算機(jī)科學(xué)的發(fā)展，作為非經(jīng)典模糊邏輯代數(shù)類(lèi)的BCI-代數(shù)類(lèi)被人們深入而廣泛地研究。本文將擾動(dòng)模糊集應(yīng)用于BCI-代數(shù)中，引入了BCI-代數(shù)的擾動(dòng)模糊q-理想的概念，研究了它的相關(guān)性質(zhì)，證明了任何擾動(dòng)模糊q-理想都是擾動(dòng)模糊理想和擾動(dòng)模糊子代數(shù)，并用實(shí)例說(shuō)明了其逆不真；給出了BCI-代數(shù)的擾動(dòng)模糊q-理想的幾個(gè)刻畫(huà)，指出擾動(dòng)模糊q-理想的交、升鏈的并都是擾動(dòng)模糊q-理想；給出了擾動(dòng)模糊q-理想的一個(gè)擴(kuò)展定理，說(shuō)明BCI-代數(shù)之?dāng)_動(dòng)模糊q-理想的同態(tài)象和同態(tài)原象在一定條件下仍為擾動(dòng)模糊q-理想。這些結(jié)論豐富和發(fā)展了BCI-代數(shù)的理想理論。對(duì)于把擾動(dòng)模糊集用于研究BCI-代數(shù)蘊(yùn)涵理想、p-理想、a-理想等，將另文討論。