2) II-α-hyper resolution principle
II-α-超归结原理
1.
In order to improve the efficiency of resolution automated reasoning algorithm in lattice-valued propositional logic, II-α-hyper resolution principle is proposed based onα- resolution principle of lattice-valued propositional logic LP(X).
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。
3) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
5) Structure generalization
结构归约
6) α-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)的α-归结原理研究的继续。
补充资料：超超
1.谓超然出尘。 2.高高在上貌。 3.犹绰绰。 4.见"超超玄箸"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条