4.9 基于规则的演绎系统的几个问题