逆向: reverse; reversal; backing; ...产生: produce; engender式: type; style系统: system双向产生式系统: bidirectional production system定理证明用逆向产生式系统: backward production system for theorem proving产生式系统: production system; productive system产生式系统的定义: definition of production system产生式系统语言: production system language规则基产生式系统: rule-based production system可分解产生式系统: decomposable production system可交换产生式系统: commutative production system模糊产生式系统: fuzzy production system软件产生式系统: software production system自适应产生式系统: adaptive production system生产系统 产生式系统 运行系统: productionsystem产生式系统的解释程序: interpreter of production system产生式系统的可管理性: manageability of production system产生式系统的终止条件: termination condition of production system产生式系统综合数据库: global database of a production system归结反演的产生式系统: production system for resolution refutation基于规则的产生式系统: rule based production system可分解产生式系统的定义: definition of decomposable production system可分解产生式系统的控制: control of decomposable production system可分解的产生式系统: decomposable production system; decomposableproductionsystem
