论文部分内容阅读
三Ⅰ推理方法是一种新的模糊推理方法，通过已有的研究成果表明，在许多方面它优于传统的CRI推理方法，它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近，国外学者提出了一个新的模糊逻辑形式系统，叫做Monoidalt-normbasedlogics（简记为MTL），已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三Ⅰ推理方法形式化，从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。