1) simplification of the inference rule
推理规则的简化
2) rule-based reasoning
基于规则的推理
1.
This paper used rule-based reasoning to obtain roller type and introduced knowledge modeling technology detailedly based on Object-Oriented Knowledge Representation.
运用基于规则的推理方法确定轧辊类型,根据面向对象的知识表示方法,阐述了轧辊的知识建模技术,有效地提高了轧辊设计的智能化程度,提高了设计的质量和效率,减少了设计对设计人员经验的依赖。
2.
Most fault diagnosis expert system adopted single reasoning mechanism, or rule-based reasoning or case-based reasoning.
多数故障诊断专家系统采用单一的推理机制,或者基于规则的推理,或者基于事例的推理。
3.
This paper used rule-based reasoning to obtain roller type and introduced knowledge modeling technology detailedly based on Object-Oriented Knowledge Representation.
运用基于规则的推理方法确定轧辊类型,根据面向对象的知识表示方法,阐述了轧辊的知识建模技术,有效地提高了轧辊设计的智能化程度,提高了设计的质量和效率,减少了设计对设计人员经验的依赖。
3) resolution rule of inference
推理的归结规则
4) derived rule of inference
推理的导出规则
5) simplification rules
简化规则
1.
Petri nets simplification rules based on FMS;
基于柔性制造系统的Petri网模型简化规则
2.
And the simplification rules of the four basic workflow pattern based on FTCPN and their.
针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理。
6) reducing rules
化简规则
1.
gives reducing rules of work- flow logic net that based on Petri nets.
给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
2.
This paper generalizes the classical Davis-putnam pure literal rules to propositional modallogic D and presents some reducing rules that describe the characters of the deducing procedure inmodal logic D.
以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条