第7章加权模糊逻辑.docVIP

第七章 加权模糊逻辑 §1 引 言 对复合证据的不确定性，在大多数专家系统的不确定性处理模型中，都采用“与”、“或”、“非”等逻辑复合运算来处理。例如，在专家系统MYCIN[1]和PROSPECTOR[2]中就采用“与”、“或”、“非”等模糊逻辑复合运算来处理复合证据的不确定性。由于实际领域的复杂性，规则前提（或曰前件）中诸证据（或曰断言）对于结论（或曰后件）的重要程度通常不尽相同，完全相同仅仅是特殊情形。由于规则前提中诸证据对于结论的重要程度不尽相同，所以规则前提中诸证据之间的关系往往不能用通常的“模糊逻辑与”、“模糊逻辑或”来描述，文献[4][5]等开展了这方面的研究工作。 §2 加权模糊逻辑和加权模糊逻辑命题演算 为了表示能区分规则前提中诸证据（或曰断言）对于结论有不同重要性的逻辑关系，我们研究了加权模糊逻辑。实际应用领域中，除了有很多需要用“加权逻辑与”和“加权逻辑或”来描述的事物之外，还常常存在这样一种情况，其描述为：当规则前提包含的所有证据中只要有一部分存在时，就有对应的结论存在；当存在的前提证据越多时，则对应结论为真的程度就越大；在存在的前提证据中，对结论为真影响大的证据越多，则结论为真的程度也越大。那么，这样一种情况，显然既非“加权逻辑与”，也非“加权逻辑或”。为了刻画这样一种情况，我们引入了“加权逻辑综合”概念。我们认为加权模糊逻辑公式的真值不仅与各子式的真值有关，而且与各子式的权数有关。 为了描述加权模糊逻辑命题演算，我们引入一些约定。我们用X 表示一加权命题公式，用T(X) 表示X 的真值，用W(X) 表示 X 的权数. W(X) 刻画了X的断言部分的存在对与X相关的事物之存在的重要程度。 定义〖1〗 设是原子命题，是 的权数， 是一个加权原子命题。 与的真值相同，即，且 . 定义〖2〗 1. 每个加权原子命题是一个加权命题公式，其真值和权数分别为和 . 设 是一个加权命题公式，则也是一个加权命题公式，称之为 的否定，其真值为，其权数为 . 2. 设 为个加权命题公式，符号“?”代表加权合取运算，则 也是一个加权命题公式，并称其为的加权合取式。说某一加权命题公式存在， 中所有的加权命题公式（或加权合取式）都已存在，且集合 中有h个最小元素： ，其中 ? 为一待定常数，用以调整权数在加权合取运算中的作用。令，那么的真值与权数分别是： . 3. 设 为个加权命题公式，符号“?”代表加权析取运算，那么， ，也是一个加权命题公式，并称其为的加权析取式。假定集合 是 中已存在的所有加权命题公式（或加权析取式；一加权命题公式存在系指其真值大于等于规定的门槛值（或阈值）），且集合 中有h个最大元素： ，其中 ? 为一待定常数，用以调整权数在加权析取运算中所起作用的大小。令，则 的真值和权数分别为： . 4. 设 为个加权命题公式，且这个加权命题公式是独立差错的，则 的加权逻辑综合公式为：，其中 ? 为加权逻辑综合运算符，k ? m ? n，k一般大于1， 是 中所有存在的加权命题公式（真值大于等于规定的阈值） 。 的真值和权数分别定义为： 首先有 ， ? ， ，k ? m ? n . 5. 设X 是一个加权命题公式，则 也是一个加权命题公式，它等价于X ，其真值和权数分别为： . 6. 所有加权命题公式都是有限次地使用上述规则形成的。对于加权模糊逻辑中的任一个加权命题公式X ，都有 . 由定义2．可知，加权命题公式的真值不仅与其各子式的真值有关，而且与其各子式的权数有关。加权逻辑综合公式的真值为存在的所有子式的真值的加权累加和。定义2. 给出了一种区别规则前提中诸证据对规则结论的不同重要性的逻辑关系。前面已指出 ? ? 0 是一个可调整的实数，用来调整权数对加权逻辑公式真值的影响程度. ? 越大权数所起的作用也越大。显然，加权合取运算和加权析取运算都满足交换律和结合律。 §3 加权模糊逻辑在专家系统ES中的应用及加权模糊逻辑的推理规则 在 §2中，我们仅仅讨论了加权模糊逻辑公式的形成规则。本节结合加权模糊逻辑在专家系统中的应用讨论加权模糊逻辑用于推理规则。 通常，在区别产生式规则（或规则）前提（或前件）中诸断言（或曰证据、知识元等）对产生式规则结论具有不同重要性的专家系统中，其产生式规则可用加权模糊逻辑运算做如下刻画： IF 〈断言1，权数1〉?〈断言2，权数2〉? … ?〈断言k ，权数k〉 THEN 〈结论，权数k +1〉〈规则强度〉