羅敏霞，潘 瓊

（中國計量學院 數(shù)學與信息科學系，浙江 杭州 310018）

模糊邏輯起源于Zadeh 1973年提出的模糊推理思想［1］.模糊邏輯是經(jīng)典邏輯的一般化，模糊邏輯的命題演算系統(tǒng)中，公式不僅可以以0和1作為真值，也可以是在［0，1］上的值.ML邏輯是基于剩余格的邏輯系統(tǒng)［2］，它是諸多模糊邏輯的基礎，如Esteva和Godo的基于左連續(xù)三角范數(shù)的MTL模糊邏輯系統(tǒng)［3］是 ML邏輯系統(tǒng)的擴張，Hajek的基于連續(xù)三角范數(shù)的基本邏輯BL系 統(tǒng)［4－5］是MTL邏輯系統(tǒng)的擴張，著名的Lukasiewicz邏輯、Godel邏輯及乘積邏輯都是BL邏輯的擴張.這些邏輯的語義代數(shù)模型分別是剩余格、MTL－代數(shù)、BL代數(shù)、MV代數(shù)、Godel代數(shù)和乘積代數(shù)［6］.Gasse等首先提出了三角代數(shù)的概念［7］，三角代數(shù)等價于區(qū)間值剩余格IVRLs，被用來構(gòu)造三角邏輯TL系統(tǒng)，是三角邏輯的語義代數(shù)模型.

在模糊邏輯理論研究中，邏輯代數(shù)的濾子發(fā)揮著非常重要的作用.文獻［3］給出了 MTL－代數(shù)中濾子的定義，利用濾子證明MTL邏輯系統(tǒng)的完備性；文［8－9］給出 MTL代數(shù)模糊濾子的定義和等價刻畫.Hájek在文獻［4］中給出BL－代數(shù)濾子的定義，并證明了BL邏輯系統(tǒng)的完備性.Gasse等在文獻［7］中引入三角代數(shù)的濾子概念，并使用濾子證明三角邏輯系統(tǒng)的完備性.

本文在三角邏輯的基礎上給出三角代數(shù)的模糊濾子的概念，并研究其性質(zhì)，進一步給出三角代數(shù)中濾子與模糊濾子之間的關系，從而可以為更好地研究三角邏輯提供完善的邏輯語義模型.

1 預備知識

定義1.1［4，11］一個代數(shù)結(jié)構(gòu) L＝（L，∧，∨，?，→，0，1），如果滿足下列條件：

1）L＝（L，?，1）是一個可換獨異點；

2）L＝（L，∧，∨）是一個有界格；

3）x?y≤z?x≤y→z；

則稱L＝（L，∧，∨，?，→，0，1）是一個剩余格.

命題 1.1［4］在一個剩余格中以下結(jié)論成立：

我們定義x＊＝∨｛y∈L｜x?y＝0｝等效于x＊＝x→0，以及

定義1.2［7］格L＝（L，∧，∨，?，→，ν，μ，0，u，1）稱為三角代數(shù)，其中（L，∧，∨，?，→，0，1）是一個剩余格，ν，μ是一元運算符，u是一個常數(shù)，如果滿足以下條件：

定義1.3［10］設格L＝（L，∧，∨，?，→，ν，μ，0，u，1）是三角代數(shù)，L中的一個元素x 被稱為準，如果νx＝x，L的確切元素的集合記作E（L）.

定理1.2［7］在一個三角代數(shù)L＝（L，∧，∨，?，→，ν，μ，0，u，1）中，蘊含→和?完全由E（L）上的作用和μ（u?u）的值來定義，具體為：

定義1.4［10］設L＝（L，∧，∨，?，→，ν，μ，0，u，1）是一個三角代數(shù)，L的一個非空子集F稱為L的一個濾子，如果滿足

命題1.3 設L＝（L，∧，∨，?，→，ν，μ，0，u，1）是一個三角代數(shù)，F(xiàn)是L的一個非空子集，則F是L的濾子當且僅當

證明：設F是滿足（4）和（5）的L的非空子集，設x，y∈L，使得x≤y且x∈F，通過（4）可得到x→y＝1∈F，由（5）得到y(tǒng)∈F，所以（1）是成立的.設x，y∈F，則x→（y→（x?y））＝（x?y）→（x?y）＝1∈F，從（5）中隱含表明x?y∈F，因此（2）成立；設x，y∈F，有ν（x?y）＝νx?νy∈F，則由x→（y→x）＝1得νx→（νy→νx）＝（νx?νy）→νx＝1∈F.由（5）得νx∈F，因此（3）成立.

反之，假設F是L的一個濾子，顯然由（1）得1∈F，設x，y∈L使得x∈F并且x→y∈F，由（2）得x?（x→y）∈F，利用y≤（y→x）→x有x≤（x→y）→y，即x→（（x→y）→y）＝1＝（x?（x→y））→y＝1，即（x?（x→y））≤y，由（1），因此（5）成立；由（2）和（3）顯然（6）成立.

2 模糊濾子與濾子的關系

定義2.1 設L是一個三角代數(shù)，L中的一個模糊集w稱為L的一個模糊濾子，如果它滿足條件：

例1 設L＝［0，1］，定義運算?與→如下：

對所有的x，y∈L，則L就是三角代數(shù).

根據(jù)三角代數(shù)的模糊濾子的定義，進一步研究模糊濾子的等價刻畫.

定理2.1 設w是三角代數(shù)L的一個模糊集，則w是L的一個模糊濾子當且僅當

證明：假設w 滿足條件（7）和（8），設x，y∈L使得x≤y，則x→y＝1，所以由條件（7）和（8）得到w（y）≥min｛w（x），w（1）｝＝w（x），因此（c2）是成立的.利用命題1.1的（1），可知x→（y→（x?y））＝（x?y）→（x?y）＝1，于是根據(jù)條件（7）和（8）我們有

因此（c1）是成立的.根據(jù)條件（7）和（9）可得：

即（c3）是成立的.假設w是L的一個模糊濾子，當對所有的x∈L，x≤1，則由（c2）得到對所有的x∈L有w（1）≥w（x）.由定義1.2的（8）以及伽羅佤對應我們可知ν（x→y）≤νx→νy?ν（x→y）?νx≤νy，因此由（c2）和（c3）可得 w（νy）≥w（νx?ν（x→y））≥min｛w（νx），w（ν（x→y））｝，證畢.

進一步研究三角代數(shù)中濾子與模糊濾子之間的關系，證明三角代數(shù)中模糊濾子與濾子的相互誘導.

定理2.2 設F是三角代數(shù)L的一個濾子，且a∈L，w是L的一個模糊集

則w是L的一個模糊濾子.

證明：已知a∨1∈F，我們有1∈｛z∈L｜a∨z∈F｝和對所有x∈L得到w（1）＝1≥w（x），現(xiàn)在如果y∈｛z∈L｜a∨z∈F｝，那么可以清楚地得到w（y）＝1≥min｛w（x），w（x→y）｝.假設y?｛z∈L｜a∨z∈F｝，那么存在x和x→y至少其中一個不屬于｛z∈L｜a∨z∈F｝，于是w（y）＝min｛w（x），w（x→y）｝.同樣如果νy∈｛z∈L｜a∨z∈F｝則可清楚地得到w（νy）＝1≥min｛w（νx），w（ν（x→y））｝，假設νy?｛z∈L｜a∨z∈F｝，那么存在νx和ν（x→y）至少其中一個不屬于｛z∈L｜a∨z∈F｝，于是w（νy）＝min｛w（νx），w（ν（x→y））｝，因此w是L的一個模糊濾子.

定理2.3 如果w是L的一個模糊濾子，那么對于每一個a∈L，集合Ωa＝｛x∈L｜w（x）≥w（a）｝是L的一個濾子.

證明：已知對所有x∈L有w（1）≥w（x），我們有1∈Ωa，設x，y∈L使得νx∈Ωa和ν（x→y）∈Ωa，那么就有w（νx）≥w（a）和w（ν（x→y））≥w（a）.已知w是L 的一個模糊濾子，從（8）可得w（νy）≥min｛w（νx），w（ν（x→y））｝≥w（a）；又因為w（y）≥w（νy），w（x→y）≥w（ν（x→y）），所以（x→y）∈Ωa，w（y）≥w（a）以及 w（ν（x?y））≥min｛w（νx），w（νy）｝≥w（a），所以y∈Ωa且ν（x?y）∈Ωa，因此Ωa是L的一個濾子.

3 結(jié) 語

本文在三角代數(shù)濾子定義的基礎上給出了濾子的等價刻畫，進一步引入三角代數(shù)中模糊濾子的概念，給出模糊濾子的等價刻畫.特別研究三角代數(shù)中模糊濾子與濾子之間的關系，證明了模糊濾子與濾子可相互誘導.

［1］ZADEH L A.Outline of a new approach to the analysis of complex systems and decision processes［J］.IEEE Transactions on Systems，Man Cybernetics，1973，3（1）：28－44.

［2］HOHLE U.Monoidal logic［C］／／Fuzzy systems in computer science.Germany：Vieweg＋ Teubner Verlag，1994：233－243.

［3］ESTEVA F，GODO L.Monoidal t－norm based logic：towards a logic for left－continuous t－norms［J］.Fuzzy Sets and Systems，2001，124（3）：271－288.

［4］HAJEK P.Metamathematics of Fuzzy Logic［M］.Dordrecht：Kluwer Academic Publishers，1998：29－48.

［5］HAJEK P.Basic fuzzy logic and BL－algebras［J］.Soft Computing，1998，2（3）：124－128.

［6］FONT J，RODR GUEZ A J，T ORRENS A.Wajsberg algebra［J］.Stochastica，1984，8（1）：5－31.

［7］GASSE B V，COMELIS C，DESCHRIJVER G，et al.Triangle algebras：A formal logic approach to interval－valued residuated lattices［J］.Fuzzy Sets and Systems，2008，159：1042－1060.

［8］JUN Y B，XU Y，ZHANG X H.Fuzzy filters of MTL－algebras［J］.Information Sciences，2005，175：120－138.

［9］KIM K H，ZHANG Q，JUN Y B.On fuzzy filters of MTL－algebras［J］.Journal of Fuzzy Mathematics，2002，10（4）：981－989.

［10］GASSE B V，COMELIS C，DESCHRIJVER G，et al.The pseudo－linear semantics of interval－valued fuzzy logics［J］.Information Sciences，2009，179：717－728.

［11］TURUNEN E.BL－algebras of basic fuzzy logic［J］.Mathware and Soft Computing，1999，6（1）：49－61.