人工智能课后习题答案(清华大学出版社)
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2
3
1
8
4
7
6
5
仙1(5)
K(5)
J(7)
2
3
1
8
4
7
6
5
1
2
3
8
4
7
6
5
1
2
3
8
4
7
6
5
F
L(5)
1
2
3
7
8
4
6
5
1
2
3
8
4
7
6
5
2
3
1
8
4
7
6
5
1
2
3
8
4
7
6
5
J(5)
A
I(5)
G源自文库5)此
2
3
1
8
4
7
6
5
1
2
3
7
8
4
6
5
〔2)(0(釘肯i
九•上A•一
、丄:丿
上d
0丿11丿
第3章
3.18
(1)证明：待归结的命题公式为
PaL(QtP)，合取范式为：PaQaUP，求取子句集
为S ={ P,Q，L P},对子句集中的子句进行归结可得:
P
q
LP
匸①③归结
①
②
③
④
由上可得原公式成立。
⑵证明：待归结的命题公式为(PT(QtR))aL((PtQ)t(PtR))，合取范式为:
(Lpv」QvR)a(_PvQ)aPa_R，求取子句集为S={L Pv」QvR,LPvQ, pL R}，对子 句集中的子句进行归结可得：
②
q
③
U QVP
④
LP
①②归结
⑤
P
②③归结
⑥
匚
④⑤归结
由上可得原公式成立。
3.19答案
(1) mgu ={a/X,b/y, b/z}
⑵mgu ={g(f(v))/x, f(v)/u}
(3)不可合一
(4)mgu ={b/X,b/y, b/z}
3.23证明
R1：所有不贫穷且聪明的人都快乐：XtxJPoor(x)八Smart(x)THappy(x))
R2:那些看书的人是聪明的：\/x(read(x)TSmart(x))
R3:李明能看书且不贫穷：read (LiP oor( Li)
R4：快乐的人过着激动人心的生活：\jx(Happy(x)TExciting (x))
结论李明过着激动人心的生活的否定：L Exciting(Li)
将上述谓词公式转化为子句集并进行归结如下：
⑦
L Happy (Li)
⑤⑥
Li/z
⑧
Poor(Li)vL Smart(Li)
⑦①
Li/x
⑨
|_ Smart(Li)
⑧④
⑩
L read(Li)
⑨②
Li/y
?
匚
⑩③
由上可得原命题成立。
第4章
4.9答案
4.11答案
Is-—A-ki nd-of教师1
Work-at
*
计算机系~I—Part-of41 ~某大学1—Located-at^^北京|
(3)2->3
(4)2->1
(5)3->1
(6)3->2
1
((A),(),(B))
8数码问题
启发函数为不在位的将牌数
启发函数为不在位的将牌数距离和
S(5)
2
8
3
1
6
4
7
5
2
8
3
1
6
4
7
5
2
3
1
8
4
7
6
5
E(5)
F(6)
2
8
3
1
4
7
6
5
2
8
3
1
4
7
6
5
D(7)
2
3
1
8
4
7
6
5
E(5^
2
8
3
1
4
7
6
5
2.1解图:
由R1可得子句：
1Poor(x)vLSmart(x)vHappy(x)
由R2可得子句：
2|_read(y)vSmart(y)
由R3可得子句：
3read(Li)
4L Poor(Li)
由R4可得子句：
5!_Happy(z)VExciting(z)
有结论的否定可得子句：
6L Exciti ng (Li)
根据以上6条子句，归结如下：
（此文档为Word格式，下载后可以任意编辑修改！）
试卷装订封面
学年第学期
课程名称：
课程代码
学生系别
专业
班级
任课教师
阅卷教师
考试方式
开卷□闭卷V
考试日期
考试时间
阅卷日期
装订教师
装订日期
缺卷学生姓名及原因：
无
附：课程考试试卷分析表、期末考核成绩登记表
1.1解图如下:
规则顺序定义如下:
(1) 1->2
⑵1->3
UPv_QvR
UPvQ
P
LR
q
LPvR
r
匚
③④⑤⑥⑦⑧
②③归结
①④归结
③⑥归结
④⑦归结
由上可得原公式成立。
(3)证明：待归结的命题公式为
(LQv_P)a(」QvP)aQ，求取子句集为S={LQv_P,」QvP,Q}，对子句集中的子句进
(QtLP)a_((QtP)tLQ)，合取范式为:
行归结可得：
①
UqvLP
3
1
8
4
7
6
5
仙1(5)
K(5)
J(7)
2
3
1
8
4
7
6
5
1
2
3
8
4
7
6
5
1
2
3
8
4
7
6
5
F
L(5)
1
2
3
7
8
4
6
5
1
2
3
8
4
7
6
5
2
3
1
8
4
7
6
5
1
2
3
8
4
7
6
5
J(5)
A
I(5)
G源自文库5)此
2
3
1
8
4
7
6
5
1
2
3
7
8
4
6
5
〔2)(0(釘肯i
九•上A•一
、丄:丿
上d
0丿11丿
第3章
3.18
(1)证明：待归结的命题公式为
PaL(QtP)，合取范式为：PaQaUP，求取子句集
为S ={ P,Q，L P},对子句集中的子句进行归结可得:
P
q
LP
匸①③归结
①
②
③
④
由上可得原公式成立。
⑵证明：待归结的命题公式为(PT(QtR))aL((PtQ)t(PtR))，合取范式为:
(Lpv」QvR)a(_PvQ)aPa_R，求取子句集为S={L Pv」QvR,LPvQ, pL R}，对子 句集中的子句进行归结可得：
②
q
③
U QVP
④
LP
①②归结
⑤
P
②③归结
⑥
匚
④⑤归结
由上可得原公式成立。
3.19答案
(1) mgu ={a/X,b/y, b/z}
⑵mgu ={g(f(v))/x, f(v)/u}
(3)不可合一
(4)mgu ={b/X,b/y, b/z}
3.23证明
R1：所有不贫穷且聪明的人都快乐：XtxJPoor(x)八Smart(x)THappy(x))
R2:那些看书的人是聪明的：\/x(read(x)TSmart(x))
R3:李明能看书且不贫穷：read (LiP oor( Li)
R4：快乐的人过着激动人心的生活：\jx(Happy(x)TExciting (x))
结论李明过着激动人心的生活的否定：L Exciting(Li)
将上述谓词公式转化为子句集并进行归结如下：
⑦
L Happy (Li)
⑤⑥
Li/z
⑧
Poor(Li)vL Smart(Li)
⑦①
Li/x
⑨
|_ Smart(Li)
⑧④
⑩
L read(Li)
⑨②
Li/y
?
匚
⑩③
由上可得原命题成立。
第4章
4.9答案
4.11答案
Is-—A-ki nd-of教师1
Work-at
*
计算机系~I—Part-of41 ~某大学1—Located-at^^北京|
(3)2->3
(4)2->1
(5)3->1
(6)3->2
1
((A),(),(B))
8数码问题
启发函数为不在位的将牌数
启发函数为不在位的将牌数距离和
S(5)
2
8
3
1
6
4
7
5
2
8
3
1
6
4
7
5
2
3
1
8
4
7
6
5
E(5)
F(6)
2
8
3
1
4
7
6
5
2
8
3
1
4
7
6
5
D(7)
2
3
1
8
4
7
6
5
E(5^
2
8
3
1
4
7
6
5
2.1解图:
由R1可得子句：
1Poor(x)vLSmart(x)vHappy(x)
由R2可得子句：
2|_read(y)vSmart(y)
由R3可得子句：
3read(Li)
4L Poor(Li)
由R4可得子句：
5!_Happy(z)VExciting(z)
有结论的否定可得子句：
6L Exciti ng (Li)
根据以上6条子句，归结如下：
（此文档为Word格式，下载后可以任意编辑修改！）
试卷装订封面
学年第学期
课程名称：
课程代码
学生系别
专业
班级
任课教师
阅卷教师
考试方式
开卷□闭卷V
考试日期
考试时间
阅卷日期
装订教师
装订日期
缺卷学生姓名及原因：
无
附：课程考试试卷分析表、期末考核成绩登记表
1.1解图如下:
规则顺序定义如下:
(1) 1->2
⑵1->3
UPv_QvR
UPvQ
P
LR
q
LPvR
r
匚
③④⑤⑥⑦⑧
②③归结
①④归结
③⑥归结
④⑦归结
由上可得原公式成立。
(3)证明：待归结的命题公式为
(LQv_P)a(」QvP)aQ，求取子句集为S={LQv_P,」QvP,Q}，对子句集中的子句进
(QtLP)a_((QtP)tLQ)，合取范式为:
行归结可得：
①
UqvLP