引述
关于模糊推理与模糊逻辑这两个方面都已有大量的研究，只是似乎至今也没有很好地结合起来以模糊命题演算为例，一方面希望有一个从少数几条公理出发可以应用MP规则与Hs规则(三段论推理规则，HyPothetical Sylbgi.进行演绎的形式系统;另一方面当然应当允许一个模糊公式的赋值不再限于取0和1两个值而是可以取[0，1]中的任意值，同时随之而来的是应当把重言式的条件相应地放宽，考虑，比如，赋值恒大于或等于а（а为[0，1]）的那类公式，并称之为重言式，这时我们关心的是形如A-->B的重言式以及有关的演算如何将以上两个方面和谐地结合起来?这类研究似乎很不够在早期的工作中，1978年Baldwin等曾给出了近似推理的公理化形式，但似乎着重于用他们的真值限定法处理与Zadeh的语义变量相关的推理而远远称不上形式演绎系统1980年刘叙华讨论了取值于他所引进的带分界元的有余格的一种模糊逻辑LSI，而他的侧重点则在于在更广的框架下研究归结原理，并未与模糊取式等联系起来1987年Schwartz建立了比较完整的形式演绎系统，但他借助了上、下文无关语法且最终对一个公式的赋值非0即1，并未为FMP和EMP等提供逻辑依据.
1.4.2模糊推理的逻辑基础
设X，Y是非空集，A属于F(X)，B属于F(Y).当已知A—>B以及给定了A属于F(X)时，
Zadeh提出了求B属于F(Y)的下述CRI方法，即模糊取式规则(Fuzzy Modus Ponens)，或简称EMP规则：
这里的R由下式确定：
这一方法被广泛应用于模糊控制问题中并取得了成功但从理论上看，这一方法只是从对经典逻辑的对比而得，其自身的模糊逻辑基础却并不很清楚如，什么叫“已知A--> B”作为公式，A-->B是不是就是重言式呢?其次，按照CRI方法由“A算出的B”又代表什么?是不是指A-->B是重言式呢?这些都不很清楚还有许多不同的EMP推理规则，但似乎都缺乏清晰的逻辑基础.
