模糊逻辑相关材料

《模糊逻辑相关材料》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、模糊逻辑，也称北晰逻辑。建立在多值逻辑基础上，运用列晰（模糊）集合的方法来研究模糊性思维、语言形式及其规律的科学。简介1：Fuzzylogic模仿人脑的不确定性概念判断、推理思维方式，对于模型耒知或不能确定的描述系统，以及强非线性、人滞示的控制对象，M用模糊集合和模糊规则进行推理，表达过渡性界限或定性知识经验，模拟人脑方式，实行模糊综合判断，推理解决常规方法难于对付的规则型模糊信息问题。模糊逻辑善于表达界限不清晰的定性知识巧经验，它借助于隶属度函数概念，区分模糊集合，处理模糊关系，模拟人脑实施规则型推理，解决因“排屮律”的逻辑破缺产牛的种种不确定问题。2：1965年美

2、国数学家查徳首先提出了弗晰集合的概念,标志着弗晰数学的诞生。建立在二值逻辑基础上的原有的逻辑与数学难以描述和处理现实世界中许多模糊性的对象打I；晰数学与北晰逻辑实质上是要对模糊性对象进行精确的描述和处理。查徳为了建立模糊性对象的数学模型，把只取0和1二值的普通集合概念推广为在［0,1］区间上取无穷多值的模糊集合概念，并川“隶属度”这一概念來精确地刻画元素与模糊集合之间的关系。正因为模糊集合是以连续的无穷多值为依据的，所以，模糊逻辑可看做是运用无穷连续值的模糊集合去研究模糊性对象的科学。把模糊数学的一些基本概念和方法运用到逻辑领域中，产生了模糊逻辑变屋、模糊逻辑函数等基

3、木概念。对于模糊联结词与模糊真值表也作了相应的对比研究。杏徳还开展了模糊假言推理等似然推理的研究，有些成果已直接应用于模糊控制器的研制。创立和研究模糊逻辑的主要意义有：（1）运用模糊逻辑变量、模糊逻辑函数和似然推理等新思想、新理论，为寻找解决模糊性问题的突破口奠定了理论基础，从逻辑思想上为研究模糊性对象指明了方向。（2）模糊逻辑在原有的布尔代数、二值逻辑等数学和逻辑工具难以描述和处理的自动控制过程、疑难病症的诊断、大系统的研究等方面，都具有独到Z处。（3）在方法论上，为人类从精确性到模糊性、从确定性到不确定性的研究提供了正确的研究方法。此外，在数学基础研究方面，模糊逻

4、辑有助于解决某些悖论。对辩证逻辑的研究也会产生深远的影响。当然，模糊逻辑理论本身还有待进一步系统化、完整化、规范化。3、模糊逻供是二元逻辑的重言式：在多值逻辑屮，给定一•个MV-代数A,一个A-求值就是从命题演算屮公式的集合到MV-代数的函数。如果对于所有A■求值这个函数把一个公式映射到1（或0）,则这个公式是一个A■重言式。因此对于无穷值逻辑（比如模糊逻辑、武卡谢维奇逻辑），我们设［0,1］是A的下层集合來获得［0,1卜求值和［0,1卜重言式（经常就叫做求值和重言式）。Chang发明MV■代数來研究波兰数学家扬•武卡谢维奇（Jan?ukasiewicz）在1920年

5、介入的多值逻辑。Chang的完备定理（1958,1959）声称任何在［0,1］区间成立的MV•代数等式也在所冇代数中成立。通过这个定理，证明了无穷值的武卡谢维奇逻辑可以被代数所刻画。后来同样适用于模糊逻辑。这类似于在｛0,1｝成立的布尔代数等式在任何布尔代数中也成立，布尔代数因此刻画了标准二值逻辑。应用模糊逻辑可以用于控制家用电器比如洗衣机佗感知装载量和清洁剂浓度并据此调整它们的洗涤周期）和空调。基木的应用可以特征化为连续变最的子范围（subranges）,形状常常是三角形或梯形。例如，防锁刹车的温度测量可以有正确控制刹车所需要的定义特定温度范围的多个独立的成员关系函

6、数（归属函数/Membershipfunction）。每个函数映射相同的温度到在0至1范I韦］内的一个真值且为非凹函数（non-concavefunctions）（否则可能在某部分温度越高却被归类为越冷）。接着这些真值可以用于确定应当怎样控制刹车。一个温度控制的例子在右图中，冷、暖和热是映射温度范围的函数。在这个刻度上的一个点有三个“真值”一每个两数一个。对于展示的特定的温度，这三个真值可以被解释为把温度描述为，“相当冷蔦“冇些暖”和“不热“。通常情况会采用梯形，但在作模糊回归分析时则会选用三角形的归属函数。模糊逻辑・怎样应用模糊逻辑模糊逻辑通常使用IF/THEN规则

7、，或构造等价的东西比如模糊关联矩阵。规则通常表达为如下形式：IF模糊变量IS模糊集合THEN动作例如，一个非常简单的使用风扇的温度调节器：IF温度IS非常冷THEN停止风扇IF温度IS冷THEN减速风扇IF温度IS正常THEN保持现有水平IF温度IS热THEN加速风扇注意没有”ELSE”。所有规则都被求值，因为温度在不同程度上可以同时是”冷”和“正常”。在模糊逻辑屮存在着布尔逻辑的AND、OR和NOT运算符，它们通常定义为最小、最大和求补；在以这种方式定义它们的时候，它们叫做Zadeh运算符，因为它们是在Zadeh敲初论文中首次定义的。对于模糊变量x