填空题
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
空集
填空题 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
问答题 人工智能主要有哪几大研究学派？
问答题 什么是人工智能？发展过程中经历了哪些阶段？
