参考： 人工智能经典考试试题及答案百度文库 大学人工智能期末考试题库百度文库 人工智能【期末复习题】百度文库 人工智能期末试题及答案完整版百度文库 一、选择题 AI的缩写是ArtificialIntelligence 反演归结（消解）证明定理时，若当前归结式是空子句时，则定理得证 知识点总结：归结反演的证明步骤： 将已知前提表示为谓词公式F，将待证明的结论取反得到谓词公式非Q 把谓词公式集{F,非Q}转化为子句集S 运用归结原理对子句集S中的字句进行归结，每次归结得到的归结式并入S中，反复以上操作，直到出现空子句NIL，则停止归纳，证明Q为真 从已知事实出发，通过规则库求得结论的产生式...