《人工智能导论》试卷库.docx

(圆满word版)?人工智能导论?试卷库 (圆满word版)?人工智能导论?试卷库 (圆满word版)?人工智能导论?试卷库 人工智能试卷四 一、选择题(每题1分，共15分) 1、AI的英文缩写是 A)AutomaticIntelligence B)ArtificalIntelligence C)AutomaticeInformation D)ArtificalInformation 2、反演归纳〔消解〕证明定理时，假定目前归纳式是〔 〕时，那么定理得证。 A)永真式 B)包孕式〔subsumed〕 C)空子句 3、从事实出发，经过规那么库求得结论的产生式系统的推理方式是 A)正向推理 B)反向推理 C)双向推理 4、语义网络表达知识时，有向弧 AKO 链、ISA链是用来表达节点知识的〔 〕。 A)无悖性 B)可扩大性 C)继承性 5、(A→B)∧A=B是 A)附带律 B)拒收律 C)假言推理 D)US 6、命题是可以判断真假的 A)祈使句 B)疑问句 C)感想句 D)陈说句 7、仅个体变元被量化的谓词称为 A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词 8、MGU是 A)最一般合一 B)最一般取代 C)最一般谓词 D)基取代 9、1997年５月，有名的“人机大战〞，最后计算机以 3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台 计算机被称为〔 〕 A〕深蓝 B〕IBM C〕沉思 D〕蓝天 10、以下不在人工智能系统的知识包含的 4个因素中 A)事实 B)规那么 C)控制和元知识 D)关系 11、谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨ 假定σ是互补文字的〔最一般〕合一置换，那么其归纳式 C=〔 〕 A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σD)C1’∧C2’ 、或图平常称为 A〕框架网络B)语义图C)博亦图D)状态图 、不属于人工智能的学派是 A)符号主义B)时机主义C)行为主义D)连结主义。 14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是 A)明斯基B).扎德C)图林D)冯.诺依曼 要想让机器拥有智能，必然让机器拥有知识。所以，在人工智能中有一个研究领域，主要研究计算机怎样自动获 取知识和技术，实现自我圆满，这门研究分支学科叫〔〕。 A)专家系统B)机器学习C)神经网络D)模式鉴识 二、填空题(每空1.5分，共30分) 1、不确立性种类按性质分：，， ，。 2、在删除策略归纳的过程中删除以下子句：含有的子句;含 有的子句;子句集中被其余子句的子句。 3、对质据的可信度CF〔A〕、CF〔A1〕、CF〔A2〕之间，规定以下关系： CF〔~A〕=、CF〔A1∧A2〕=、 CF〔A1∨A2〕= 4、图：指由和构成的网络。按连结同一节点的各边的逻辑关系又可分为 和。 5、合一算法：求非空有限拥有相同谓词名的原子公式集的 6、产生式系统的推理过程中，从可触发规那么中选择一个规那么来履行，被履行的规那么称为。 7、P(B|A)表示在规那么中，凭证A为真的作用下结论B为真的。 8、人工智能的远期目标是，  近期目标是。 三、简答及计算题(每题5分，共25分) 1、填写下边的三值逻辑表。 此中T，F，U分别表示真，假，不可以判断 2、什么是产生式？产生式规那么的语义是什么？ 答： 3、谓词公式G经过８个步骤所得的子句会合S，称为G的子句集。请写出这些步骤。 4、S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU 解： 5、证明G是不是F的逻辑结论； F:x(P(x)Q(a)Q(x)) G:x(P(x)Q(x)) 四、应用题(共30分) 1、用语义网络表示以下信息： (1)胡途是思源公司的经理，他35岁，住在飞天胡同68号 (2)清华大学与北京大学进行蓝球竞赛，最后以89：102的比分结束。 答： 2、图示博弈树，此中末一行的数字为假定的估值，请利用α-β剪枝技术剪去不用要的分枝。〔在节点及边上直接加说明〕 3、设有以下关系：〔1〕假如x是y的父亲，y又是z的父亲，那么x是z的祖父；〔2〕老李是大李的父亲；〔3〕大李 是小李的父亲；问上述人员中谁和谁是祖孙关系？ 解： 答案： 一、1、B 2、C 3、A 4、C 5、C 6、D 7、A 8、A 9、A 10、D 11、A 12、D 13、B 14、C 15、B 二、1、随机性，模糊性，不圆满性，不一致性 2、纯文字，永真式，类含 3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} 4、节点，有向边，或图，与或图 5、最一般合一〔MGU〕 6、被触发规那么 7、A→B，概率 8、制造智能机器，实现机器智能 三、 1、