1) RUE-NRF resolution
RUE-NRF归结
1.
In this paper, although it is complete for the E unsatisfied clauses we have applied generated RUE-NRF resolution to the set of the generalized clauses with indexed literal.
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上。
2.
The present paper covers the application of RUE-NRF resolution to a set of generalized clauses by proposing a generalized RUE-NRF resolution method, and a proof of the completeness of this method in first order logic.
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结。
2) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结
1.
Neural Network Resolution on Clause Set;
子句集的神经网络归结(英文)
3) Structure generalization
结构归约
4) α-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)的α-归结原理研究的继续。
5) 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.
对归结原理的基本概念与推理规则进行了讨论 ,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用 。
6) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结方法
1.
Then the validity of further extension of fuzzy reasoning based on resolution is discussed.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
补充资料：rue oil
分子式：
CAS号：
性质：由芳香科植物芳香(Ruta graveolens L.)花期的枝经水蒸气蒸馏得到。为黄色至琥珀色液体。具药香，带橙子果香和刺激性辛辣味。0.826～0.838，1.430～1.440，旋光度-1°～-3°(25℃)，固化点7～10.5℃，含酮量(以甲基壬基酮计)≥90.0%。主成分为甲基壬基酮、甲基庚基酮、甲基辛基酮、甲基癸基酮、1-苧烯、桉叶素、乙酸异辛酯等。主产于南欧和北美。因对皮肤黏膜有刺激作用，故常不作为食品和日用香料使用。可用于医药。用于分离甲基壬基酮，作为合成其他化合物的中间体。
CAS号：
性质：由芳香科植物芳香(Ruta graveolens L.)花期的枝经水蒸气蒸馏得到。为黄色至琥珀色液体。具药香，带橙子果香和刺激性辛辣味。0.826～0.838，1.430～1.440，旋光度-1°～-3°(25℃)，固化点7～10.5℃，含酮量(以甲基壬基酮计)≥90.0%。主成分为甲基壬基酮、甲基庚基酮、甲基辛基酮、甲基癸基酮、1-苧烯、桉叶素、乙酸异辛酯等。主产于南欧和北美。因对皮肤黏膜有刺激作用，故常不作为食品和日用香料使用。可用于医药。用于分离甲基壬基酮，作为合成其他化合物的中间体。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条