西安科技大学人工智能题库3(含答案)解析.docVIP

人工智能试卷八 一、填空题（共30分） 1. 归结法中，可以通过---------的方法得到问题的解答。 2.化成子句形式为： 。 3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 4.AI是是 的英文缩写 人工智能的基本技术包括 、 、 、——、——。 、 、 产生式系统有三部分组成 ， 和推理机。其中推理可分为 和 。8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 9、1997年５月，著名的“人机大战”，最终名为“　　　　　　　　”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。 10、人工智能的远期目标是　　　　　　　　　　　　　　　　　　，近期目标是　　　　　　　　　　　　　　　　。 11、谓词逻辑中，重言式（tautlogy）的值是 。 12、利用归结原理证明定理时，若得到的归结式为 ，则结论成立。 13、若C1=┐P∨Q，C2=P∨┐Q，则C1和C