基于完备BR0-代数的全蕴涵三I算法

Total Complication Triple I Method Based on Complete BR0-Algebra

中文关键词:  模糊逻辑  基础$BR_0$-代数  $R_0$-单位区间  三I算法  基础${\cal L}^*$系统.

英文关键词:fuzzy logic  $BR_0$-algebra  $R_0$-unite interral $\overline{W}$  triple I method  $B{\cal L}^*$ system.

中文摘要:

      研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.

英文摘要:

      We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.