一、选择题（每题1分，共15分）1、AI的英文缩写是A）AutomaticIntelligeneeB）ArtificalIntelligeneeC）AutomaticeInformationD）ArtificalInformation2、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证
A）永真式B）包孕式（subsumed）C）空子句3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是A）正向推理B）反向推理C）双向推理4、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）
A）无悖性B）可扩充性C）继承性5、（ATB）AA=>B是A）附加律B）拒收律C）假言推理D）US6、命题是可以判断真假的A）祈使句B）疑问句C）感叹句D）陈述句7、仅个体变元被量化的谓词称为A）—阶谓词B）原子公式C）二阶谓词D）全称量词8、MGU是A）最一般合一一B）最一般替换C）最一般谓词D）基替换9、1997年5月，着名的“人机大战”，最终计算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）A）深蓝B）IBMC）深思D）蓝天10、下列不在人工智能系统的知识包含的4个要素中13、不属于人工智能的学派是A）符号主义B）机会主义14、人工智能的含义最早由一位科学家于家是A）明斯基B）扎德C）图林D）冯
要想让机器具有智能，必须让机器具有知识
因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）
A）专家系统B）机器学习C）神经网络D）模式识别二、填空题（每空分，共30分）1、不确定性类型按性质分：，____________________,2、在删除策略归结的过程中删除以下子句：含有的子句；含有______________________的子句;子句集中被别的子句_____
