人工智能作業(yè)答案

1、人工智能作業(yè)答案（ 2 ）第三章確定性推理什么是推理？它有哪些分類方法？P74所謂推理是指按照某種策略從已知事實(shí)出發(fā)去推出結(jié)論的過(guò)程。 知識(shí)推理是指在計(jì)算機(jī)或智 能機(jī)器中， 在知識(shí)表達(dá)的基礎(chǔ)上，利用形式化的知識(shí)模型，進(jìn)行機(jī)器思維求解問(wèn)題，實(shí)現(xiàn)狀 態(tài)轉(zhuǎn)移的智能操作序列。根據(jù)知識(shí)表示方式分類：“圖搜索”方法、“邏輯論證”方法； 根據(jù)推理算法與推理步驟分類；根據(jù)啟發(fā)式與非啟發(fā)式分類； 根據(jù)邏輯基礎(chǔ)分類：演繹推理、歸納推理、默認(rèn)（缺?。┩评?； 根據(jù)知識(shí)的確定性分類：確定性推理、非確定性推理； 根據(jù)推理過(guò)程的單調(diào)性分類：?jiǎn)握{(diào)推理、非單調(diào)推理。推理中的沖突消解策略有哪些？P82沖突消解的基本思想是：對(duì)可用

2、知識(shí)排序。具體地講，包括以下策略：a）特殊知識(shí)優(yōu)先b）新鮮知識(shí)優(yōu)先c）差異性大的知識(shí)優(yōu)先d）領(lǐng)域特點(diǎn)優(yōu)先e）上下文關(guān)系優(yōu)先f(wàn)）前提條件少者優(yōu)先什么是置換？什么是合一？什么是最一般合一？P88-89 置換：在謂詞表達(dá)式中用置換項(xiàng)置換變量。合一：尋找項(xiàng)對(duì)變量的置換，以使表達(dá)式一致。最一般合一(mgu):通過(guò)置換最少的變量以使表達(dá)式一致，這個(gè)置換就叫最一般合一。 判斷下列公式是否可以合一，若可合一，則求出其最一般合一。(1) P(a,b)，P(x,y)a/x，b/y(2) P(f(x),b)，P(y,z)f(x)，b/z(3) P(f(x),y)，P(y,f(b)b/x，f(b)/y(4) P(f(

3、y),y,x)，P(x,f(a),f(b)f(y)/x ，f(a)/y，f(b)/x不可合一(5) P(x,y)，P(y,x)x/y , y/x 不可合一把下列謂詞公式化成子句集：(1 ) (.x) (y) .( P (x, y) AQ (x, y)P (x, y), Q (乙 w) (2) (x) (y)( P (x, yQ (x, y)n P (x, y)VQ ( x, y)(3) (x) (y 門 P (x, y )V( Q (x, y) R (x, y)(x) (y)( P (x, y)V(n Q (x, y) VR (x , y)(x) ( P (x, f(x) )VnQ (x, f

4、(x) )VR (x, f(x)P (x, f(x) VnQ (x, f(x) ) VR (x, f(x)(4) (,x) (y) ,(z)甲(x, y) Q (x, y)VR ( x, z)(x) (y) (z)(P (x, y)VQ (x, y) VR (x, z)(x) (y) (n P (x, y) VQ (x, y) VR (x, f(x,y)b P (x, y)VQ (x, y)VR (x, f(x,y) )(5) (X) (y) ( z) ( u ) (v) 1( w) .( P (x, ly ,z, u , v, w)AQ (x , y, z, u , v, w)Vn R (x

5、, z, w )(z) (v) (P (a, b,乙 f(z) , v, g(z,v) )VnR ( a, z, g(z,v) ) AQ (a, b ,乙 f(z) , v, g(z,v) ) VqR (a, z, g(z,v)P (a, b , z, f(z) , v , g(z,v) ) VnR (a, z, g(z,v) ) ,Q (a, b , z, f(z) , v , g(z,v) )VnR (a , z , g(z,v) ) 魯賓遜歸結(jié)原理的基本思想是什么？P99魯賓遜歸結(jié)原理的基本思想是：否定結(jié)論，加入前提子句集，應(yīng)用歸結(jié)原理，是否能導(dǎo)出空子句，若存在，證明否定結(jié)論錯(cuò)誤，即原結(jié)

6、論得證。設(shè)已知：(1)如果x是y的父親，y是z的父親，則x是z的祖父；(2 )每個(gè)人都有一個(gè) 父親。試用歸結(jié)演繹推理證明：對(duì)于某人u，定存在一個(gè)人 v , v是u的祖父。已知：(x) (y) (z) (FATHER (x, y)AFATHER (y, zGRANDFATHER (x, z)(s) (f)耳ATHER (f, s)證明：目標(biāo)否定：(u )n(v)毛RANDFATHER (v, u )化為子句集：n GRANDFATHER (v, u)事實(shí)子句集：n( FATHER (x, y)AFATHER (y, z) VGRANDFATHER (x, z) n FATHER (x, y )V

7、nFATHER (y, z)VGRANDFATHER (x, z) , FATHER (f(s), s)反演樹(shù)證明：GRANDFATHER (v, u )n FATHER (x, y )Vn FATHER (y , z)VGRANDFATHER (x , z)v/x,u/z.n FATHER ( v , y )Vn FATHER (y , u) FATHER (f (s) , s)f（y）/v,y/sFATHER （y,u ） FATHER （f （s）,s）f（s）/y,s/uNIL3.19題略A:趙錢至少一人THIEF（趙）V THIEF （錢）B：錢孫至少一人THIEF（錢）V THIE

8、F （孫）C:孫李至少一人無(wú)關(guān)THIEF（孫）VTHIEF（李）D:趙孫至少一人無(wú)關(guān) THIEF（趙）VTHIEF（孫）E:錢李至少一人無(wú)關(guān)THIEF（錢）J THIEF（李）n THIEF （趙）VTHIEF （孫）THIEF （趙）V THIEF （錢）n THIEF （孫）V THIEF （錢）THIEF （錢）V THIEF （孫）THIEF （錢）THIEF （錢）VTHIEF （李）THIEF （錢）THIEF （李）3.20題略nCOUPLES(Zhou , Wang )nCOUPLES(Zhou , Qian )nCOUPLES(Li , Chen )nCOUPLES(Xu ,

9、 Chen )、nCOUPLES (Zhou , Chen )、nCOUPLES (Wu , Chen )、nCOUPLES (Xu , Wu )、COUPLES (Zhou , Wu )、COUPLES (Zhou , Xu )、WOMAN ( Li)、WOMAN (Xu )、WOMAN (Zhou )、WOMAN (Qia n )MAN (Chen )、MAN (Wu )、MAN (Wang )、MAN (Shun )COUPLES ( Zhou , ChenCOUPLES (Zhou , Chen )矛盾COUPLES (Zhou , Wu )Vn COUPLES (Zhou , Wu

10、)矛盾COUPLES (Zhou , Wang )Vn COUPLES (Zhou , Wang )矛盾COUPLES ( Zhou , Shun )COUPLES ( Li, Chen )VCOUPLES ( Li, Chen )矛盾COUPLES ( Li, Wu )不確定COUPLES ( Li, Wang )不確定COUPLES ( Xu , Chen )VCOUPLES (Xu , Chen )矛盾COUPLES (Xu , Wu )Vn COUPLES (Xu , Wu )矛盾COUPLES (Xu , Wang )不確定COUPLES ( Qian , Chen )3.22設(shè)有子

11、句集：P (x) VQ (x , b) , P (a )VnQ ( a , b ) ,Q (a , f (a), n P (x) VQ (x , x)分別用各種歸結(jié)策略求出其歸結(jié)式。實(shí)際上無(wú)論采用哪種策略都是如此：(作者選其為此類習(xí)題不適合)n P (x) V Q (x , b)P (a)V n Q (a , b)n Q (a, f (a)n P (x)V Q ( x , x)3.23設(shè)已知：nil(1)能閱讀的人(動(dòng)物)是識(shí)字的;(2)海豚不識(shí)字;(3)有些海豚是聰明的。動(dòng)物)不識(shí)字。分別用線性輸入策略，祖先過(guò)濾策略證明：有些很聰明的人( 事實(shí):(X) (CANREAD (xSHIZHI (

12、x)(y) (HAITUN (ySHIZHI (y)(云)(HAITUN (z )ACLEVER (z)目標(biāo)否定:n(U3 ( CLEVER ( u)AnSHIZHI ( u )(u )n(CLEVER ( u)AnSHIZHI ( u )(u ) (n CLEVER ( u )VSHIZHI ( u)子句集:n CANREAD (x) VSHIZHI (x),HAITUN(y) SHIZHI (y), HAITUN (a), CLEVER(a ),n CLEVER ( u )VSHIZHI ( u)線性輸入策略n CANREAD (x)V SHIZHI (x)CLEVER( a)HAITU(

13、a)n HAITUN (y )V n SHIZHI ( y)n CLEVER ( u) V SHIZHI ( u)n SHIZHI (a)EVER (y)SHIZHI (a)祖先過(guò)濾策略n HAITUN (y )V n SHIZHI ( y) n竺ERAaTUNa)n SHIZHI (a)NILn CLEVER( a)NILnC鑽Raan CLVERTM V)SHIZHI ( u)NIL3.27 設(shè)已知事實(shí)為(P VQ )AR )V( S A(T VU )F 規(guī)則為 S( X AY)VZ試用正向演繹推理推出所有可能的目標(biāo)子句。R VT VU3.28 事實(shí):GAO (Zhang )、GAO (Wang )、GAO ( Li)R1:HUA (x1 DENG (x1 )R3:DENG (x4 )r