人工智能課后習題答案清華大學出版社

人工智能課后習題答案清華大學出版社人工智能課后習題答案清

華高校出版社

ThefinaleditionwasrevisedonDecember14th,2024.

第1章

解圖如下：

8數(shù)碼問題

啟發(fā)函數(shù)為不在位的將牌數(shù)啟發(fā)函數(shù)為不在位的將牌數(shù)距離和

第2章

解圖：

第3章

(1)證明：待歸結(jié)的命題公式為()

∧→，合取范式為：PQP

PQP

∧∧，求取子句集為{,,}

=，對子句集中的子句進行歸結(jié)可得：

SPQP

①①③歸結(jié)

由上可得原公式成立。

(2)證明：待歸結(jié)的命題公式為())(()())

（，合取范式

→→∧→→→

PQRPQPR

為：()()

=∨∨∨，對PQRPQPR

SPQRPQPR∨∨∧∨∧∧，求取子句集為{,,,}

子句集中的子句進行歸結(jié)可得：

①Q(mào)②③歸結(jié)

②PR

∨①④歸結(jié)

③R③⑥歸結(jié)

④④⑦歸結(jié)

由上可得原公式成立。

(3)證明：待歸結(jié)的命題公式為()(())

→∧→→，合取范式為：

QPQPQ

SQPQPQ

=∨∨，對子句集中的子句進∨∧∨∧，求取子句集為{,,}

QPQPQ

()()

行歸結(jié)可得：

①P①②歸結(jié)

②P②③歸結(jié)

③④⑤歸結(jié)

由上可得原公式成立。

答案

(1){/,/,/}

=

mguaxbybz

(2){(())/,()/}

=

mgugfvxfvu

(3)不行合一

(4){/,/,/}

=

mgubxbybz

證明

R1：全部不貧困且聰慧的人都歡樂：(()()())

?∧→

xPoorxSmartxHappyxR2：那些看書的人是聰慧的：(()())

?→

xreadxSmartx

R3：李明能看書且不貧困：()()

∧

readLiPoorLi

R4：歡樂的人過著感動人心的生活：(()())

?→

xHappyxExcitingx

結(jié)論李明過著感動人心的生活的否定：()

ExcitingLi

將上述謂詞公式轉(zhuǎn)化為子句集并進行歸結(jié)如下：

由R1可得子句：

由R2可得子句：

由R3可得子句：

由R4可得子句：

有結(jié)論的否定可得子句：

依據(jù)以上6條子句，歸結(jié)如下：

①()

HappyLi⑤⑥Li/z

②()()

∨⑦①Li/x

PoorLiSmartLi

③()

SmartLi⑧④

④()

readLi⑨②Li/y

⑤⑩③

由上可得原命題成立。

第4章

答案

答案

第5章

答案

解：把該網(wǎng)絡(luò)看成兩個部分，首先求取(1|12)

∧。

PTSS

1．首先求取(1|1)

=>=，所以

PTS，由于(1|1)0.7(1)0.2

PSFPF

假設(shè)(1|1)1

PSF=，(1|1)

(1)20.1

0.1818

(1)(1)1(21)0.11

PTF

LSPT

LSPT

=

??

==-?+-?+

2．然后求取(1|2)

PTS，由于(2|2)0.6(2)0.4

PSFPF

=>=，所以

假設(shè)(2|2)1

PSF=，(1|2)

(1)1000.1

0.9174

(1)(1)1(1001)0.11

PTF

LSPT

LSPT

=

??

==-?+-?+

3．求取(1|1)

OTS和(1|2)

OTS

4．求取(1|12)

PTSS

∧

5．求取(|12)

PHSS

∧，由于(1|12)0.4874(1)0.1

PTSSPT

∧=>=,所以

假設(shè)(1|12)1

PTSS

∧=，

()650.01

(|1)0.3963

(1)()1(651)0.011

LSPH

PHT

LSPH

??

===

-?+-?+

6．求取(|3)

PHS，由于(|2)0.0001()0.01

PHTPH

=<=，所以假設(shè)(2