基于规则系统的定理证明
theorem proving by rule based system
系统规则RA码
systematic regular RA code
半规则观测系统
semi-inerratic field setup
基于规则演绎系统
rule based deduction system
基于正向规则演绎系统
forward rule based deduction system
基于知识（规则）的诊断系统
Knowledge (rule )-based diagnostic system
业务规则管理系统
Business rule management system
BRMS
子系统的主导规则
dominated rule of subsystem