《模糊逻辑与模糊推理》由会员分享，可在线阅读，更多相关《模糊逻辑与模糊推理（68页珍藏版）》请在金锄头文库上搜索。
1、2019/1/29,1,第4章 模糊逻辑与模糊推理,4.1 逻辑推理概述 4.2 二值逻辑和模糊逻辑 4.3 模糊推理,2019/1/29,2,4.1 逻辑推理概述,逻辑学 研究概念、判断和推理形式的一门科学。 数理逻辑 逻辑与数学相结合的一门科学。 17世纪德国科学家莱布尼兹开始，把数学方法用于哲学的研究。 采用一套符号代替人们的自然语言进行表述。 在逻辑上只取“真”和“假”两值，也称二值逻辑。,2019/1/29,3,4.1 逻辑推理概述,推理 人类的一种重要的思维方式，从已知的判断推断出未知的判断。 逻辑学研究的重点。 推理的方式 演绎推理：以一般的普遍适用的原理为前提，推导到某个特殊情
2、况作出结论的推理方法，即一般到特殊。 归纳推理：由特殊情形的前提，归纳出一般原理的结论的推理，即特殊到一般。,2019/1/29,4,4.1 逻辑推理概述,演绎推理 数理逻辑主要的研究内容。 演绎推理一般具有三段论法的形式。 从两个两个判断，得出第三个判断。 举例 苏格拉底论述： 大前提：所有的人都是要死的 小前提：苏格拉底是人 结论： 苏格拉底总是要死的,2019/1/29,5,4.1 逻辑推理概述,归纳推理（归纳法） 完全归纳法 在前提中列出全部推理的特殊情况，得出一般化的结论。 举例：数学归纳法 不完全归纳法 仅列出全部特殊情况的一个或几个，而归纳出一般的结论 举例：抽样试验 派生：类比
3、推理 从特殊到特殊，利用两种事物的一部分属性相似，推断另一部分。,2019/1/29,6,4.1 逻辑推理概述,传统逻辑推理 基于二值逻辑 处理的信息和推理的规则是精确的、完备的 不精确推理（不确定推理、近似推理） 处理不精确、不确定、不完备的信息，利用不精确、不完备的知识、规则。 不精确性的起因：随机性、模糊性等 模糊逻辑推理（模糊推理） 基于模糊逻辑的方法处理由模糊性引起的不精确推理。,2019/1/29,7,4.2 二值逻辑和模糊逻辑,命题 句子：用来表达一个完整概念的语言或文字符号。 命题：一个有意思的句子，能够判断它的涵义是真或假。 命题的取值：“真”或“假” 举例： 月球是地球的卫
4、星 。 命题：真 牛是食肉动物。 命题：假 今天开会吗？ 疑问句不是命题 计算机 不是句子不是命题,2019/1/29,8,4.2 二值逻辑和模糊逻辑,命题 真值：命题的真假值，一个命题的真和假 表示：“真” “1” “假” “0” 二值逻辑：逻辑值只有真或假，即0或1 命题属于二值逻辑 原子命题 简单句构成的命题。 复合命题 用命题联结词把两个或两个以上简单命题联结起来,2019/1/29,9,4.2 二值逻辑和模糊逻辑,命题联结词 析取（ ）：表示“或”。 合取（ ）：表示“与”、“并且”。 否定（）：表示对原命题的否定。 蕴含（ ）：表示“如果那么”。 等价（ ）：表示“当且仅当”，或称
5、互蕴含。 传统命题逻辑基本公理 每一命题是真或假，但不能既真又假； 由确定的术语所组成的表达式，都是命题； 析取、合取、否定、蕴含、等价运算组成的表达式也是命题。,2019/1/29,10,4.2 二值逻辑和模糊逻辑,命题联结词 蕴含：,一个蕴含是“真”，必须满足三个条件之一： 1） 前提是真，结论是真； 在教书，是教师； 2） 前提是假，结论是假； 不教书，不是教师； 3） 前提是假，结论是真。 不在教书，是教师； 蕴含是“假”时，则： 4） 前提是真，结论是假。 在教书，不是教师。,2019/1/29,11,4.2 二值逻辑和模糊逻辑,命题联结词 用P，Q分别表示两个命题,逻辑关系用真值表
6、示,2019/1/29,12,4.2 二值逻辑和模糊逻辑,命题联结词 二个重要的同义反复,从真值表可以获得证明：,2019/1/29,13,4.2 二值逻辑和模糊逻辑,蕴含特征函数表达式,或,2019/1/29,14,4.2 二值逻辑和模糊逻辑,模糊命题 含有模糊成分的命题 判断的结果：非真非假，处于真假之间的模棱两可的状态。 举例：他是个胖子。 很难判断命题取真或取假 更确切的说法：他是胖子的程度是多少。 取值：0，1 0，1 表示：用大字母加一“”表示，如： 。 的真值用 (或 )表示，,2019/1/29,15,4.2 二值逻辑和模糊逻辑,原子模糊命题 最基本的命题。 复合模糊命题 用命
7、题联结词把两个或两个原子模糊命题联结起来。 命题联结词 析取（ ）：表示“或”。 合取（ ）：表示“与”、“并且”。 否定（）：表示对原命题的否定。 蕴含（ ）：表示“如果那么”。 等价（ ）：表示“当且仅当”，或称互蕴含。,2019/1/29,16,4.2 二值逻辑和模糊逻辑,4.2 二值逻辑和模糊逻辑 幂等律： 交换律： 结合律： 吸收律：,2019/1/29,17,4.2 二值逻辑和模糊逻辑,4.2 二值逻辑和模糊逻辑 分配律： 双否律： 德.摩根律： 常数运算法则：,2019/1/29,18,4.3 模糊推理,假言推理 模糊逻辑推理的基本形式。 假言推理的两种形式 肯定前件式 否定后件
8、式 均为三段论形式的推理方式 三段论可对 的情况判断 三段论不能对 的情况判断,2019/1/29,19,4.3 模糊推理,假言推理的两种形式 肯定前件式： 大前提（一般规则）：IF x是A，THEN y是B 小前提（特殊证据）：x是A 结论： 是B 简记： （A）( B ) （A） （B）,2019/1/29,20,4.3 模糊推理,假言推理的两种形式 否定后件式： 大前提（一般规则）：IF x是A，THEN y是B 小前提（特殊证据）： 不是B 结论： x 不是A 简记： （A）( B ) （ ） （ ）,2019/1/29,21,4.3 模糊推理,模糊推理 假言推理所包含的概念由精确变为
9、模糊 推理是近似的、非确定的 前提和结论都具有模糊性 例： 若西红柿是红的，则这个西红柿是熟的 这个西红柿有点红 这个西红柿有点熟 模糊概念：红的、熟的、有点红、有点熟,2019/1/29,22,4.3 模糊推理,模糊推理对应的形式 广义的肯定前件式： 大前提（一般规则）：IF x是 ，THEN y是 小前提（特殊证据）：x是 结论： 是 简记： （ ）( ) （ ） （ ）,2019/1/29,23,4.3 模糊推理,模糊推理对应的形式 广义的否定后件式： 大前提（一般规则）：IF x是 ，THEN y是 小前提（特殊证据）： 不是 结论： x 不是 简记： （ ）( ) （ ） （ ）,2
10、019/1/29,24,4.3 模糊推理,模糊推理 假言推理的小前提只能是A或者 模糊推理的小前提不限定为 或者 模糊推理的小前提可以是 等。 模糊推理的结论由模糊推理的合成规则给出。 模糊推理的推理方式 肯定前件式：一种前向模糊匹配的推理，将 与 匹配以激活 表达的规则，而后导出结论 ，它与前向数据驱动的推理相关。 否定后件式或肯定后件式：一种后向推理，它与后向目标驱动的推理相关。,肯定后件式,2019/1/29,25,4.3 模糊推理,模糊推理对应的形式 广义的肯定后件式： 大前提（一般规则）：IF x是 ，THEN y是 小前提（特殊证据）： 是 结论： x是 简记： （ ）( ) （
11、） （ ）,2019/1/29,26,4.3 模糊推理,判断句 判断句：句型“x*是a”。 x*代表论域X上的任一个特定元素 a是表示概念的词 若a表示清晰概念，句型“x*是a”称为普通判断句 对某一 xX， “x*是a”可能为真，也可能为假 “x*是a”是命题 命题对应一个经典集合A： A是X上的集合，,2019/1/29,27,4.3 模糊推理,模糊判断句 对任一xX，集合A的特征函数就等于命题“x是A”的真值，即： 集合A是句型（a）的集合表示，成为判断句（a）的真域。 模糊判断句： “x*是a”中a的表示模糊的概念。 句型（a）表示对x为真的程度有多大的问题。 “x是a”是模糊命题，对
12、应一个模糊集合 。 判断句（a）的真域 可用隶属函数表示：,2019/1/29,28,4.3 模糊推理,推理句 句型“若x*是a，则y*是b”，简记为 。 普通推理句：a，b均表示清晰的概念。 设x、y的论域分别是X、Y a、b两个清晰概念分别对应经典集合A和B 对于任意一个 命题 的真值计算：,2019/1/29,29,4.3 模糊推理,推理句 （a）的真域为 （b）的真域为 设R为推理句 的真域 显然R应为直积 的子集，即 当 对 为真，即蕴含式的真值为1。 即,2019/1/29,30,4.3 模糊推理,推理句 公式推导： 特征函数：,2019/1/29,31,4.3 模糊推理,推理句
13、“若x*是a，则y*是b”举例 设关于热交换器问题有两个论域X = 1，2，3，4和Y = 1，2，3，4，5，6。其中X的元素代表标准温度，Y的元素代表标准压力。A = 2，3和B = 3，4分别为论域X，Y上的清晰集合。 求：演绎推理“如果A，则B”所确定关系R的隶属函数矩阵。 解：列出A，B,2019/1/29,32,4.3 模糊推理,推理句 “若x*是a，则y*是b”举例 计算 计算,2019/1/29,33,4.3 模糊推理,推理句 “若x*是a，则y*是b”举例 计算 计算R,2019/1/29,34,4.3 模糊推理,模糊推理句 句型：若x*是a，则 y*是b，简记为 。 若a和
14、b均为模糊概念，则 为模糊推理句。 （a）的真域为模糊集合 （b）的真域为模糊集合 定义： 的真域为模糊集合 ，蕴含式 的真值：,2019/1/29,35,4.3 模糊推理,模糊推理句 表示 对（x，y）为真的程度，即 ： 对应集合形式为： 注：若给出其它形式的模糊蕴含式定义， 也会有不同的形式。,2019/1/29,36,4.3 模糊推理,常用的模糊推理句 若A则B型（或IF A THEN B） 例：若室温较高，则开电风扇。 若A则B否则C型（或IF A THEN B ELSE C） 例：若室温较低，则停电风扇，否则继续开电风扇。 若A且B则C型（或IF A AND B THEN C） 例：
15、若室温偏高且不断上升，则开电风扇。,2019/1/29,37,4.3 模糊推理,“if A then B else C”语句 可表示为： 显然：A是原因，在一个论域X上；B、C都是结果，在另一个论域Y上。 两个蕴含语句的特征函数分别为： 即：A为真时，产生B，A为假时，与B无关；A为假时，产生C，A为真时，与C无关。,2019/1/29,38,4.3 模糊推理,“if A then B else C”语句 真值表 从上表可知：,2019/1/29,39,4.3 模糊推理,“if A then B else C”语句 集合表示： 显然： 二值逻辑扩展到模糊逻辑，结论： 若有论域X、Y， 二元模糊关系 的隶属函数为： 集合表示：,2019/1/2
