论文部分内容阅读
研究了全蕴涵三Ⅰ算法及几种常用蕴涵的三Ⅰ MP解的还原性.利用新构造的函数ψx(t)=(A(x)→B(y))→(A*(x)→t),将三Ⅰ MP规则给予定量描述,得到了FMP(Fuzzy ModusPonens)问题的构造性方法.给出Zadeh型三Ⅰ MP解,修正了已有结果.将这一构造性方法推广,得到α-三ⅠMP问题的构造性方法,并给出R.型、Lukasiewicz型和Zadeh型三ⅠMP解具有还原性的充要条件.