计算机填空题标准

产生式规则与推理方向 — 计算机填空题

人工智能导论（大学通用）知识表示与推理 AI 三重审校通过

题目

某产生式系统的规则库为：R1：如果 A 且 D，则 B；R2：如果 B，则 E；R3：如果 D，则 F。已知事实库中初始仅有事实 A 和 D，无待验证目标。若采用正向推理，可推出的新事实（不含初始事实）共有____个；若改为反向推理以验证目标 E，匹配规则的先后顺序为____（用 R 编号表示）。