● 摘要
模糊逻辑作为非经数理逻辑的一个重要分支是人工智能与信息科学等许多领域中推理机制的基础。按L.A.Zadeh的观点，模糊逻辑有广义与狭义之分，狭义模糊逻辑是对近似推理形式化所得出的逻辑系统，是多值逻辑系统的扩张。而广义模糊逻辑则是指模糊集理论，它的范围显然要比狭义模糊逻辑要广得多。工程技术界所说的模糊逻辑都是指广义模糊逻辑，但在理论性研究中则讨论狭义的模糊逻辑。本文也与此相一致。 多年来，通过众多学者的努力研究，模糊逻辑得到了纵深发展，并伴随出现了一些新的研究方法，为模糊逻辑的进一步繁荣提供了强而有力的工具。如代数方法，即在研究逻辑系统的同时研究与之相应的代数结构，利用代数的一些研究成果去解决逻辑中的问题，其中MV－代数及R_0代数在证明各自相应逻辑系统完备性问题上所发挥的作用，就是代数方法运用得比较成功的例子，另外，将t－模引入逻辑中，形成一类基于t－模的逻辑系统，也是近年来模糊逻辑研究中常见到的方法。由P.Hajek提出的BL系统就是一类基于连续t-模的逻辑系统，它有三个常见的扩张，Lukasiewicz，Godel和Product系统，分别是基于我们所熟悉的三个连续t－模。但事实上，基于t－模的逻辑系统所要求t－模满足的条件，左连续即可，不需要连续。所以最近，F.Esteva和L.Godo又给出了一类基于左连续t－模的逻辑系统MTL（Monoidal t-norm based logic）。而IMTL是MTL的一类扩张。