填空题
专家系统的结构包含人机界面、（），（），（），（）和解释模块
知识库；推理机；动态数据库；知识库答理系统
填空题 产生式系统由三部分组成：（），（）和推理机。其中推理可分为（）和（）
填空题 在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
填空题 利用归结原理证明定理时，若得到的归结式为（），则结论成立。
