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

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

HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

第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

∧∧

答案

解：