基于严格泛与运算模型的命题模糊逻辑论文.pdfVIP

2005年中国模糊逻辑与计算智能联合学术会议论文集 121 基于严格泛与运算模型的命题模糊逻辑 罗敏霞1’2，何华灿2 (1运城学院数学系，山西运城044000，Email：minxialuo@163．corn； 2西北工业大学计算机学院，陕西西安710072) 算系统．最后得到基于泛与运算模型T(x，yh)(h∈】0，1】)的模糊命题演算系统就是基本逻辑BL命题演算系统． 关键词：泛与运算模型；泛蕴涵运算模型；严格三角范数；剩余；伴随对 TheModelof Fuzzy Logic Hua．can2 LUDMin-xial一．月E (1 of Mathematics，Yuncheng Department 2School Science，NorthwesternPolytechnical ofComputer University,Xian，Shaanxi，710072) the universal thatthemodel Abstract：Wediscusssome aboutmodelof properties conjunctionT(x，y’h)(1l∈(0．75，1))．Weprove a ofuniversalconjunctionT(x，y’h)m∈(0．75，1))is themodelofuniversal an bounded (0．75，1))and implicationl(x，y’h)m∈(0．75，1))formadjointpair．The lattice(10，l】，V，八，4， a for bounded a for 一，0，I)is he(0．75，1)．Thelattice(【0，1】，V，八，+，一，0，1)is he]0，1】．The productalgebra BL-algebra system calculusthemodelof universal PC(T)offuzzypropositionalby strictly conjunctionT(x，yh)(h∈(0．75，1))isgiven．Moreover,we showthatthe PC∞of calculusisthe of obtain system fuzzypropositional systemproductlogicpropositionalcalculus．Finally,we thatthe calculusbythemodelofuniversalconjunctionT(x，yh)(helO，l】)isthe systemoffuzzypropositional calculus． Lo#c)propositional Pair Keywords：UniversalConjunction，UniversalImplication，StrictlyTriangularNorm，Residuum，Adjoint 的研