inference rule

there are hybrid theorem proving systems which use model checking as an inference rule.

有混合定理证明系统，使用模型检查的推理规则。

互联网摘选

extensions in an inference rule match a single target and dependent that have the same base name.

推理规则中的扩展名与具有相同基名称的单个目标和依赖项匹配。

互联网摘选

a description block or inference rule specifies a block of commands to run if the dependency is out-of-date.

如果依赖项已过期，则描述块或推理规则指定要运行的命令块。

互联网摘选

the method which combine with fuzzy approximate inference rule 1 and 2 can form an integrate approach.

它与模糊一、二级近似推论构成一套完整的评价方法。

互联网摘选

realization of a knowledge inference rule induction system

一种知识推理规则归纳系统的实现

互联网摘选

for the fuzzy-pi controller, the inference rule of a group of optimization has the most important influence for its performance.

对于Fuzzy-PI控制器来说，一组优化的推理规则对其性能有着至关重要的影响。

互联网摘选

nmake looks for a matching inference rule if a description block is not followed by a commands block.

如果描述区块后面没有跟随著命令区块，NMAKE就会寻找相符的推断规则。

互联网摘选

if a description block's target has no dependents or commands, an inference rule can update the target.

如果描述块的目标没有依赖项或命令，推理规则可以更新目标。

互联网摘选

an algorithm for rapid plan recognition by introducing inference rule

一种引入推理规则的快速规划识别算法

互联网摘选