基于HFI代数的模糊命题演算的形式演绎系统.pdfVIP

第26 卷 第1 期 赤峰学院学报（自然科学版） Vol. 26 No. 1 2010 年1 月 Journal of Chifeng University （Natural Science Edition） Jan. 2010 基于HFI 代数的模糊命题演算的形式演绎系统 秦学成，刘春辉 （赤峰学院 初等教育学院，内蒙古 赤峰 024000） 摘 要：建立了一个基于HFI 代数的模糊命题演算形式系统H*, 研究了这个系统的基本特征. 并讨 论了该系统关于建立在HFI 代数上语义的完备性. 关键词：HFI 代数；模糊逻辑；演绎系统；完备性 中图分类号：O141.1 ；O153.1 文献标识码：A 文章编号：1673- 260X（2010）01- 0004- 03 1 引言与预备 (H )如果x→y=y→x=1,则x=y; 4 随着智能计算机的出现,模糊控制技术得到了 (H )0→x=1.其中1=0→0. 5 飞速的发展.而各种模糊控制又是以其特定的模糊 引理1.2[1] 设(X,→,0)是HFI 代数,在X 上定 推理和模糊逻辑为基础的. 在各种逻辑系统中,“蕴 义二元关系≤使得坌x,y ∈X,x≤y 当且仅当x→y=1, 涵”是一个基本的逻辑连接词,通常称之为蕴涵算 则(X,≤)是一个偏序集,且分别以0 和 1 为最小元 子.为了适应不同的模糊推理的需要, 国内外的专家 和最大元. 和学者引入了许多不同的蕴涵算子,如Zadeh 算子, 引理1.3[1] 设(X,→,0)是HFI 代数,则坌x,y,z ∈ Kleene 算子,覵ukasiewicz 算子,G觟del 算子和王国俊 X 都有 教授提出的R 算子等. 为了研究蕴涵算子的共同 (H )x→1=1; 0 6 本质,吴望名教授引入了Fuzzy 蕴涵代数和Heyting (H )1→x=x; 7 型Fuzzy 蕴涵代数(简称HFI 代数) 的概念,并研究 (H )x→x=1; 8 [1] 了它们的一些基本性质 . (H )x→(y→z)=y→(x→z). 9 值得注意的是,利用代数赋值的方法来研究命 2 模糊命题演算的形式演绎系统 H* 题逻辑问题,无论是