片语

empty inference rule虚推理规则

inference synthesize rule推理合成规则

inference e rule推理规则

fuzzy inference synthesis rule模糊推理合成规则

fuzzy inference synthetize rule模糊推理合成规则

weak inference rule弱推理规则

inference synthesis rule推理合成规则

fuzzy inference synthesize rule模糊推理合成规则

knowledge inference rule知识推理规则

英汉例句

• Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.

  详细说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。

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

  如果描述块后面没有紧跟命令块，NMAKE 将查找匹配的推理规则。

• B-spline inference rule was established and B-spline inference system was constructed, and then the final result of the system was calculated as a B-spline hypersurface.

  建立B样条推理规则，构造实现了B样条推理系统，并求出该系统的最终结果为B样条超曲面。

• If a dependent file does not exist and is not listed as a target in another description block, an inference rule can create the missing dependent from another file with the same base name.

  如果依赖文件不存在，并且未在另一个描述块中作为目标列出，则推理规则可以从具有相同基名称的另一个文件创建缺少的依赖项。

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

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

• 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.

  对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。

• Valuation density probability truth degree inference rule similarity degree pseudo-distance.

  赋值密度函数概率真度推理规则相似度伪距离。

• A flexible inference rule in belief networks is designed and quasi-information filtering provides a new approach to studying uncertai…

  为决策分析和人工智能领域中的不肯定性信息测度问题提供了一种新的方法。

• Situation monitoring and trouble diagnosis expert system for TBM is developed. The structure principle, inference rule and goal attaining process are described.

  基于专家系统工具，开发了TBM状态监测和故障诊断专家系统，阐述了系统的结构原理、推理规则、目标实现过程。

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

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

• 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)的三维地层模型自动建模问题，提出了一种三维地层构造知识推理规则和建模方法。