1) full implication triple I algorithm
全蕴涵三Ⅰ算法
2) Einstein fuzzy implication operators intersection
全蕴涵三算法
3) full implication triple I method
全蕴涵三I算法
1.
Professor Wang Guo-jun firstly pointed out the imperfections of CRI algorithm, and proposed the famous full implication triple I method.
我国著名学者王国俊教授首次指出了CRI算法在逻辑语义方面的不足,进而提出了基于逻辑语义蕴涵理论的模糊推理全蕴涵三I算法。
4) Triple Ⅰ Method
三Ⅰ算法
1.
Analytical Restriction Degree of Triple Ⅰ Method and Reverse Triple Ⅰ Method for Fuzzy Reasoning Based on Parametric Kleene's Implication Operator θ_p
基于蕴涵算子θ_p模糊推理的三Ⅰ与反向三Ⅰ算法的约束度分析
5) implication operator
蕴涵算子
1.
United forms of triple I method based on a sort of implication operators;
基于一类蕴涵算子的三I算法的统一形式
2.
Triple I methods based on parametric-implication operators;
基于含参量蕴涵算子的三I算法
3.
Research on implementation algorithm of fuzzy concept lattices based on different implication operator;
基于不同蕴涵算子的模糊概念格建格算法研究
6) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵算子
1.
We further study the inducing operators of a quasi-t-norm (or an implication) on a complete lattice once discussed in Reference [2],and prove that implication and the t-inducing operator of quasi-t-norm equals the original quasi-t-norm under a given condition and a given scope.
利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系。
2.
This paper discusses the sets of solutions of equations T(a,x)=b and I(a,x)=b, where L is a complete Brouwerian lattice, T is an infinitely V -distributive pseudo-t-norm on L, I is an infinitely A-distributive implication on L, and J=7(T).
讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T)。
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条