【摘要】 进一步研究模糊推理的非模糊形式 ,在几个重要的逻辑系统中形式地讨论 GMP(广义取式 )和 GMT(广义拒取式 )问题的最优解。结果表明 ,GMP和 GMT问题的三Ⅰ解和一种新的三Ⅰ解都是某种意义下的最优解。还讨论所给算法的还原性问题。更多还原

【Abstract】 This paper focuses on the non-fuzzy versions of fuzzy reasoning, and further discusses formally the optimal solutions of generalized modus ponens and generalized modus tollens in several important logic systems. It is proved that the triple I solutions and a kind of new Triple I solutions are all optimal solutions of generalized modus ponens and generalized modus tollens in some sense. The reductivity of given algorithms are also considered.更多还原