归结原理的英文

发音:

"归结原理"怎么读用"归结原理"造句

英文翻译手机版

resolution (logic)

"归结"英文翻译 sum up; put in a nutshell
"原理"英文翻译 principle; tenet; axiom; the ...
"固结原理" 英文翻译 : consolidation theory; theory of consolidation
"聚结原理" 英文翻译 : concretion principle
"烧结原理" 英文翻译 : fundamental of sintering
"归结" 英文翻译 : 1.(总括而求得结论) sum up; put in a nutshell 问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学] resolution; 归结式 resolvents
"归结式" 英文翻译 : resolvents
"归结为" 英文翻译 : boil down to; come down to; result
"归结于" 英文翻译 : attribute to; resolve into; to explain by indicating a cause
"烧结原料" 英文翻译 : sintering feed
"团结原则" 英文翻译 : principle of solidarity
"未键结原子" 英文翻译 : non-bonded atom
"烧结原料组分" 英文翻译 : sinter feed component
"原理" 英文翻译 : principle; tenet; axiom; theory 根本的原理 a cardinal principle; 数学的基本原理 fundamentals of mathematics; 违反马克思主义的基本原理 contravene the basic principle of marxism; 详述 ... 的原理 develop the theory of ...; 运用科学原理造福人类 apply the principles of science for the good of mankind; 这些机器按照相同的原理运转。 these machines work on the same principle
"熬浓，简化，归结为" 英文翻译 : boil down
"递归结构" 英文翻译 : recursive structure
"凡人归结" 英文翻译 : clayton emery netheril mortal consequences
"广义归结" 英文翻译 : generalized resolution
"广义锁归结" 英文翻译 : generalized lock resolution
"归结定理" 英文翻译 : resolution theorem
"归结起来是" 英文翻译 : boil down to
"归结为四类" 英文翻译 : fall into four categories
"归结主体" 英文翻译 : resolution agent
"归结子句" 英文翻译 : apodosis
"锁分解, 锁归结" 英文翻译 : lock resolution

例句与用法

Further , resolution principle based on matrix calculus is proposed . 4
进一步，在万中提出了基于矩阵运算的归结原理。
In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。
So , resolution principle of n is clear and simple , and we can use the four fundamental operations of arithmetic in the procession of the resolution
由于这种“特殊性”的存在，使得页中的归结原理形式上简单、明了，并且归结过程可以用数与数之间的运算体现。
A kind of resolution principle based on neural network in the procession of the resolution , computationally hard problem may happen . because neural network has the advantage of learning and parallel algorithmic , we can use it to solve the problem
基于神经网络的归结原理实现在数字系统n中，归结过程会产生大量的计算，自然地，我们会想到利用神经网络学习和并行计算的优点解决这一问题。
In proposbonal calculus , the processing ofresoluhon pdriciple have combination explosion naturally so , how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。
3 . resolution principle of numerals system n because simple statements have order relation in n , the order relation makes complex statements of n have special property . it happens in the inside of a complex statement , no between two complex statements
数字系统万中的归结原理由于数字系统厂中的原子命题带有自然数序关系，使厂中的公式又有了一些“特殊性” ，且这种“特殊性”只体现在公式内部，两个公式之间没有这种“特殊性” 。
The problem which should be settled and the knowledge is represented in xdd , and the problem is solved by resolution principle . thus , the information on the web can be used in the decision process and it becomes easy to share and exchange data in or among the system
主要内容包括：定义了合一指定和xml归结子句，给出了归结原理在xdd中的应用形式；证明了归结的过程是一个等价变换的过程，论证了应用归结原理实现xml问题求解的可行性；给出了应用归结原理实现xml问题求解的方法和步骤。
In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。
Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （）的a一归结原理进行了初步探讨
Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。