1) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
2) Structure generalization
结构归约
3) α-resolution field
α-归结域
1.
The research onα-resolution fields of generalized literals of lattice-valued propositional logic LP (X) is the subsequence of the work onα-resolution principle based on lattice-valued propositional logic LP (X), where the algebra of true-values is a lattice implication algebra.
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续。
4) resolution principle
归结原理
1.
Research on extensible markup language problem solving based on resolution principle;
基于归结原理的可扩展标识语言问题求解
2.
The Exploration of Problem Solving based on Resolution Principle;
用归结原理进行问题求解的探索
3.
It discusses carefully the basic concepts and inference rule of the resolution principle.
对归结原理的基本概念与推理规则进行了讨论 ,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用 。
5) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结方法
1.
Then the validity of further extension of fuzzy reasoning based on resolution is discussed.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
6) input resolution
输入归结
1.
In the modified methods, input resolution is one of good reasoning methods, and it is complete for Horn sets.
其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。
补充资料：归结
①总括而求得结论：原因很复杂，～起来不外三个方面。②结局：这件事儿总算有了一个～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条