人工智能经典考试试题及答案.docx

1、人工智能经典考试试题及答案一、选择题每题1分，共15分一、 AI的英文缩写是AAutomatic Intelligence BArtifical IntelligenceCAutomatice Information DArtifical Information二、 反演归结消解证明走理时,假设当前归结式是时，那么走理得证。A永真式 B包孕式subsumed C空子句3、 从事实动身,通过规那么库求得结论的产生式系统的推理方式是A正向推理 B反向推理 C双向推理4、 语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的XA无悖性 B可扩充性 C继承性五、 AB人A = B是A附加律

2、 B拒收律 C假言推理DUS六、 命题是能够判走真假的A祈使句 B疑问句 C感慨句 D陈述句7、仅个体变元被星化的谓词称为A阶谓词B原子公式C二阶谓词D全称臺词八、MGU是A最一样合一B最一般替换 C最一般谓词 D基替换九1997年5月，闻名的“人机大战,最终运算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台运算机被称为A 深蓝 BIBM C 深思 D 蓝天10、以下不在人工智能系统的知识包括的4个要素中A事实 B规那么 C控制和元知识D关系1 一、谓词逻辑下，子句，Cl=LVCr, C2= - LVC2-,假设。是互补文字的最一样合一麗换，那么貝归结式C=A) ClaVC2 o B)C

3、rVC2 C)CTo/C2V1二、或图通常称为A)框架网络 B)语义图 C)博亦图13、不属于人工智能的学派是 14、人工智能的含义最先由一名科学家于1950年提出，而且同时提岀一个机械智能的测试模型，请问那个科学家是A)明斯基 B).扎徳 C)图林 D)15要想让机械具有智能，必需让机械具有知识。因此，在人工智能中有一个研究领域，要紧研究运算机如何自动获取知识和技术，实现自我完善，这门研究分支学科叫().A)专家系统 B)机器学习 C)神经网络 D)模式识别二、填空题(每空分，共30分)一.不确信性类型按性质分： , 二、 在删除策略归结的进程中删除以下子句：含有 的子句;含有 的子句;子句

4、集中被别的子句 的子句。3、 对证据的可信度CF (A)、CF (Al)、CF (A2)之间，规定如下关系：CF (-A) = 、CF (A1AA2 ) = 、CF (A1VA2 ) = 4、 图：指由 和 组成的网络。按连接同一节点的各边的逻借关系又可分为和 O五、 合一算法：求非空有限具有相同谓词名的原子公式集的 六、 产生式系统的推理进程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称为 O7、P(BIA)表示在规那么 中，证据A为真的作用下结论B为真的 。八、人工智能的远期目标是 ，近期目标是 0三、 简答及计算题(每题5分，共25分)一、填写下面的三值逻辑表。英中T, F,

5、 U别离表示真，假，不能判左二、什么是产生式？产生式规那么的语义是什么？3、 谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写岀这些步骤。4、 已S=P (f (x), y, g (y), P (f (x), z, g (x),求 MGU五、证明G是不是是F的逻辑结论：F : Vx(P(x) a Q(a) v Q(x)G:Bx(P(x)/Q(x)四、应用题(共30分)一、用语义网络表示以下信息：(1)胡途是思源公司的领导，他35岁，住在飞天胡同68号(2)淸华大学与北京大学进行蓝球竞赛，最后以89： 102的比分终止.答：二、图示博弈树，其中末一行的数字为假设的估值，请利用a-p剪

6、枝技术剪去没必要要的分枝。在节点及边上 直接加注释5 -3 3 -3 -3 0 2 2 -3 02 33、设有如下关系：1假设是x是y的父亲，y又是z的父亲，那么x是z的祖父：2老李是大李的父亲：3 大李是小李的父亲；问上述人员中谁和谁是祖孙关系？二、一、随机性，模糊性.不完全性，不一致性 二.纯文字，永真式，类含3、 CFA, minCFAl、CFA2, maxCFAl,CFA24、 节点，有向边，或图，与或图五、 最一样合一MGU六、 被触发规那么二、产生式规那么大体形式：P-Q 或IF P THEN QP是产生式的前提前件，用于指岀该产生式是不是可用的条件Q是一组结论或操作后件，用于指岀

7、当前提P所指示的条件知足时，应该得岀的结论或应该执行的操作 产生式规那么的语义：假设是前提P被知足，那么可推出结论Q或执行Q所规泄的操作3、 1消去包括式和等价式一,2 缩小否泄词的作用范用，直到其作用于原子公式：3 适当更爼，使量词间不含同冬指导变元和约朿变元。4.消去存在量词形成Skolcm标准型5)消去所有全称量词6)化成合取范式7).适当改名，使子句间无同名变元8).消去合取词用逗号代替，以子句为元素组成一个集合S4、解：k二0;S0二S; 0二 ;S0不是单元素集，求得不同集D0=y, z,其中y是变元.z是项，且y不在z中显现。k=k+l=l有 6 1= 6 0 z/y = e (

8、z/y) = (z/y) Sl=S0 z/y = P(f (x), z, g(z), P(f (x), z, g(x), SI 不是单元素集, 求得不同集 DI二z, x) ,k=k+l=2; 6 2= 5 1 (z/x) = z/y,z/x, S2=S1 z/x = P(f (z), z, g(z) 是单元素集。依照求 MGU 算法，MGU= 6 2= z/y, z/x 五、证：P(x) 从F变换2Q(a)VQ(x) 从F变换3结论的否左归结，x/y归结，置换fa/xn P(y) V- Q(y)4n Q (x) 5口 得证。四、3、解:现概念如下谓词 F(x,y)x是y的父亲； G(x,z)

9、 x是y的祖父；用谓词逻借表示与求解:(1)F(x,y) A F(y,zL G(x,z) F(L.D) F(D,X) G(u,v),u=?,v=?其中丄表示老李D表示大李,X表示小李。先证存在祖孙关系1n F(x,y)Vn F(y,z)VG(x,z).从变换2F(L.D) .从(2)变换3F(D,X) 从(3)变换 1 G(u,v)结论的否泄5n F(D,z)VG(L,z)6G(L,X)7口.L/x.D/y.归结，置换X/z归结，置换L/u.X/v得证,说明存在祖孙关系。 为了求解用一个重言式1 G(u,v)VG(u.v) 用重言式代替结论的否左,重言式恒为真51 F(D.z)VG(Uz)6G

10、(UX)7G(L.X)归结，置换L/x.D/y.归结，置换X/z归结，置换L/ilX/v 得结果:L是X的祖父，即老李是小李的祖父。三、简答及计算题(每题5分，共25分) 一.说明以下模糊性知识：1)张三，体型，(胖，)2)(患者，病症，(头疼，)/ (患者，病症，(发烧，)一(患者，疾病，(伤风，) 答： 二、简单论述产生式系统的组成: 答：3、补齐产生式系统与图搜索的对照表产生式系统图搜索初始节点目标条件状态转换规那么 问题变换规那么规那么库操作集节点(状态/问题)控制策略4、 W=P (f (x, g(A, y), z), P(f (x, z), z),求 MGU解：五、证明G是不是是F

11、、F2的逻辑结论：Fl： Vx(P(x)(0(x)a/?(x)F2： Hx(P(x) a 5(a)G： 3.v(5(x) a 7?(x)四 应用题(共30分)一、 将命题：“某个学生读过三国演义别离用谓词公式和语义网络表示二、 图示博弈树，其中末一行的数字为假设的估值，请利用剪枝技术剪去没必要要的分枝。(在节点及边上 直接加注释)3、利用谓词逻辑表示以下知识(包括和结论)，然后化成子句集:(1)但凡淸洁的东西就有人喜爱：(2)人们都不喜爱苍蝇求证：苍蝇是不淸洁的。2、正向推理 3、Artifical Intelligence4、随机性，模糊性，不完全性，不一致性五、 纯文字，永真式，类含六、

12、-CF(A), minCF(Al),CF(A2), maxCF(Al),CF(A2)7、节点和有向边，或图，与或图 8、最一般合一(MGU)九、深蓝 10、制造智能机器，实现机器智能三、一、答：1)表示：命题“张三比拟胖 2)说明为：假设是患者有些头疼而且发高烧，那么他得了重伤风。 二、答：1)产生式规那么库：描述相应领域知识的产生式规那么集2)数据库：(事实的集合)存放问题求解进程中当前信息的数据结构(初始事实、外部数据库输入的事实、中间 结果事实和最后结果事实)3)推理机：(操纵系统)是一个程序，操纵和谐规那么库与数据库的运行，包括推理方式和操纵策略。3、答：产生式系统图搜索初始事实数据初始节点目标条件目标节点产生式规那么状态转换规那么 问题变换规那么规那么库操作集动态数据库肖点(状态/问题)控制策略搜索策略4、解：k二0;S0二S;各0二 ;S0不是单元素集，求得不同集D0二g(A,y),z,其中z是变元，g(A, y)是项，且z不 在 g(A, y)中显现。k=k+l=l有 6 1=6 0 n P(y) VL(f (y),y)(2)Vxh L(x,Fly) = -| L(x,Fly)(3)P(Fly)结论的反(4)L(f(Fly) Fly)(1) (3)归结，置换Fly/y(5) (2) (4)归结，f(Fly)/x得证。试题部份：一、选择题1