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

一、选择题（每题1分，共15分）1、AI的英文缩写是B)Artifica1Inte11igenceA）AUtomaticInteI1igeneeeC）Automa1iceInfbrmation。D）Artifica1Information2、反演归结（消解）证明定理时,若当前归结式是（）时，则定理得证。A）永真式B）包孕式（SUbSUmed）®C）空子句3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是A）正向推理。B）反向推理gC）双向推理4、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）.A）无悖性gB）可扩充性gOC）继承性5、（AfB）A=）B是A）附加律B）拒收律OC）假言推理。D）US6、命题是可以判断真假的A）祈使句OB）疑问句。C）感叹句OD）陈述句7、仅个体变元被量化的谓词称为A）一阶谓词。B）原子公式。二阶谓词D）全称量词8、MGU是A）最一般合一。B）最一般替换C）最一般谓词D）基替换9、1997年5月，著名的“人机大战”，最终计算机以3。5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为（）A）深蓝-B）IBMOC）深思aD）蓝天10、下列不在人工智能系统的知识包含的4个要素中A）事实。B）规则OC）控制和元知识D）关系1 1、谓词逻辑下，子句，CI=1VC1t,C2=-1VC24,若。是互补文字的（最一般）合一置换，则其归结式C=（）A）C1,VC2,B）CVC2,OC）CI'C2'OD）CyC2,12、或图通常称为A）框架网络OB）语义图,C）博亦图D）状态图13不属于人工智能的学派是A）符号主义OB）机会主义。行为主义。D）连接主义。14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是A）明斯基-B）o扎德C）图林。D）冯.诺依曼15.要想让机器具有智能，必须让机器具有知识。因此,在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。A）专家系统-B）机器学习。C）神经网络。D）模式识别二、填空题（每空15分,共3。分）1、不确定性类型按性质分:,2、在删除策略归结的过程中删除以下子句:含有的子句；含有的子句；子句集中被别的子句的子句.3、对证据的可信度CF（A）、CF（A1）、CF（A2）之间,规定如下关系：CF（-A）=、CF（A1AA2）=、CF（A1VA2）=4、图：指由和组成的网络。按连接同一节点的各边的逻辑关系又可分为和O5、合一算法：求非空有限具有相同谓词名的原子公式集的6、产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为.7、P(BIA)表示在规则中，证据A为真的作用下结论B为真的8、人工智能的远期目标是,近期目标是。三、简答及计算题(每题5分，共25分)1、填写下面的三值逻辑表。其中T,F,U分别表示真,假，不能判定2、什么是产生式？产生式规则的语义是什么？3、谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写出这些步骤。4、已知S=P(f(x),y,g(y)»P(f(x),z,g(x),求MGU5、证明G是否是F的逻辑结论；四、应用题(共30分)1、用语义网络表示下列信息：(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号(2)清华大学与北京大学进行蓝球比赛,最后以89：102的比分结束。答：2、图示博弈树，其中末一行的数字为假设的估值，请利用Q-B剪枝技术剪去不必要的分枝。(在节点及边上直接加注释)3、设有如下关系：(1)如果X是y的父亲,y又是Z的父亲,则X是Z的祖父；(2)老李是大李的父亲；(3)大李是小李的父亲；问上述人员中谁和谁是祖孙关系？答案：一、1、B6、D7、A11、A12D2、C。8、A13、B3、A4、C。5、C9、A18、D14、C1。5、B二、1、随机性，模糊性，不完全性,不一致性2、纯文字，永真式，类含3、-CF(A),minCF(A1),CF(A2),maxCF(A1),CF(A2)4、节点,有向边，或图,与或图5、最一般合一(MGU)6、被触发规则7、A-B,概率8、制造智能机器,实现机器智能三、1、2、产生式规则基本形式:PfQ或者IFPTHENQP是产生式的前提(前件)，用于指出该产生式是否可用的条件Q是一组结论或操作(后件)，用于指出当前提P所指示的条件满足时，应该得出的结论或应该执行的操作产生式规则的语义：如果前提P被满足,则可推出结论Q或执行Q所规定的操作3、1)消去蕴含式和等价式f,(-)2)缩小否定词的作用范围，直到其作用于原子公式：3)适当改名，使量词间不含同名指导变元和约束变元。4o)消去存在量词(形成SkoIem标准型)5)消去所有全称量词6)化成合取范式7)。适当改名,使子句间无同名变元8).消去合取词八，用逗号代替，以子句为元素组成一个集合S4、解:k=0；SO=S;0=£；S0不是单元素集，求得差异集DO=y,z,其中y是变元，Z是项，且y不在z中出现。k=k+1=1有61=60z/y)=zy=zy,S1=SOzy=P(f(X),z,g(z),P(f(x),z,g(x),S1不是单元素集，求得差异集D1=z,X,k=k+1=2;2=S1zx)=zy,z/x,S2=S1z/X=P(f(z),z,g(z)是单元素集。根据求MGU算法，MGU=2=zy,zx5、证:P(x)q.从F变换Q(a)VQ(x).从F变换1P(y)V-Q(y)。.结论的否定(4)Q(x)8.归结，x/y口心。.归结，置换ax得证.四、2、3、解:现定义如下谓词F(x,y)X是y的父亲；G(x,z)-X是y的祖父;用谓词逻辑表示已知与求解：(1>F(X,y)F(y,z)-*G(x,z)(2)F(1,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中，1表示老李，D表示大李，X表示小李。先证存在祖孙关系-IF(X,y)VnF(y,z)VG(x,z).。从(D变换F(1,D)F(D,X)。IG(u,v)1F(D,z)G(1,X)口888.。.从(2)变换.从(3)变换8。.结论的否定VG(1,z>.o归结，置换1x,Dy-O归结,置换Xz。.归结,置换1u,Xv得证，说明存在祖孙关系。为了求解用一个重言式®-1G(u,v)VG(u,v).用重言式代替结论的否定,重言式恒为真F(D,z)VG(1,z)。归结，置换1x,DyG(1,X)。.归结，置换XzG(1,X)°O.归结，置换1u,Xv得结果：1是X的祖父，即老李是小李的祖父。三、简答及计算题(每题5分，共25分)1、解释下列模糊性知识：1)张三，体型，(胖，0.9)o2)(患者,症状，(头疼，Oo95)(患者,症状，(发烧，1。1)T(患者,疾病,(感冒2)答：2、简单阐述产生式系统的组成：答：3、补齐产生式系统与图搜索的对比表答：4、已知W=P(f(x,g(A,y),z),P(f(x,z),z),求MGU解：5、证明G是否是F1、F2的逻辑结论；四、应用题(共30分)1、将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示2、图示博弈树,其中末一行的数字为假设的估值，请利用-B剪枝技术剪去不必要的分枝.(在节点及边上直接加注释)3、利用谓词逻辑表示下列知识(包括已知和结论)，然后化成子句集：(1)凡是清洁的东西就有人喜欢；(2)人们都不喜欢苍蝇求证:苍蝇是不清洁的。一、1、D2。、C3、04、D5、A心、A7、D8、C9、D10、B式1、A12、BI3。、A.。14、D15、B二、1、图林。2、正向推理3、Artifica1Inte11igenee4、随机性，模糊性，不完全性，不一致性5、纯文字,永真式，类含6、-CF(A),minCF(A1),CF(A2),maxCF(A1),CF(A2)7、节点和有向边,或图,与或图8、最一般合一(MGU)9、深蓝。10、制造智能机器，实现机器智能三、1、答：1)表示：命题“张三比较胖"2)解释为:如果患者有些头疼并且发高烧，则他患了重感冒。2、答：1)产生式规则库：描述相应领域知识的产生式规则集2)数据库：(事实的集合)存放问题求解过程中当前信息的数据结构(初始事实、外部数据库输入的事实、中间结果事实和最后结果事实)3)推理机：(控制系统)是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略.3、答：4、解:k=0；SO=SSO=JSo不是单元素集，求得差异集DO=g(A,y),z,其中Z是变元，g(A,y)是项,且z不在g(A,y)中出现。k=k÷1=1有61=60g(A,y)z=g(A,y)/z=g(A,y)z,S1=SOg(A,y)z=P(f(x,g(A,y),g(A,y),S1是单元素集。根据求MGU算法，MGU=81=g(A,y)/z)5、证:P(X)VQ(X)。.从FI变换nP(y)VR(y)%。从F1变换P(a)。.从F2变换S(a)。.从F2变换S(z)V-R(z).o.结论的否定R(a)。.归结ay)R(a)。.o.归结az口。.归结得证。四、1、答：谓词公式表示：X(student(x)Aread(x,三国演义)语义网络表示如图：3、证：现定义如下谓词1(x,y)某人X喜欢某物y;P(y)某物y是清洁的东西(1) yx(P(y)-1(x,y)=-P(y)V1(f(y),y)(2) x(1(x,F1y)=>-1(x,F1y)(3) P(F1y).结论的反(4) 1(f(F1y),F1y)。(1)(3)归结，置换F1yy(5) 口巴.(2)(4)归结，f(F1y)x得证。试题部分：一、选择题(15小题,共15分)1、97年5月,著名的“人机大战”,最终计算机以3。5比2。5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为()A）深蓝OB）IBM。C）深思ooD）蓝天2、下列不在人工智能系统的知识包含的4个要素中A）事实gB）规则C）控制和元知识。D）关系3、谓词逻辑下,子句，C1=1VC,C2=1VC2若。是互补文字的（最一般）合一置换，则其归结式C=（）A）CVC2,«B）C1,VC2,<）C1,C2,OD）CI'C2'4、或图通常称为A）框架网络B）语义图C）博亦图。D）状态图5、不属于人工智能的学派是A）符号主义-B）机会主义C）行为主义。2）连接主义.6、人工智能的