1) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结方法
1.
Then the validity of further extension of fuzzy reasoning based on resolution is discussed.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
2) reductionist approach
归结主义方法
1.
Faced with the situation that translation has been so split that research of translation has met a dilemma, this paper proposes a reductionist approach to translatology, which requires integration of seemingly complicated phenomena so as to explore into greater depth to find a solution to the unification problem of translation as an objective ontic entity.
针对翻译理论界将翻译进行过度切分,以致将翻译研究拖入困境的状况,提倡翻译学的归结主义方法。
3) generalized resolution principle
广义归结方法
4) resolution method
归结法
5) Recursion method
递归方法
1.
Recursion method, and the calculation on magnetism of clusters;
递归方法和团簇磁性的计算
2.
2 crystal and amorphous alloy was studied by recursion method.
2)晶态和非晶合金的原子结构模型,利用递归方法研究了Zr_(41)Ti_(13。
6) incorporation method
归并方法
1.
Study on incorporation method of cutting-plan of custom-made garments;
度身定制制服裁剪方案归并方法的理论研究
补充资料：归结方法
归结方法
resolution method
guijie fangfa归结方法(n劫川uti皿斌比thod)一阶逻辑中的一个完备的推理方法。亦即对于一阶逻辑中任一个恒真的公式，使用此方法都能在有限步内证明这个公式的恒真性，因此归结方法成为定理机器证明的一种重要方法。 从17世纪数理逻辑诞生起，人们就期望得到一个机械的逻辑方法，用这个方法能够证明用数理逻辑描述的所有定理。在长期的研究中，虽然得到了一些算法，但是这些算法在计算机上实现时，都因为过于复杂而不能真正地完成证明定理的任务。直到1965年J.A.Robi~提出归结方法，才使得在计算机上证明定理向前跨进一大步。 下面以命瓜逻辑为例介绍这一方法。 我们将原子或者原子的否定统称为文字。由文字组成的析取式称为子句。例如，A VBV一C是子句，其中A，B，C是原子。(A八B)VC不是子句。 归结式:设Cl和CZ是两个子句。若在Cl和cZ中分别存在两个文字Ll和LZ，并且Ll=一LZ，不妨设 Cl=五1 VC; C:=无:VC乏其中C;和C玉也都是子句，则C至VC乏称为对Cl和CZ使用归结方法得到的归结式。 可见，归结方法是一种操作起来非常简洁的方法:在两个子句中删掉互补的两个文字(如果存在的话)，将剩下的子句再析取起来。例如，Cl二一AVB CZ二A，则对Cl和CZ使用归结方法，得到B。而Cl也可等价地写成(A一B)，cZ是A，由Cl和CZ得到B的推理实际上是三段论推理。因此，三段论是归结方法的一个特例。 用归结方法证明数学定理实质上是一个反驳过程。在数理逻辑中，一个数学定理，通常写成如下公式: Al八AZ八…AA，~B其中Al，…，A，是前提公式，B是结论公式。证明上述定理成立，相当于证明公式(一AIV…V一A，VB)是恒真的，也相当于证明如下公式: 一(一A IV…V一A二VB) 二Al八…八A。A一B(二)是恒假的。将公式(*)等价地化成合取范式，得到一个子句集S(S中子句之间是合取关系)，用归结方法证明了S的恒假性，就相当于证明了上述定理。例如，要证明如下定理: ((A~B)A(B一C)AA)~C只要证明公式((A~B)A(B~C)AAA一C)是恒假的即可。将此公式化成合取范式: (一A VB)A(一B VC)八AA一C将上面公式写成如下子句集S:一A VB一B VCA一C、、J尹、.了、，尹、J尹，12内J4廿了r、、Jr‘产护吐，了r胜、JI||夕、||L S(1)和(3)作归结得到B，B和(2)作归结得到C，C和(4)是一对矛盾，作归结得一恒假子句(称为空子句)，因此S是恒假的，从而证明了定理。 如此简洁的方法却有着很强的功能。 完备性定理:子句集S是恒假的，当且仅当从S出发，使用归结方法可推出一对矛盾(即得到一个空子句)。 这一方法不仅对命题逻辑适用，对一阶逻辑也适用，当然需要加进合一替换的概念。 归结方法也正在被引进各种非标准逻辑中，成为自动推理领域中的一种基本方法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条