1 基于规则的推理模型 — rule-based inferencing model