一种新型的三I算法及其逻辑基础

在Fuzzy推理中提出了“过半可信”原则,并证明了R_0-型三角模恰为可实现这一原则的三角模。在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(TripleⅠ)。研究了逻辑系统中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础。