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