基于t范数模糊逻辑.docVIP

基于t范数模糊逻辑 　　 　　钦州学院物理与材料科学学院，广西钦州535000 　　 　　摘要 模糊集与模糊推理方法为描述和处理事物的模糊性和系统的不确定性以及模拟人的智能和决策推理能力提供了十分有效的工具。本文就模糊推理的模糊逻辑在国内外研究历史、现状和最新研究成果进行了综述，简要分析了基本逻辑系统BL与t-范数、模糊推理的全蕴涵三I、基于左连续t-范数的模糊逻辑系统MTL和关于模糊蕴涵算子与合参t-范数的研究情况。 　　关键词 t-范数；模糊推理；模糊逻辑 　　中图分类号O142 文献标识码A 文章编号 1674-6708（2012）61-0077-02 　　0 引言 　　模糊集与模糊推理方法为描述和处理事物的模糊性和系统的不确定性以及模拟人的智能和决策推理能力提供了十分有效的工具。近年来模糊推理的逻辑基础得到活跃而深入的研究，本文就国内外研究历史、现状和最新研究成果教学论述。 　　1 模糊集合论的发展与争论 　　Zadeh 于1965年创立了模糊集合论[1]，并在1973年提出模糊推理的CRI方法，从而为描述和处理事物的模糊性和系统的不确定性以及模拟人的智能和决策推理能力提供了十分有效的工具模糊推理被应用于工业控制与家电产品的制造中，取得了极大成功。然而，与应用相比，模糊推理的理论基础并非无懈可击，如1993年7月Elkan博士(现为加利福尼亚大学教授)在美国第11届人工智能年会上作了题为“模糊逻辑的似是而非的成功” 的报告[2]， 引起了一场轩然大波。 模糊界和人工智能界的15位专家、学者对Elkan的文章进行评论。关于这场争论，吴望名教授在文献[3]中进行了介绍和讨论，应明生教授在文献[4]中说: “虽然Elkan 的许多观点是错误的，吴望名己经给予一定的澄清，但是，我们也一定看到模糊逻辑缺乏系统深入的理论研究却是不争的事实”。当然这场争论并未取得一致的意见事实上，这场争论始终没有平息。同时，也正因为如此，近年来模糊推理的逻辑基础得到活跃而深入的研究，我国学者在这一领域取得了众多重要成果。 　　2 基本逻辑系统BL与t-范数 　　模糊集与模糊推理方法为描述和处理事物的模糊性和系统的不确定性以及模拟人的智能和决策推理能力提供了十分有效的工具，近年来模糊推理的逻辑基础得到活跃而深入的研究。在模糊逻辑理论中，长期占主导地位的是基于t-范数（也称为t-模或三角模）的逻辑系统（也称为t-范数逻辑） 在这类逻辑中，使用t-范数作为合取联结词的解释，并由此解释其他命题联结词，如蕴涵、析取联结词分别解释为由t-范数诱导的剩余型蕴涵、与t-范数关于否定算子对偶的t-余范数，而否定联结词通常经由蕴涵解释为A→O。这样定义的逻辑理论具有许多优良的逻辑性质，反映了人类日常思维与推理中的许多逻辑特征，这类逻辑理论在模糊推理和人工智能研究中已经获得广泛的应用。 　　1996年以来，捷克逻辑学专家Hajek发表了一系列富有意义的研究成果，其中基本逻辑系统BL的提出对模糊逻辑的基础研究影响较大，几个重要的模糊逻辑系统都是BL系统的语义扩张(即公理模式扩张，关于语义扩张的严格定义，如Lukasiewicz连续值系统、Godel系统、积逻辑系统等关于逻辑系统BL的相关理论，集中反映在文献[5] 中Hajek还基于剩余格理论提出了与基本逻辑BL对应的BL-代数理论，它包括MV-代数[6]、Godel代数和积代数作为特例。每个连续t-范数唯一地确定单位区间[0,1]上一个BL-代数，文献[5]提出了这样的公开问题：如果公式A是[0,1] 上每个BL-代数中的重言式，那么A在系统BL中是否必定可证? 换言之，形式系统BL是否是所有连续t-模基逻辑的公共的完备公理化？2000年，这个问题给出了肯定的回答[7]。 　　3 模糊推理的全蕴涵三I 　　同样是1996年，为了寻求模糊推理的可靠逻辑基础，王国俊教授基于对模糊逻辑与模糊推理方面存在问题的分析，在全国第七届多值逻辑与模糊逻辑年会上，提出了一个新的形式演绎系统L*此后，该系统经多次修改完善，并发展成一整套理论 [8-11]。 系统L* 是基于Ro t-范数及其剩余蕴涵Ro蕴涵算子(也称为修正的Kleene蕴涵算子)的，具有许多优良的逻辑性质。与系统L*相配套的代数结构是Ro-代数，它的一种推广形式被称为弱Ro -代数。它们与BL-代数互不包含[12]。同时，王国俊教授倡导模糊逻辑与模糊推理的结合研究，并于1999年提出了模糊推理的全蕴涵三I算法(简称为三I算法 [13]) ，有效地改进了Zadeh在1973年提出的求解FMP问题的合成推理规则(RI) 。 关于三I 算法，还有一系列文献对其进行更深入的研究[14] 。 　　4 基于左连续t-范数的模糊逻辑系统MTL 　　20