模糊推理

从不精确的前提集合中得出可能的不精确结论的推理过程,又称近似推理。在人的思维中,推理过程常常是近似的。例如,人们根据条件语句(假言)“若西红柿是红的”,则西红柿是熟的”和前提(直言)“西红柿非常红”,立即可得出结论“西红柿非常熟”。这种不精确的推理不可能用经典的二值逻辑或多值逻辑来完成。L.A.扎德于1975年首先提出模糊推理的合成规则和把条件语句“若xA,则yB”转换为模糊关系的规则。此后J.F.鲍德温和R.R.耶格尔等人又各自采用带有模糊真值的模糊逻辑而提出了不同于扎德的方法。

是论域U上的模糊子集,是论域V上的模糊子集(见模糊集),则模糊条件语句可叙述为:“如否则 “=(×)+(× ),式中+表示模糊关系××求并,×的隶属函数为∧表示取其左右项之中的最小值。推理的合成规则可叙述为:如是从UV 的模糊关系,且U 的一个模糊子集,则由 所推得的模糊子集为,式中⋅表示合成运算。在UV为有限集的情况下,的隶属函数为表示对i取最大值,vj,ui分别为V,U 的元素。模糊推理的合成规则是假言直言推理的近似推广。