人工智能导论第三版答案

1、【篇一：人工智能-课后作业】人工智能 人工智能就是用人工的方法在机器(计算机)上实现的智能，或称 机器智能第二章：p51(1)有的人喜欢打篮球，有的人喜欢踢足球，有的人既喜欢打篮 球又喜欢踢足球。定义谓词： like(x,y):x 喜欢 y。play(x,y):x 打(踢)y。man(x):x 是人。定义个体域 ： basketball，soccer。(?x)(man(x) f like(x,play(x,basketball) V ( ?y)(man(y) f like(y,play(y,soccer) V ( ?z)(man flike(z,play(z,basketball) A lik

2、e(z,play(z,soccer) (2)并不是每 个人都喜欢花。 定义谓词： like(x,y)： x 喜欢 y。 p(x)： x 是人 定 义个体词： flower?(?x)(p(x) f like(x,flower) (3)欲穷千里目，更上一层楼。 定义谓词： s(x)： x 想要看到千里远的地方。 h(x):x 要更上一层楼。( ?x)(s(x) f h(x)产生式通常用于表示具有因果关系的知识，其基本形式是： pfq 或者 ifpthenqelse s其中，p是前件，用于指出该产生式是否可用的条件。q是一组结 论或者操作，用于指出当前提 p 满足时，应该得出的结论或者应该执行的操作

3、。 区别：蕴含式只能表示精确知识；而产生式不仅可以表示精确知识， 还可以表示不精确知识。 产生式中前提条件的匹配可以是精确的， 也可以是非精确的；而谓词逻辑蕴含式总要求精确匹配。 7. 一个产 生式系统一般由三部分组成：规则集、全局数据库、控制策略。 步骤 ： 1 )初始化全局数据库，把问题的初始已知事实送入全局数 据库中若规则库中存在尚未使用的规则，而且它的前提可与全局数据库 中的已知事实匹配，则转 3)，若不存在则转5)执行当前选中的规则，并对该规则做标记，把该规则执行后得到 的结论送入全局数据库中。如果该 规则的结论部分指出的是某些操作，则执行这些操作。检查全局数据库中是否已经包含了问题

4、的解，若已经包含，则求 解结束，否则转 2) 5)要求用户提供进一步的关于问题的已知事实 若能提供，则转2)，否则求解结束。 6)若规则库中不再有未使用 过的规则，则求解过程结束。 11.框架名：教师姓名：单位(姓， 名) 年龄：单位(岁) 性别：范围(男，女)缺省为男 职称：范围(教授，副教授，讲师，助教) 缺省我讲师 部门：单 位(系，教研室) 住址：地址框架工资：工资框架 开始工作时间：单位(年，月) 截止时间：单位(年，月)缺省为 现在框架名：学生 姓名：单位(姓，名) 年龄：单位(岁) 性别：范围(男，女)缺省为男 学院：单位(学院，系)班级：单 位(年级，班级) 入学时间：单位(年

5、，月) 截止时间：单位(年，月)缺省为现在13.有叶haveako有根 结果结苹果长在水里 have 有根 have 有叶第三章：p836(1)由于(?x)(?y)(p(x, y)Aq(x, y)已经是 skolem 标准型，且p(x, y)Aq(x, y)已经是合取范式，所以可直接消去全称量词、合取词, 得 p(x, y), q(x, y) 再进行变元换名得子句集：s= p(x, y), q(u, v)(2)对谓词公式(?x)(?y)(p(x, y)-q(x, y),先消去连接词“一”得: (?x)(?y)(?p(x, y)Vq(x, y)此公式已为 skolem 标准型。再消去全称量词得子

6、句集：s=?p(x, y)Vq(x, y)(3)对谓词公?x)(?y)(p(x, y)V(q(x, yRr(x, y),先消去连接 词“t”得：(?x)(?y)(p(x, y)V(?q(x, y)Vr(x, y)此公式已为前束范 式。再消去存在量词，即用skolem函数f(x)替换y得：(?x)(p(x, f(x)V?q(x, f(x)Vr(x, f(x) 此公式已为 skolem 标准型。l=Js=p(x, f(x)V?q(x, f(x)Vr(x, f(x)(4)对谓词(?x) (?y) (?z)(p(x, y)Tq(x, y)Vr(x, z),先消去连接 词“t”得：(?x) (?y) (

7、?z)(?py)Vq(x, y)Vr(x, z) 再消去存在量词，即用skolem函数f(x,y)替换z得：(?x) (?y) (?p(x, y)Vq(x, y)Vr(x, f(x,y) 此公式已为 skolem 标准型。 最后消去全称量词得子句集：s=?p(x, y)Vq(x, y)Vr(x, f(x,y) 7.(1)不可满足( 2)不是不可满足的,原因是不能由它导出空子句。 ( 3)不可满 足( 5)不是不可满足的,原因是不能由它导出空子句。8(2)先将 f 和?g 化成子句集由 f 得: s1=p(x), (q(a)Vq(b) 由于?g 为：? (?x) (p(x)Aq(x)，即(?x)

8、 (? p(x)V? q(x),可得： s2=? p(x)V? q(x) 因此,扩充的子句集为：s= p(x)， (q(a)Vq(b)， ? p(x)V? q(x) 可得 nil；9.先定义谓词：f(x,y)： x是y的父亲 gf(x,z)： x是z的祖父p(x)： x是一个人 再用谓词把问题描述出来：已知 f1： (?x) (?y) (?z)( f(x,y)Af(y,z)tgf(x,z) f2： (?y)(p(x)tf(x,y) 求证结论g： (?u) (?v)( p(u)Tgf(v,u)然后再将f1, f2和？g化成 子句集： ?f(x,y)V?f(y,z)Vgf(x,z) ?p(r)Vf

9、(s,r) p(u) ?gf(v,u) 可得 nil；第四章： p134例 5.1 设 h1, h2, h3 分别是三个结论, e 是支持这些结论的证据 且已知： p(h1)=0.3p(h2)=0.4 p(h3)=0.5 p(e/h1)=0.5p(e/h2) =0.3 p(e/h3) =0.4 求： p(h1/e) , p(h2/e) , p(h3/e)由此可以看出，由于证据e的出现，hl成立的可能性略有增加，h2, h3的可能性有不同程度的下降。2设已知： p(h1)=0.4p(h2)=0.3 p(h3)=0.3p(e1/h1)=0.5p(e1/h2)=0.6 p(e1/h3)=0.3 p(

10、e2/h1)=0.7p(e2/h2)=0.9 p(e2/h3)=0.1 求： p(h1/e1e2) p(h2/e1e2)， p(h3/e1e2)p(hi/e)?p(hi)?p(e/hi)解:由公式可得 p(h1/e1e2)?p(hj?1 n i?1,2,?,nj)?p(e/hj)同理可得:p(e1/h1)?p(e2/h1)?p(h1) p(e1/h1)?p(e2/h1)?p(h1)?p(e1/h2)?p(e2/h2)?p(h2)?p(e1/h3)?p(e 2/h3)?p(h3)0.14?0.14?0.162?0.009?0.45p(h2/e1e2)?0.52p(h3/e1e2)?0.03由此可

11、以看出，由于证据e1, e2的出现，hi, h2成立的可能性有不同程度的增加，h3的可能性下降了。篇二：人工智能导论试卷 （3）】、选择题（每题 1 分?共1 5分）1、ai 的英文缩写是a）automatic intelligence b）artifical intelligencec）automatice information d）artifical information2、反演归结?消解?证明定理时?若当前归结式是? ?时?则定理得证。a）永真式b）包孕式? subsumed? c）空子句3、从已知事实出发?通过规则库求得结论的产生式系统的推理方式 是a）正向推理b）反向推理c）双向

12、推理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年?月?著名的“人机大战”?最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败?这台计算机被称为? ?a?深蓝b?ibmc?深思d?蓝天 10、下列不在人工智能系统的知识包含的

13、4 个要素中a）事实坊规则c）控制和元知识d）关系其归结式 c=? ?12、或图通常称为a?框架网络b）语义图c）博亦图d）状态图13、不属于人工智能的学派是a）符号主义b）机会主义c）行为主义d）连接主义。14、人工智能的含义最早由一位科学家于 1950年提出?并且同时提出一个机器智能的测试模型?请问这个科学家是a）明斯基b）扎德c）图林d）冯诺依曼要想让机器具有智能?必须让机器具有知识。因此?在人工智能 中有一个研究领域?主要研究计算机如何自动获取知识和技能?实现自我完善?这门研究分支学科叫? ?。a）专家系统b）机器学习c）神经网络d）模式识别二、填空题（每空1.5分?共30分）1、不确

14、定性类型按性质分? 随机性?模糊性?不完全性?不一致 性 ? ?2、在删除策略归结的过程中删除以下子句?含有 的子句;含有 的子句;子句集中被别的子句 的子句。 纯文字?永真式?类含3、对证据的可信度cf?a?、cf?a1?、cf?a2?之间？规定如下关系？cf?a?=、cf?a1 Aa2 ?=、cf?a1 Va2 ?= -cf(a)?mincf(a1),cf(a2)?maxcf(a1),cf(a2)4、图?指由 和 组成的网络。按连接同一节点的各边的逻辑关系又 可分为和 。 节点?有向边?或图?与或图5、合一算法?求非空有限具有相同谓词名的原子公式集的 最一般合 一？mgu6、产生式系统的推

15、理过程中?从可触发规则中选择一个规则来执行 ? 被执行的规则称为 。被触发规则7、p(b|a)表示在规则a-b中？证据a为真的作用下结论b为真 的。8、人工智能的远期目标是 制造智能机器?实现机器智能 ? 近期目标是。三、简答及计算题(每题 5分?共25分)1、填写下面的三值逻辑表。其中 t?f?u 分别表示真?假?不能判定2、什么是产生式?产生式规则的语义是什么?答？产生式规则基本形式?p-q或者if p then qp 是产生式的前提?前件?用于指出该产生式是否可用的条件q 是一组结论或操作?后件?用于指出当前提 p 所指示的条件满足 时?应该得出的结论或应该执行的操作产生式规则的语义?如

16、果前提 p 被满足?则可推出结论 q 或执行 q 所规定的操作谓词公式g通过?个步骤所得的子句集合s?称为g的子句集。请写出这些步骤。1?消去蕴含式和等价式-?-2?缩小否定词的作用范围?直到其作用于原子公式:3?适当改名?使量词间不含同名指导变元和约束变元。4.?消去存在量词?形成 skolem 标准型?5?消去所有全称量词化成合取范式. 适当改名?使子句间无同名变元.消去合取词人？用逗号代替？以子句为元素组成一个集合s4、已知 s=p(f(x),y,g(y),p(f(x),z,g(x)?求 mgu1、人工智能是一门a)数学和生理学坊心理学和生理学c)语言学d)综合性的交叉学科和边缘学科2、

17、语义网络表达知识时?有向弧 ako 链、 isa 链是用来表达节点知 识的? ?。a) 无悖性 b) 可扩充性 c) 继承性3、(a-b)Aa = b 是z 是项a)附加律b)拒收律c)假言推理d)us4、命题是可以判断真假的a)祈使句b)疑问句c)感叹句d)陈述句5、仅个体变元被量化的谓词称为a)阶谓词b)原子公式c)二阶谓词d)全称量词l=J7、下列不在人工智能系统的知识包含的 4 个要素中a) 事实 b) 规则 c) 控制 d) 关系8、当前归结式是? ?时?则定理得证。a)永真式b包孕式?subsumed? c)空子句9、或图通常称为a?框架网络b)语义图c)博亦图d)状态图10、不属

18、于人工智能的学派是a)符号主义坊机会主义c)行为主义d)连接主义。11、所谓不确定性推理就是从( )的初始证据出发?通过运用( )的知 识?最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。a)不确定性，不确定性b)确定性，确定性c)确定性，不确定性d)不确定性 确定性12、要想让机器具有智能?必须让机器具有知识。因此?在人工智能 中有一个研究领域?主要研究计算机如何自动获取知识和技能?实现自我完善?这门研究分支学科叫? ?。3、有四人过河，只有一条船，最多可乘坐两人。若单个过，各需 1，1，5，9分钟，若两人一起过，则需要的时间以多的为准(如需要 5分和9分的两人同时乘坐，则需要 9分)。问最少需要多少分钟。、用产生式系统描述该问题，要求给出综合数据库的定义，规则 集，初始状态和结束状态。、定义一个h函数，并说明是否满足a*条件。、用a算法求解该问题，给出状态搜索图，标出扩展次序、各节 点的f值、解路径及解路径的耗散值。4、某问题由下列公式描述：(1) 、(s)p(s)(2)、(s)(p(g(s)、(x)(s)(y)(p (s)Aq (b, x, s) fh (y)、(x)(s)(q (b, x, s) fq (b, x, g (s)、( x)( s)( y)( p( s) fq(