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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
When the knowledge rule is found in the knowledge files, T-S fuzzy inference model is applied to resolution of question.
当在知识库中搜索到相应的知识规则后，采用T - s模糊推理模型的求解策略进行求解。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
应用推荐