FMT问题的两种三I算法及其还原性

进一步研究 FMT问题 ,得到该问题的三 I算法的一般计算公式 ,提出该问题的一种新算法——三 I* 算法 ,给出新算法的一般计算公式 ,讨论两种算法的还原性问题 ,明确两种还原性的含义 ,证明FMT问题的三 I算法是 W-还原的 ,而三 I* 算法是 Z-还原的。

L_n*系统中α-反向FMP和α-反向FMT问题的解

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算法的形式化推理机制。

模糊推理的FMT问题研究

对FMT问题的3种不同形式进行了研究,分析了最常用CRI算法和三Ⅰ算法求解这3种形式的FMT问题得到的解的统一解形式,并证明了在何种情况下这3种解是等价的.这种研究提供了将FMT问题转化为FMP问题的可能性,在一定程度上对FMT问题的求解起到了简化作用.

FMP与FMT问题的模糊熵三I算法及其还原性

讨论FMP,FMT问题的模糊熵三I算法解的存在条件,研究了三I解与模糊熵三I解的关系,获得了相当一般的情形———基于三角范数的剩余型蕴涵之模糊熵三I算法的一般计算公式,证明了这些算法在一定条件下是还原算法.

基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法

Schweizer-Sklar三角范数簇具有柔化性,使得由其构造的逻辑系统在模糊推理中具有良好的属性.将Schweizer-Sklar三角范数簇与模糊推理反向三Ⅰ算法结合起来,给出基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法和α-反向三I算法,并给出对应三Ⅰ解的表达式.结合Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的特点,讨论当参数取特殊值时对应的特殊蕴涵算子→D,→L,→G,→P的反向三Ⅰ算法及对应三Ⅰ解的表达式.提供一种柔化性的模糊推理反向三Ⅰ算法.