更新时间：2024-05-21 17:37
从不精确的前提集合中得出可能的不精确结论的推理过程，又称近似推理。在人的思维中，推理过程常常是近似的。例如，人们根据条件语句（假言）“若西红柿是红的”，则西红柿是熟的”和前提（直言）“西红柿非常红”，立即可得出结论“西红柿非常熟”。这种不精确的推理不可能用经典的二值逻辑或多值逻辑来完成。L.A.扎德于1975年首先提出模糊推理的合成规则和把条件语句“若x为A，则y为B”转换为模糊关系的规则。此后J.F.鲍德温和R.R.耶格尔等人又各自采用带有模糊真值的模糊逻辑而提出了不同于扎德的方法。
由于蕴涵算子的选取与模糊推理的效果密切相关，特别是互为伴随的三角模与蕴涵算子的研究对将模糊推理与模糊逻辑相结合具有重要而广泛的意义。目的就是基于互为伴随的三角模与蕴涵算子建立一种新的模糊命题演算的形式系统RL，使得两类重要的逻辑系统L~*和BL逻辑都是它的扩张。在这种新的模糊逻辑中，从语构上为模糊推理三I算法构建逻辑基础，得到了模糊推理的非模糊形式。这样，就将模糊推理的三I算法纳入到形式模糊逻辑的框架之中，模糊推理过程可转化为模糊逻辑中的形式演绎，从而也使模糊推理有了严格的逻辑基础。