It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
This paper presents design principle and realizable approach of Classification and Recognition Inference Decider for Soil Remote Sensing in arid land.
介绍了干旱区土壤遥感分类识别推理决策器的设计原理与实现方法。
This paper presents design principle and realizable approach of Classification and Recognition Inference Decider for Soil Remote Sensing (CRID) in arid land.
介绍了干旱区土壤遥感分类识别推理决策器的设计原理与实现方法。
This paper presents design principle and realizable approach for Inference Decider for Recognition of Soil Classification Remote Sensing(IDRS) in arid land.
介绍了干旱区土壤类型遥感识别推理决策器的设计原理与实现方法。
Inference principle of medical fault applies to cases of faulty medical treatment.
对于医疗事故案件适应过错推定原则。
Based on the analysis of the mechanism of fuzzy reasoning by compositional rule of inference, the principle of how to achieve the same results with interpolation method is presented.
在对采用合成推理规则进行模糊推理的机制进行分析的基础上，给出了利用插值法也可以得到相同结果的原理。
The principle and methods of the intelligent modelling, knowledge representation, constraint inference, parameter design, multi-scheme design and layout design are described at length.
并给出了智能模型的建立及知识表示、约束推理、参数设计、多方案设计与布置设计的原理与方法。
After the analysis of the principle of "fall one or leave", it is pointed out that the number of rules in rule inference would be variable.
分析了“激活一个，否则离开”原则的优缺点，指出在近似推理中，大前提中的规则数量应该可变。
The analysis proves that in principle the GO methodology is in conformity with strict logical inference and provides a new method for the reliability analysis of a manufacturing system.
分析过程证明，GO法在理论上符合严格的逻辑推导，为制造系统的可靠性分析提供了一种新的方法。
We review the basic principle, formalism, and philosophy of Bayesian inference and discuss its application in the context of the analytic continuation problem.
我们回顾了他的基本原理，公式和贝叶斯原理的性质，并且讨论了它在解析延拓问题的应用。
Application, action principle and main inference factors of peroxide in the process of cyanide leaching Au are discussed.
介绍了过氧化物在氰化浸金工艺中的应用、作用机理及主要影响因素。
This essay attempts to explain the generation and inference of conversational implicature in courtroom English conversation based on Grice's co-operative principle.
本文主要根据格莱斯的会话合作原则，试图研究庭审英语中会话含义的产生和推导。
This essay attempts to explain the generation and inference of conversational implicature in courtroom English conversation based on Grice's co-operative principle.
本文主要根据格莱斯的会话合作原则，试图研究庭审英语中会话含义的产生和推导。
应用推荐