人工智能课后习题答案清华大学出版社

人工智能课后习题答案清
华大学出版社
The final edition was revised on December 14th, 2020.
第1章
解图如下：
8数码问题
启发函数为不在位的将牌数启发函数为不在位的将牌数距离和
第2章
解图：
第3章
(1)证明：待归结的命题公式为()
∧→，合取范式为：P Q P
P Q P
∧∧，求取子句集为{,,}
=，对子句集中的子句进行归结可得：
S P Q P
①①③归结
由上可得原公式成立。

(2)证明：待归结的命题公式为())(()())
（，合取范式
→→∧→→→
P Q R P Q P R
为：()()
=∨∨∨，对P Q R P Q P R
S P Q R P Q P R ∨∨∧∨∧∧，求取子句集为{,,,}
子句集中的子句进行归结可得：
①Q②③归结
②P R
∨①④归结
③R③⑥归结
④④⑦归结
由上可得原公式成立。

(3)证明：待归结的命题公式为()(())
→∧→→，合取范式为：
Q P Q P Q
S Q P Q P Q
=∨∨，对子句集中的子句进∨∧∨∧，求取子句集为{,,}
Q P Q P Q
()()
行归结可得：
①P①②归结
②P②③归结
③④⑤归结
由上可得原公式成立。

答案
(1) {/,/,/}
=
mgu a x b y b z
(2) {(())/,()/}
=
mgu g f v x f v u
(3) 不可合一
(4) {/,/,/}
=
mgu b x b y b z
证明
R1：所有不贫穷且聪明的人都快乐：(()()())
∀∧→
x Poor x Smart x Happy x R2：那些看书的人是聪明的：(()())
∀→
x read x Smart x
R3：李明能看书且不贫穷：()()
∧
read Li Poor Li
R4：快乐的人过着激动人心的生活：(()())
∀→
x Happy x Exciting x
结论李明过着激动人心的生活的否定：()
Exciting Li
将上述谓词公式转化为子句集并进行归结如下：
由R1可得子句：
由R2可得子句：
由R3可得子句：
由R4可得子句：
有结论的否定可得子句：
根据以上6条子句，归结如下：
①()
Happy Li⑤⑥Li/z
②()()
∨⑦①Li/x
Poor Li Smart Li
③()
Smart Li⑧④
④()
read Li⑨②Li/y
⑤⑩③
由上可得原命题成立。

第4章
答案
答案
第5章
答案
解：把该网络看成两个部分，首先求取(1|12)
∧。

P T S S
1．首先求取(1|1)
=>=，所以
P T S，因为(1|1)0.7(1)0.2
P S F P F
假设(1|1)1
P S F=，(1|1)
(1)20.1
0.1818
(1)(1)1(21)0.11
P T F
LS P T
LS P T
=
⨯⨯
== -⨯+-⨯+
2．然后求取(1|2)
P T S，因为(2|2)0.6(2)0.4
P S F P F
=>=，所以
假设(2|2)1
P S F=，(1|2)
(1)1000.1
0.9174
(1)(1)1(1001)0.11
P T F
LS P T
LS P T
=
⨯⨯
== -⨯+-⨯+
3．求取(1|1)
O T S和(1|2)
O T S
4．求取(1|12)
P T S S
∧
5．求取(|12)
P H S S
∧，因为(1|12)0.4874(1)0.1
P T S S P T
∧=>=,所以
假设(1|12)1
P T S S
∧=，
()650.01
(|1)0.3963
(1)()1(651)0.011
LS P H
P H T
LS P H
⨯⨯
===
-⨯+-⨯+
6．求取(|3)
P H S，因为(|2)0.0001()0.01
P H T P H
=<=，所以假设(2|3)0
P T S=，则
7．求(|12)
O H S S
∧和(|3)
O H S
8．求(|123)
P H S S S
∧∧
答案
解：。