1) generalized resolution principle
广义归结方法
2) generalized resolution
广义归结
1.
And we have also proved the completeness of using strong implication and generalized subsumption as the delete stratgy in generalized resolution at the same time.
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的。
3) 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.
针对翻译理论界将翻译进行过度切分,以致将翻译研究拖入困境的状况,提倡翻译学的归结主义方法。
4) generalized lock resolution
广义锁归结
5) generalized induction
广义归纳法
6) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结方法
1.
Then the validity of further extension of fuzzy reasoning based on resolution is discussed.
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的。
补充资料：广义
范围较宽的定义（跟‘狭义’相对）：～的杂文也可以包括小品文在内。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条