归结: sum up; put in a nutshell反: reverse side演: develop; evolve的: 4次方是 The fourth power of 2 i ...产生: produce; engender式: type; style系统: system归结反演系统: resolution refutation system基于规则的产生式系统: rule based production system可分解的产生式系统: decomposable production system; decomposableproductionsystem可交换的产生式系统: commutativeproductionsystem产生式系统: production system; productive system归结反演策略: resolution refutation strategy产生式系统的定义: definition of production system产生式系统语言: production system language规则基产生式系统: rule-based production system可分解产生式系统: decomposable production system可交换产生式系统: commutative production system模糊产生式系统: fuzzy production system逆向产生式系统: backward production system软件产生式系统: software production system双向产生式系统: bidirectional production system自适应产生式系统: adaptive production system归结反演, 分解反驳: resolution refutation对归结反演系统的控制策略: control strategy for resolution refutation system
