基于真值限定的多条件模糊推理算法.pdfVIP

维普资讯 第21卷 第 2期 太 原 重 型 机 械 学 院 学 报 Mar．21 №2 2000年 6月 JOURNALOFTAIYUANHEAVYMACHINERY INSTITUTE Jun．2000 婶绵号d咖蛆 ¨盯 ⑥1．? 基于真值限定的多条件模糊推理算珐 —鲞壁—堑—～—一盘 (太原重型机械学院计算机科学和工程系，太原 030024) 摘 要：本文依据 JF．Baldwin的真值 限定概念，给 出了在 离散 隶属函数下的一组基 于MAX一0复合运算和模糊关系 的多条件模糊真值推理算法。 关键词：苎垩 童；圭苎旦坚；苎塑 橇荆寸1jt1{ 中图分类号：TP182 文献标识码 ：A 0t? -Tpli 在古典的二值逻辑中，推理是脱离命题的具体 内容 ，只依赖于命题的真值 ，具有抽象的逻 辑特征。在模糊推理中如何吸取这一优点?J．F．Baldwin提出了一种真值限定的推理方法[1l， 将模糊命题通过真值限定的方法转化为语言真值 (I= [0，1]上的正规模糊子集)，然后对各 种蕴涵命题都用统一在 [O，1]×[0，1]上的一模糊关系来进行推理。 本文采用基于 MAX一0复合运算和模糊关系R6= ×VU U×B的多条件模糊推理 方法，依据J．F．Baldzcqn的真值限定概念，给出了在离散隶属 函数下的一组多条件模糊真值 推理算法 1 模糊推理 1．1 基本概念、定义和度量 定义1：设A为全域u上的模糊子集，j EU，使得隶属度 ()=1，则称A为正规模 糊子集 。 定义2：设 R1、R2分别为 U ×V、V×W 上的模糊关系，则采用 MAX一0复合运算 “口” 定义为对于 ，VzE U，V E V，V E W ， pR1口R2( ，)=MAX{ 1( ，)0 R2(，)I = MAX}0V ( 1( ，)+ R2(，)一1)I 定理1：0运算满足结合律和交换律。 收稿 日期 ：1999 09一O1 基金玩 目：山西省 自然科学基金资助项 目(991046) 作者简介：张继福 (1963 )，男 ，副教授 ，主要从事人工智能及其应用 。 维普资讯 太 原 重 型 机 械 学 院 学 报 2000经 证明：(略) 定理2：MAX一0复合运算 “口”满足结合律。 ililt／l：(略) 定义3：设 A、B为全域 u上的模糊子集 ，包含性度量定义为 ContLBJA]=MAXIOV ( (z)一 ()} … 1．2 在 MAX一0复合运算下，基于模糊关系Rh的模糊推理 任一模糊概念可由一模糊子集来描述，前提和结论 中含有模糊概念的假言式称为推广的 假言式 ，其推理模式为 ： Antl： Ifz isA thenY isB Ant2： isA (1) Cons： Y isB 其中：A、A 为全域 【，上的模糊子集 ，B、B 为全域v上的模糊子集。 在上述推理模式