填空题
产生式系统由三部分组成：（），（）和推理机。其中推理可分为（）和（）
综合数据库；知识库；正向推理；反向推理
填空题 在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
填空题 利用归结原理证明定理时，若得到的归结式为（），则结论成立。
填空题 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
