归结原理 meaning in Chinese
resolution (logic)
Examples
- 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
命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。