人工智能 课件 第四章 推理技术.ppt

* 例如，得到模糊向量： 取结论： U＝5。 模糊决策 “模糊决策”(“模糊判决”、“解模糊”或“清晰化”）：由模糊推理得到的结论或者操作是一个模糊向量，转化为确定值的过程。 1. 最大隶属度法 例如，得到模糊向量： 取结论： * 2. 加权平均判决法 模糊决策 例如 则 * 模糊决策 3. 中位数法 例如 * 模糊决策 3. 中位数法 例如 用线性插值处理，即 所以 * 模糊推理的应用 例12 设有模糊控制规则： “如果温度低，则将风门开大”。设温度和风门开度的论域为{1，2，3，4，5}。 “温度低”和“风门大”的模糊量： “温度低”=1/1+0.6/2+0.3/3+0.0/4+0/5 “风门大” =0/1+0.0/2+0.3/3+0.6/4+1/5 已知事实“温度较低”，可以表示为 “温度较低”=0.8/1+1/2+0.6/3+0.3/4+0/5 试用模糊推理确定风门开度。 * 模糊推理的应用 解：（1）确定模糊关系 R * 模糊推理的应用 解： （2）模糊推理 =(0.0，0.0，0.3，0.6，0.8) （3）模糊决策 用最大隶属度法进行决策得风门开度为5。 用加权平均判决法和中位数法进行决策得风门开度为4。 ú ú ú ú ú ú ? ù ê ê ê ê ê ê ? é ú ú ú ú ú ú ? ù ê ê ê ê ê ê ? é = ￠ = ￠ 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 0 . 0 3 . 0 3 . 0 3 . 0 0 . 0 0 . 0 6 . 0 6 . 0 3 . 0 0 . 0 0 . 0 0 . 1 6 . 0 3 . 0 0 . 0 0 . 0 0 . 0 3 . 0 6 . 0 0 . 1 8 . 0 o o T R A B 推理技术 非单调推理： 指的是一个正确的公理加到理论T中，反而会使预先所得到的一些结论变得无效了。 非单调推理的基本出发点是古典的完备性：对一个理论来说，任一公式P，或是P可证明或是P的非可证明。这样，为保证一个理论是完备的，可增加命题P，如果P的非不能由该理论推演出来，将这样的命题P假设是成立的，加到理论中参予推理，便是非单调的推理方式。 其中，Γ表示已知信息，Γ’表示新信息，?表示不确知。 推理技术 非单调推理： 非单调推理的最终目标是实现推理的合理性。这里的合理性主要是指合乎常识的一般情况，或者能合乎情理地解释现实状况等等。这不同于单调推理所要求的有效性。推理的合理性往往带有时效性和主观性。这种时效性与主观性体现出模态的特征。 时效性体现在相信的事实是暂时为真，而非永久为真。随着时间推移，有用信息的扩大，所相信的事实可能为假，或者在某段时间内为假。 推理技术 默认推理： 默认推理又称缺省推理，它是在知识不完全的情况下作出的推理，通常的形式：如果没有足够的证据证明结论不成立，则认为结论是正确的。 当缺乏信息时，只要不出现相反的证据，就可以作一些有益的猜想。构造这种猜想称为缺省推理。 缺省推理的定义1：如果X不知道，那么得结论Y。 缺省推理的定义2：如果X不能被证明，那么得结论Y。 缺省推理的定义3：如果X不能在某个给定的时间内被证明，那么得结论Y。 推理技术 小结： 推理； 推理的分类； 各种推理方法； （注意对应的知识表示方法） * * NOx:燃煤占70% * * * 例如，“成年人”集合： 模糊集合 1. 模糊集合的定义 “成年人” 隶属度函数图 “成年人” 特征函数图 0 0 * 当论域中元素数目有限时，模糊集合 的数学描述为 ：元素 属于模糊集 的隶属度， 是元素 的论域。 模糊集合 2．模糊集合的表示方法 * 模糊集合 2．模糊集合的表示方法 （1）Zadeh表示法 （1）论域是离散且元素数目有限: 或 （2）论域是连续的，或者元素数目无限： * 模糊集合 2．模糊集合的表示方法 （2）序偶表示法 （3）向量表示法 * 3. 隶属函数 常见的隶属函数有正态分布、三角分布、梯形分布等。 隶属函数确定方法： （1）模糊统计法 （2）专家经验法 （3）二元对比排序法 （4）基本概念扩充法 模糊集合 * 3．隶属函数 模糊集合 例如：以年龄作论域，取 ，扎德给出了“年老”O 与“年青”Y 两个模糊集合的隶属函数为