资源预览内容
第1页 / 共7页
第2页 / 共7页
第3页 / 共7页
第4页 / 共7页
第5页 / 共7页
第6页 / 共7页
第7页 / 共7页
亲,该文档总共7页全部预览完了,如果喜欢就下载吧!
资源描述
大学计算机专业人工智能试题与答案一、选择题(每题1分,共15分)1、AI的英文缩写是A)Automatic IntelligenceB)Artifical IntelligenceC)Automatice InformationD)Artifical Information2、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A)永真式B)包孕式(subsumed)C)空子句3、从已知事实出发,通过规则库求得结论的产生式系统的推理方式是A)正向推理B)反向推理C)双向推理4、语义网络表达知识时,有向弧AKO链、ISA链是用来表达节点知识的()。A)无悖性B)可扩充性C)继承性5、(AB)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月,著名的“人机大战”最终计算机以3.5比2.5的总比分将世界国际象棋棋 王卡斯帕罗夫击败,这台计算机被称为()A)深蓝B) IBMC)深思D)蓝天10、下列不在人工智能系统的知识包含的4个要素中A)事实B)规则C)控制与元知识D)关系11、谓词逻辑下,子句,C1=LVC1, C2= - LVC2,若。是互补文字的(最一般)合一置换,则其归结式C=()A) C1gVC2gB)C1VC2C)C1gAC2gD)C1 AC212、或图通常称为A)框架网络B)语义图C)博亦图D)状态图13、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义。14、人工智能的含义最早由一位科学家于1950 年提出,并且同时提出一个机器智能的测试 模型,请问这个科学家是A)明斯基B).扎德C)图林D)冯诺依曼15. 要想让机器具有智能,必须让机器具有知识。因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识与技能,实现自我完善,这门研究分支学科叫( )。A)专家系统B)机器学习C)神经网络D)模式识别二、填空题(每空 1.5 分,共30 分)1、不确定性类型按性质分:,2、 在删除策略归结的过程中删除以下子句:含有 的子句;含有的子句;子句集中被别的子句的子句。3、对证据的可信度CF (A)、CF (A1)、CF(A2)之间,规定如下关系:CF (A) =、CF (A1AA2 ) =、CF (A1VA2 ) =4、 图:指由与组成的网络。按连接同一节点的各边的逻辑关系又可分为与。5、合一算法:求非空有限具有相同谓词名的原子公式集的6、产生式系统的推理过程中,从可触发规则中选择一个规则来执行,被执行的规则称为。7、 P(BIA)表示在规则中,证据A为真的作用下结论B为真的。8、 人工智能的远期目标,近期目标是。三、简答及计算题(每题 5分,共 25 分)1、填写下面的三值逻辑表。其中 T, F, U 分别表示真,假,不能判定AT F U1VT F UPF12、什么是产生式?产生式规则的语义是什么?3、谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写出这些步骤。4、已知 S=P(f(x),y,g(y),P(f(x),z,g(x),求MGU5、证明G是否是F的逻辑结论;F : Vx(P(x) a Q(a) v Q(x)G: 3x(P(x) a Q(x)四、应用题(共 30 分)1、用语义网络表示下列信息:(1) 胡途是思源公司的经理,他35 岁,住在飞天胡同68 号(2) 清华大学与北京大学进行蓝球比赛,最后以89:102 的比分结束。答:2、图示博弈树,其中末一行的数字为假设的估值,请利用a - B剪枝技术剪去不必要的分枝。3、设有如下关系:(1)如果x是y的父亲,y又是z的父亲,则x是z的祖父;(2)老李 是大李的父亲;(3)大李是小李的父亲;问上述人员中谁与谁是祖孙关系?参考答案一、1、B 2、C3、 A 4、 C5、 C6、D7、 A8、 A9、 A10、D11、A12、 D13、 B14、 C 15、B二、1、随机性,模糊性,不完全性,不一致性2、纯文字,永真式,类含3、-CF(A),minCF(A1),CF(A2),maxCF(A1),CF(A2)4、节点,有向边,或图,与或图5、最一般合一(MGU)6、被触发规则7、AB,概率8、制造智能机器,实现机器智能三、1、At f irTI b IFF b FL:U 1 UVT FTI 1 rFI 卜 LL:J LJ VPTFFTLL2、产生式规则基本形式:P-Q或者IF P THEN QP 是产生式的前提(前件),用于指出该产生式是否可用的条件Q 是一组结论或操作(后件),用于指出当前提 P 所指示的条件满足时,应该得出的结论 或应该执行的操作产生式规则的语义:如果前提P被满足,则可推出结论Q或执行Q所规定的操作3、1)消去蕴含式与等价式一,2) 缩小否定词的作用范围,直到其作用于原子公式:3) 适当改名,使量词间不含同名指导变元与约束变元。4.)消去存在量词(形成Skolem标准型)5) 消去所有全称量词6) 化成合取范式7) . 适当改名,使子句间无同名变元8) .消去合取词人,用逗号代替,以子句为元素组成一个集合S4、解:k=0;S0=S; 5 0=e ;S0不是单元素集,求得差异集DO二y,z,其中y是变元,z是项, 且y不在z中出现。k=k+l=l有5 1=0z/y=&z/y = z/y,Sl=SOz/y =P(f(x),z,g(z),P(f(x),z,g(x),Sl 不是单元素集, 求得差异集 D1= z,x,k=k+1=2;6 2=6l z/x = z/y,z/x,S2=S1 z/x = P(f(z),z,g(z) 是单元素集。根据求 MGU算法,MGU= 6 2= z/y,z/x5、 证:P(x).从F变换 Q(a)VQ(x) 从F变换 P(y)VQ(y) 结论的否定 Q(x).归结,x/y 口.归结,置换a/x得证。四、2、-3J053:2 I-3二 30 2 23 0 -23、解:现定义如下谓词F(x,y) x 是 y 的父亲;G(x,z) x 是 y 的祖父;用谓词逻辑表示已知与求解:(1) F(x,y)AF(y,z)f G(x,z)(2) F(L,D)(3) F(D,X)(4) G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。 先证存在祖孙关系 n F(x,y)Vn F(y,z)VG(x,z).从(1)变换 F(L,D) F(D,X) G(u,v) F(D,z)VG(L,z) G(L,X) 口从(2)变换从(3)变换结论的否定 归结,置换L/x,D/y.归结,置换X/z 归结,置换L/u,X/v 得证,说明存在祖孙关系。为了求解用一个重言式G(u,v)VG(u,v) .用重言式代替结论的否定,重言式恒为真 F(D,z)VG(L,z) G(L,X) G(L,X)归结,置换L/x,D/y.归结,置换X/z.归结,置换L/u,X/v得结果:L是X的祖父,即老李是小李的祖父。
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号