《人工智能课后习题答案(清华大学出版社)》由会员分享，可在线阅读，更多相关《人工智能课后习题答案(清华大学出版社)（6页珍藏版）》请在金锄头文库上搜索。
1、第1章1.1解图如下8数码问题启发函数为不在位的将牌数启发函数为不在位的将牌数距离和(7)第2章2.1解图184-7-6-5-(7)O1-.UJ2V3847a?匚二匸二61111第3章3.18(1)证明：待归结的命题公式为P(QTP)，合取范式为：PQP，求取子句集为S，P,Q,P，对子句集中的子句进行归结可得：PQ归结由上可得原公式成立。(2)证明:待归结的命题公式为(PT(QTR)(PTQ)T(PTR),合取范式为：(PvQvR)(PVQ)PR，求取子句集为S，PvQvR,PvQ,P,R，对子句集中的子句进行归结可得：PvQvRPvQP归结PvR归结R归结归结由上可得原公式成立。(3)证明
2、：待归结的命题公式为(QTP)(QTP)TQ)，合取范式为：(QVP)(QVP)Q，求取子句集为S，QVP,QvP,Q，对子句集中的子句进行归结可得：QvPQQvP存归结,P归结J*归结由上可得原公式成立。3.19答案(1)mgu，a/x,b/y,b/zmgu，g(f(v)/x,f(v)/u(3)不可合一(4)mgub/x,b/y,b/z3.23证明R1：所有不贫穷且聪明的人都快乐：Vx(Poor(x),Smart(x)THappy(x)R2：那些看书的人是聪明的：Vx(read(x)TSmart(x)R3：李明能看书且不贫穷：read(Li),Poor(Li)R4：快乐的人过着激动人心的生活
3、：Vx(Happy(x)TExciting(x)结论李明过着激动人心的生活的否定：Exciting(Li)将上述谓词公式转化为子句集并进行归结如下：由R1可得子句： Poor(x)Smart(x)Happy(x)由R2可得子句： read(y)Smart(y)由R3可得子句： read(Li) oof(Li)由R4可得子句： Happy(z)Exciting(z)有结论的否定可得子句：Exciting(Li)根据以上6条子句，归结如下：Happy(Li)Li/zfooTi)Smart(Li)Li/xSmart(Li)eOd(Li)Li/yu由上可得原命题成立。第4章4.9答案长颈鹿信天翁企鹅虎
4、金钱豹有蹄动物会游肉食动物鸟嚼反刍动吃肉会飞长脖丨善飞丨有黑白两色身上有暗斑点不会有蹄有犬齿有爪眼盯前方有毛发有奶会下蛋有羽毛4.11答案第5章5.9答案解：把该网络看成两个部分，首先求取P(T1IS1S2)。1.首先求取P(T1IS1),因为P(S1IF1)=0.7,P(F1)=0.2，所以P(T1IS1)=P(T1)+P(T1IF1)P(T1)1P(F1)P(F1IS1)P(F1)2.3.4.LSP(T1)20.1假设p(S11F1)=1，P(T1IF1)=(ls1)P(T1)+1=(2-1)21+1=0.18180.18180.1P(T1IS1)=0.1+1_02x(0.7一0.2)=0
5、.151110.2然后求取P(T1IS2)，因为P(S2IF2)=0.6,P(F2)=0.4，所以P(T1IS2)=P(T1)+P(T1胞二型P(F21S2)P(F2)1P(F2)LSP(T1)1000.1假设P(S2IF2)=1，P(T11F2)=0.9174假设()()(LS1)P(T1)+1(1001)0.1+10.91740.1P(T1IS2)=+帀-求取O(T1IS1)和O(T1IS2)(0.60.4)=0.3725O(T1IS1)=P(T11S1)1一P(T1IS1)0.1511二0.178010.1511O(T1IS2)=4P(T1IS2)1P(T1|S2)0.37255二0.5
6、93610.3725求取P(T1IS1S2)O(T1)=P(T1)=0.11111P(T1)10.1O(T1|S1)O(T1|S2)O(T1IS1S2)=0.17800.5936O(T1)O(T1)xx01111一09510=0.11110.11110.1111=0.9510O(T1IS1S2)P(T1IS1S2)=?mb不=1+O(T1IS1S2)0.9510=0.48741+0.95105.求取P(HIS1S2)，因为P(T1IS1S2)=0.4874,P(T1)=0.1,所以P(HIS1S2)=P(H)+P(H雹日)P(T11S1S2)p(T1)1P(T1)假设P(T1IS1S2)=1，
7、P(HIT1)=LSxP(H)(LS1)xP(H)+165x0.01(651)x0.01+1=0.3963ooL900.0I(ES一H)d丄_SO5I1丄ES-H)o卜900.0Gs-H)dS6E.0I(es刁一H)d厂亍；二&RFT75Hn(zsIS-H)oE96E.0(esIS-H)dQs一H)o启(ZSIS-H)O500.0H8.0Xmo0+o*lf-Hd10s.o200.0X(1。叮+(夏x(I3目一？loox10000(hmxni&墨0.0H(H)dVIOOOOH(z一只0(密一8辽畀長10IZ9UOhq.o寸卜8寸.0)X+00H(esssss.(寸s工2UPUH(9Bss色工u22寸I.o+I-寸eloa-寸1.0Ii0IS(FV7VIV-9)0+1g3LIEGLasis一H)d(ESesIS-H)ojloo.oloo.o81寸I0丄0100XXHL900.0虽e.ogoX(H)oX/L;丄ESZSIS一Eo(Es-H)o(esIS-H)oI0.0I(H)dIr?55.0HH丄H)oiuo.o(H)d(H)o
