基于三角模的模糊逻辑及其应用研究.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FhzzySystems September 基于三角模的模糊逻辑及其应用 裴道武 (浙江理工大学数学研究所，杭州310018) 摘要：简要介绍近年来得到快速发展的基于三角模的模糊逻辑理论，主要包括它的背景． 几种相关的代数结构，几个重要的形式演绎系统．重点讨论这类模糊逻辑在模糊推理形式化问 题中的应用． 关键词：模糊逻辑；三角模；基于三角模的模糊逻辑；模糊推理；三I方法 中图分类号：0141．1 文献标识码：A §1 引言 已经被应用于多个领域，其中包括概率度量空间，函数方程理论，半群理论，模糊集合 理论以及模糊逻辑理论等．当然，三角模本身也是相当有趣的研究内容13，13】． 在当代模糊逻辑理论中，长期占主导地位的是所谓的基于三角模的模糊逻辑．在 这类逻辑中，人们使用三角模T作为合取联结词的解释，并由此解释其他命题联结词， 比如，蕴涵联结词解释为由三角模T诱导的剩余型蕴涵算子砌，否定联结词解释为 由Rr诱导的模糊否定算子研，而析取联结词解释为与?关于算子佗r对偶的三角余 模sI．因此，这样的逻辑理论可以通过一个三角模给出唯一确定的解释，这也是人们 称这类逻辑理论为基于三角模的模糊逻辑的原因． 为什么基于三角模的模糊逻辑受到人们的特别关注?究其原因、首先是因为这样 定义的逻辑理论具有许多优良的逻辑性质，基本反映了人类日常思维与推理中的许多 逻辑特征．其次是因为这类逻辑理论已经在模糊推理和人工智能研究中获得广泛的应 逻辑都是基于三角模的模糊逻辑12,121． 在过去十年对于模糊逻辑理论的研究中，基于连续三角模的逻辑和基于左连续三 角模的逻辑受到了广泛的关注，其中最杰出的研究成果当数H矗jek的基本逻辑理论12】， 逻辑理论【12J．本文将简要介绍这个领域的主要研究成果，并且重点讨论这类模糊逻辑 在模糊推理形式化问题中的应用． 1收稿日期：2006-06．19． 作者简介：裴道武(1956-)，男，教授，博士生导师，主要从事非经典逻辑与近似推理的研究． (E-maihpeidw@163．corn) 基金项目：国家自然科学基金(批准号 316 模糊系统与数学 第20卷(增刊) §2 几个重要的基于三角模的模糊逻辑 H直jek[2】根据连续三角模及其诱导的剩余型蕴涵的性质，提出了一个形式系 统BL称之为基本逻辑．BL的公理系统由一个推理规则(MP)和八个公理模式组成． 有趣的是，几个重要的模糊逻辑形式系统都是BL的模式扩张．剩余格L叫做一个BL 代数，如果准线性和连续性条件成立．Hajek【2]证明了BL是完备的，而且BL的三个 扩张L(G和Ⅱ)是标准完备的．每个连续三角模唯一地确定单位区间[o，1】上一个模 糊逻辑．反之，形式系统BL是所有的基于连续三角模的模糊逻辑共同的完备公理化． 的区别在于公理系统，而且在MTL中合取联结词是一个独立的联结词．系统MTL的 的扩张．与这些系统相应的代数结构，分别叫做MTL代数，WNM代数，IMTL代数 所有的基于左连续三角模的模糊逻辑共同的完备公理化． 作为对基于幂零极小三角模的模糊逻辑的两种形式化，我们自然地应该讨论系 统口和NM的关系．最近，裴道武[6】证明了它们是等价的，风代数和NM代数是相 同的代数系统．这个工作在中外同行的研究工作之间建立了联系． 问题．BL逻辑是基于连续三角模的模糊逻辑，而MTL逻辑则是基于左连续三角 模的模糊逻辑．自然地，是否有基于一般的三角模的模糊逻辑?实际上，这种逻辑也应 该是一种重要的模糊逻辑+然而，遗憾的是，至今关于这种最一般的模糊逻辑的研究工 作并不多见． §3 在模糊推理形式化问题中的应用 模糊推理中最重要，也是最基本的形式是模糊取式FMP和模糊拒取式FMT，求 解它们的传统方法是著名的CRI方法．利用这个方法，模糊