对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
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.
对象及其关系的表示是推理、求解的基础，而对象的感觉特征的抽取可归结为一个定性映射。
The expression of object and its relationship is the basis of consequence and solving, and perceptual characteristicion can come down to deterministic mapping.
对于图像处理和模式识别研究人员来说，所遇到的问题都可以归结为不确定性推理的研究。
For these who research into image processing and pattern recognition, the problems under consideration can be seen as reasoning under uncertainty.
应用推荐