The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
Decision inference of the extended decision rules was implemented using fuzzy CRI (compositional rule of inference).
用关系合成的模糊推理方法，实现了扩展决策规则集的决策推理。
From the viewpoint of cognition of language, relevance theory holds that utterance communication is of cognitive activity that follows the rule of inference.
关联理论从认知语言学的角度提出语言交际是按一定推理思维规律进行的认知活动。
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.
在对采用合成推理规则进行模糊推理的机制进行分析的基础上，给出了利用插值法也可以得到相同结果的原理。
This condition can apply in an inference rule, as a Fraud is created or in a stream processing statement if the transaction event is part of a stream.
这个条件可以应用于推导规则(创建欺诈)，如果交易事件是流的组成部分，还可以应用在流处理陈述中。
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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It introduces the concrete realization course of the expert system and traverses the inference mechanism based on rule, case, model and hybrid reasoning.
介绍了专家系统的具体实现过程，对基于规则、基于案例、基于模型以及混合推理的推理机制进行了研究。
Finally, taking ADRT as the application object, using the integrated inference technology of rule diagnosis and Bayesian Network diagnosis methods, we develop the intelligent fault diagnosis system.
最后，以自动门为应用对象，采用规则诊断与贝叶斯诊断集成推理技术，开发了自动门智能故障诊断系统。
It is always in the same way in proving the inference of the rule that determinant spread in row or column in the current "Linear Algebra" teaching material.
在现行《线性代数》教材中，关于行列式按行(列)展开法则推论的证明，基本上采用同一种方法。
While the article proposes the improved inference and self-learning method of fuzzy rule.
并提出了模糊规则的改进推理和自学习方法。
The representation of client requirement knowledge based on frame - rule and its inference process are presented, the product knowledge index and retrieve are analyzed.
提出了客户需求知识的框架-规则表示方法及推理过程，对产品知识索引与检索方式进行分析。
The objective is to inquire into the change rule of the dynamic parameters and study how to make a reasonable statistical inference about it.
目标是探讨动态回归系数随时间变化的规律，并从数理统计学角度研究如何对其作出合理的推断。
Based on the division of characteristic models of the system, the knowledge base, the data base, the rule base and the inference mechanism of expert system are designed meticulously.
根据系统特征模型的划分，精心设计专家系统的知识库、数据库、规则库和推理机。
Based on rough set theory, a rule inference approach of integrating the importance of attributes with the emergence frequency of attribute value is proposed.
提出一种基于粗集理论的，把属性的重要性和属性值的出现频率综合起来进行规则推理的方法。
The form and mechanism of inference of information understanding, semanteme structure of rule knowledge and production process of new knowledge is discussed ;
主要讨论信息理解的推理形式和机制、规则知识的语义结构以及新知识产生过程；
In the system, the method of knowledge representation is genetic rule, inference engine combines uncertain inference and rule inference.
该系统的知识表示使用了产生式规则形式，推理机采用了规则推理和不精确推理相结合的方法。
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 condition portion of a rule that is tested by the inference engine. If the premise is found to be true, the corresponding.
规则中受推理机测试的条件部分，若前提为真，则采取规则结论所规定的相应。
When the knowledge rule is found in the knowledge files, T-S fuzzy inference model is applied to resolution of question.
当在知识库中搜索到相应的知识规则后，采用T - s模糊推理模型的求解策略进行求解。
This paper also introduce the rule of knowledge presention, the structure of this inference engine, the process of the inference engine execution.
介绍了相应知识的形式化表示形式、推理机的结构、推理机的执行过程。并简要介绍了用来调试基于该虚拟机的知识的调试器。
In order to solve the 3d automatic modeling problem of strata based on Generalized Tri-prism (GTP), a kind of 3d stratum structure knowledge inference rule and modeling method is put forward.
为了解决基于广义三棱柱(GTP)的三维地层模型自动建模问题，提出了一种三维地层构造知识推理规则和建模方法。
The system is a rule-based production system. Inference engine is the core part of expert system. We use forward chaining and backward chaining at the same time.
描述一种诊断型专家系统，它统属于基于规则的产生式系统，推理机是核心部分，分别采用了正向、反向推理技术。
The condition portion of a rule that is tested by the inference engine. If the premise is found to be true, the corresponding action specified in the rule conclusion is taken.
规则中受推理机测试的条件部分，若前提为真，则采取规则结论所规定的相应动作。
The condition portion of a rule that is tested by the inference engine. If the premise is found to be true, the corresponding action specified in the rule conclusion is taken.
规则中受推理机测试的条件部分，若前提为真，则采取规则结论所规定的相应动作。
应用推荐