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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
Based on resolution of interval Numbers and fuzzy resolution theorem, we develop a method of solving the structural fuzzy finite element equilibrium equations.
利用区间数的分解和模糊分解定理，研究了一种结构模糊有限元平衡方程的求解方法。
应用推荐