填空题
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
删除策略；支持集策略；线性归结策略
填空题 利用归结原理证明定理时，若得到的归结式为（），则结论成立。
填空题 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
问答题 人工智能主要有哪几大研究学派？
