1) derived rule of inference
推理的导出规则
2) derivation of reduction rules
归约规则的推导
4) 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.
运用基于规则的推理方法确定轧辊类型,根据面向对象的知识表示方法,阐述了轧辊的知识建模技术,有效地提高了轧辊设计的智能化程度,提高了设计的质量和效率,减少了设计对设计人员经验的依赖。
5) simplification of the inference rule
推理规则的简化
6) resolution rule of inference
推理的归结规则
补充资料：1974年约克·安特卫普规则
《1974年约克·安特卫普规则》（TheYorkAntwerpRules1974）是由国际海事委员会（InternationalMaritimeCommittee）1974年5月修订的、并从同年7月1日起生效。规则共30条，分为3组。第一组称为解释规则，对规则的适用范围作了规定。第二组对共同海损的定义、范围、补偿和分摊作了规定。由于它是按英文字母排列，从A至G共7条，故又称为字母规则。第三组对处理共同海损理算的一些手续和计算方法作了规定。该规则属于一种国际贸易的惯例规则，适用范围较广。运载国际贸易商品的海轮发生共同海损事故，大多数都按该规则进行理算。中国国际经济贸易促进委员会海事仲裁委员会进行海损理算时，除使用《北京理算规则》外，也可使用该规则。
《约克·安特卫普规则》是一个国际上广泛采用的共同海损理算规则，该规则最初是由英、美和一些欧洲大陆国家的理算、海运、贸易和保险等方面的代表于1860年在英国格拉斯哥召开会议共同制订的，称为格拉斯哥决议。这个决议在1864年英国约克城召开的会议上和1877年比利时安特卫普召开的会议上两次进行重大修改和补充，并于1877年正式定名为《约克·安特卫普规则》。此后，这项规则又经过多次修改，但仍保留原名称，只是在规则名称前冠以修改的年份，由于每次修改都不废止旧规则，如1890年、1924年、1950年和1974年的规则并存，供有关方面选择使用，但在实际业务中，在1994年前各国几乎都采用《1974年约克·安特卫普规则》。
《约克·安特卫普规则》是一个国际上广泛采用的共同海损理算规则，该规则最初是由英、美和一些欧洲大陆国家的理算、海运、贸易和保险等方面的代表于1860年在英国格拉斯哥召开会议共同制订的，称为格拉斯哥决议。这个决议在1864年英国约克城召开的会议上和1877年比利时安特卫普召开的会议上两次进行重大修改和补充，并于1877年正式定名为《约克·安特卫普规则》。此后，这项规则又经过多次修改，但仍保留原名称，只是在规则名称前冠以修改的年份，由于每次修改都不废止旧规则，如1890年、1924年、1950年和1974年的规则并存，供有关方面选择使用，但在实际业务中，在1994年前各国几乎都采用《1974年约克·安特卫普规则》。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条