归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时，对任一要证明的永真公式取非后，证明它不可满足，为此先转化成一种标准型，然后对这个标准型不断使用单一的推理规则，即实行归结，直到导出矛盾。
归结 [guī jié]
n. resolution
misc. end (of a story, etc.) ; sum up ; put in a nutshell
网络释义专业释义
我把练武的归结(Attributed)为三类人：第一类(Class)是为插足百般搏击赛事的。成功需要成本，时间也是一种成本，对时间的珍惜就是对成本的节约。
基于1264个网页-相关网页
tell me urself plz » 告诉我urself兹罗提 ascribing » 归结 Who am I,your good friend ,will try my best to help you out. » 我是谁,你们的好朋友,会尽我所能帮助你。
基于8个网页-相关网页
-
resolution - 引用次数：71 参考来源 - 基于神经网络的自动推理理论及方法的研究model counting problem - 引用次数：2 参考来源 - 一种新的基于扩展规则的知识编译方法propositional satisfiability - 引用次数：1 参考来源 - 基于经典逻辑的安全协议模型检测方法 in C
-
resolution - 引用次数：20
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
参考来源 - 关于PI证明的若干注记以及逻辑公式的真度理论 -
resolution - 引用次数：1 参考来源 - Tb
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
归结起来就是：不给我加薪，我就辞职。
What it comes down to is, either I get more money or I leave.
-
然而，归结起来，生活的基本问题并未改变。
When you come down to it, however, the basic problems of life have not changed.
-
问题虽然复杂，归结起来不外三个方面。
The questions, though very complicated, may be summed up as coming under three categories.
-
After World War II, there were two things that, I think, contributed to the huge housing boom at that time.
第二次世界大战后,我认为,那时房地产的巨大繁荣主要归结于两件事
-
And so frequently what we try and do is, we take a new problem and map it onto an old problem so that we can use an old solution.
我们经常做的一件事就是，我们处理一个新问题时,把它归结为一个老问题,以便我们能采取老的解决方式。
-
It could be called something which is a kind of pleasure and which therefore could be subsumed under the pleasure principle and would obviate the need for a theory of the death drive as Freud develops it in Beyond the Pleasure Principle.
可它也可看作是一种快乐,所以可以被归结到快乐原则中去,并且排除了弗洛伊德在《超越快乐原则》中阐述的,死亡驱动所需的理论基础。
应用推荐
$firstVoiceSent
- 来自原声例句