English translation for "归结原理"

resolution (logic)

Related Translations:

归结:  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.[力学

凡人归结:  clayton emery netheril mortal consequences

归结式:  resolvents

广义归结:  generalized resolution

归结定理:  resolution theorem

归结于:  attribute toresolve intoto explain by indicating a cause

归结子句:  apodosis

归结为:  boil down tocome down toresult

归结主体:  resolution agent

归结起来是:  boil down to

Example Sentences:

	1.	Further , resolution principle based on matrix calculus is proposed . 4 进一步，在万中提出了基于矩阵运算的归结原理。
	2.	In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning 本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。
	3.	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 由于这种“特殊性”的存在，使得页中的归结原理形式上简单、明了，并且归结过程可以用数与数之间的运算体现。
	4.	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中，归结过程会产生大量的计算，自然地，我们会想到利用神经网络学习和并行计算的优点解决这一问题。
	5.	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 命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。
	6.	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 数字系统万中的归结原理由于数字系统厂中的原子命题带有自然数序关系，使厂中的公式又有了一些“特殊性” ，且这种“特殊性”只体现在公式内部，两个公式之间没有这种“特殊性” 。
	7.	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问题求解的方法和步骤。
	8.	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一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。
	9.	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一归结原理进行了初步探讨
	10.	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 )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。

Similar Words：

"归结起来是；其结果是" English translation, "归结式" English translation, "归结为" English translation, "归结为四类" English translation, "归结于" English translation, "归结中的归并" English translation, "归结中的排序策略" English translation, "归结主体" English translation, "归结子句" English translation, "归经" English translation