【正文】 一個產(chǎn)生式作為已知事實(shí)使用，以解決問題，這樣的系統(tǒng)稱為產(chǎn)生式系統(tǒng)。Like(x,volleyball))（6） 要想出國留學(xué)，必須通過外語考試。解：定義謂詞如下： Human(x)：x是人。 Day(x)：x是某一天。 Human(x)：x是人。3. 在選擇知識的表示方法時，應(yīng)該考慮哪些主要因素？解：可行性、有效性、易理解性、模塊性和靈活性。特征：基于數(shù)學(xué)邏輯對知識進(jìn)行表示和推理。研究目標(biāo)：用計算機(jī)模仿人腦思維活動，解決復(fù)雜問題；從實(shí)用的觀點(diǎn)來看，以知識為對象，研究知識的獲取、知識的表示方法和知識的使用。2. 人工智能是何時、何地、怎樣誕生的？解：人工智能于1956年夏季在美國Dartmouth大學(xué)誕生。特點(diǎn)：符號主義認(rèn)為人類智能的基本單元是符號，認(rèn)識過程就是符號表示下的符號計算，從而思維就是符號計算；聯(lián)結(jié)主義認(rèn)為人類智能的基本單元是神經(jīng)元，認(rèn)識過程是由神經(jīng)元構(gòu)成的網(wǎng)絡(luò)的信息傳遞，這種傳遞是并行分布進(jìn)行的。分類方法：（1）按知識的作用范圍分為：常識性知識和領(lǐng)域性知識；（2）按知識的作用及表示分為：事實(shí)性知識、規(guī)則性知識、控制性知識和元知識；（3）按知識的確定性分為：確定知識和不確定知識；（4）按人類思維及認(rèn)識方法分為：邏輯性知識和形象性知識。6. 設(shè)有下列語句，請用相應(yīng)的謂詞公式把它們表示出來：（1） 有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。Like(x,Club(x))217。 Hot(x)：x是炎熱的。 Human(x)：x是人。Q　或者　IF P THEN　Q　其中，P是產(chǎn)生式的前提，用于指出該產(chǎn)生式是否可用的條件；Q是一組結(jié)論或操作，用于指出前提P所指示的條件被滿足時應(yīng)該得出的結(jié)論或應(yīng)該執(zhí)行的操作。在產(chǎn)生式推理過程中，如果發(fā)生策略沖突，常見的解決策略有專一性排序、規(guī)則排序、規(guī)模排序和就近排序。整理同一層節(jié)點(diǎn)的共同屬性，并抽出這些屬性，加入上層節(jié)點(diǎn)中，以免造成屬性信息的冗余?！　〗猓焊鶕?jù)題意可得本題的語義網(wǎng)絡(luò)如下： 　?。?）雪地上留下一串串腳印，有的大，有的小，有的深，有的淺。根據(jù)對象之間的關(guān)系得到本題的語義網(wǎng)絡(luò)如下： 23. 在基于語義網(wǎng)絡(luò)的推理系統(tǒng)中，一般有幾種推理方法，簡述它們的推理過程。　　解：特點(diǎn)：結(jié)構(gòu)性、繼承性和自然性。（2）通過與知識庫中已有的框架進(jìn)行匹配。31. 請寫出用面向?qū)ο蟊硎痉ū硎局R的步驟?！　?gòu)成：問題的所有可能初始狀態(tài)構(gòu)成的集合S；算符集合F；目標(biāo)狀態(tài)集合G。3個真值為T的命題：太陽從東邊升起；地球繞著太陽轉(zhuǎn)；人是高級動物。不同點(diǎn)：命題邏輯不能描述不同事物的共同特征，而謂詞邏輯可以。Q(x,y))的所有解釋，并且對每一種解釋指出該謂詞公式的真值。B也都是合式公式。Q(1,2)為T；x=2時，P(2,1)174。Q(2,2)為F。4. 對謂詞指派的真值為：P(1,1)=F，P(1,2)=T，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解釋下，x=1時，P(1,1)174。Q(1,2)為T；x=2時，P(2,1)174。Q(2,2)為T。8. 對謂詞指派的真值為：P(1,1)=T，P(1,2)=F，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，Q(2,1)=F，Q(2,2)=T，在此解釋下，x=1時，P(1,1)174。Q(1,2)為T；x=2時，P(2,1)174。Q(2,2)為T。12. 對謂詞指派的真值為：P(1,1)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=F，Q(1,2)=T，Q(2,1)=T，Q(2,2)=F，在此解釋下，x=1時，P(1,1)174。Q(1,2)為T；x=2時，P(2,1)174。Q(2,2)為T。16. 對謂詞指派的真值為：P(1,1)=F，P(1,2)=T，P(2,1)=F，P(2,2)=T，Q(1,1)=F，Q(1,2)=T，Q(2,1)=F，Q(2,2)=T，在此解釋下，x=1時，P(1,1)174。($y)(Q(x,y)217。Q(z,x))，z是受($z)約束的變元；(y)的轄域是(P(z,y) 218。（4）(z)(($y)(($t)(P(z,t) 218。（5）(z)($y)(P(z,y) 218。Q(z,y) 218。可滿足性：對于謂詞公式P，如果至少存在一個解釋使得公式P在此解釋下的真值為T，則稱公式P是可滿足的。j），i，j=1，2，…，n。（5） 若Dk中存在元素xk和tk，其中xk是變元，tk是項(xiàng)，且xk不在tk 中出現(xiàn)，則置： sk+1=sk{ tk/xk} Wk+1=Wk{ tk/xk} k=k+1　　然后轉(zhuǎn)（3）。 (4’) 從左到右找不一致集，得D1={b，y}。(5’) 取x1=x，t1=b，則 s2=s1{ t1/ x1}=s1{b/ x}={ f(z)/ y}{ b/ x}={f(z)/y，b/x}W2= W1s2={P(f(z),b)，P(f(z),b)} (3’’) W2已合一，因?yàn)槠渲邪嗤谋磉_(dá)式，這時s2={f(z)/y，b/x}即為所求的mgu。（4）P(f(y),y,x)，　　P(x,f(a),f(b))解：依據(jù)算法：(1) 令W={P(f(y),y,x)，P(x,f(a),f(b))}。(2) 令s0=e，W0=W。Q(y,z))SKOLEM范式形式：(x1) (x2)… (xn)M(x1，x2，…，xn）13. 什么是子句？什么是子句集？請寫出謂詞公式子句集的步驟。~B)替換A171。在不可滿足的意義下是等價的。R(x,y)))解：原式222。R(x,f(x)))}（4）(x) (y) ($z)(P(x,y)174。R(x,f(x,y))) 所求子句集為S={~P(x,y)218。($x) ($y) (z)(v) (P(x,y,z,f(z),v,f(z,v))217。Q (2) ~Q (3)P (4) ~P (3)與(4)歸結(jié)得到NIL，因此S是不可滿足的。~Q (4) ~P218。（4）S={~P(x)218。 ~Q(y) 218。Q(f(x),a), ~P(h(y))218。（7）S={P(x)218。（8）S={P(x)218。 解：Robinson歸結(jié)原理是一種證明子句集不可滿足性，從而實(shí)現(xiàn)定理證明的方法，是對自動推理的重大突破，使機(jī)器定理證明變?yōu)楝F(xiàn)實(shí)。 An174。這就說明對結(jié)論B的否定是錯誤的，推斷出定理的成立。 ~Q(x) (2)自身合一得到 (4)Q(a)，s={a/b} (1)與(3)歸結(jié)得到 (5) ~Q(x) (4)與(5)歸結(jié)得到NIL，s={a/ x}，因此G是F1的邏輯結(jié)論。（4）F1：(x)(P(x)174。L(a,y) (4)R(a) (5)Q(a) (1)與(2)歸結(jié)得到 (6) ~Q(y)218。Q(x) (2) ~P(x)218。(y)(D(z,y)174。~C(z) (4)與(7)歸結(jié)得到 (9) ~B(z)，s={a/ x} (4)與(8)歸結(jié)得到 (10) ~C(a)，s={a/ z} (3)與(9)歸結(jié)得到 (11)C(f(z)) (10)與(11)歸結(jié)得到NIL，s={a/ f(z)}，因此G是FFF3的邏輯結(jié)論。(B(y)217。~C(y) 使用歸結(jié)推理： (2)與(3)歸結(jié)得到 (6)C(a)，s={a/ y} (4)與(5)歸結(jié)得到 (7) ~C(a)，s={a/ y} (6)與(7)歸結(jié)得到NIL，因此G是不可滿足的，從而命題得證。Grandfather(x,z) F2：(x)($y)(Father(x,y)) G：($w)(Grandfather(w,john)) 把FF2和~G化為子句集： (1)~Father(x,y)218。 (3) 把問題公式與謂詞ANSWER構(gòu)成的析取式化為子句集，并把該子句集與S1合并構(gòu)成子句集S。(Teacher(z,x)217。32. 設(shè)有子句集： S={~R(x)218。T(x,x) (1)與(3)歸結(jié)得到 (5) ~R(c)，s={c/x,d/f(c)} (5)與(2)歸結(jié)得到 (6) ~T(c,d) (6)與(4)歸結(jié)得到 (7)~R(c)，s={c/x,d/x} 2)單文字歸結(jié)策略： (1) ~R(x)218。~T(c,d) (3) ~T(c,f(c)) (4) ~R(x)218。精彩文檔。Q，Q218。~T(c,d) (3) ~T(c,f(c)) (4) ~R(x)218。~T(c,d)，~T(c,f(c))，~R(x)218。Answer(x)化為子句集： (1) Teacher(Zhang, FanZhen) (2) Classmate(FanZhen,LiWei) (3) ~Classmate(x,y)218。 (5) 如果得到歸結(jié)式ANSWER，則問題的答案即在ANSWER謂詞中。Grandfather(x,z) (2)Father(x,a) (3)~Grandfather(w,john) (1)自身合一得到 (4) ~Father(x,x)218。 （2）每個人都有一個父親。($y)(Q(y)217。(B(y)217。~B(z))G：($z)(E(z)217。~R(x) (2)與(3)歸結(jié)得到 (6)R(a)，s={a/ x} (4)與(5)歸結(jié)得到 (7) ~R(a)，s={a/ x} (6)與(7)歸結(jié)得到NIL，因此G是FF2的邏輯結(jié)論。 ~Q(y) (4)與(7)歸結(jié)得到 (8) ~Q(a)，s={a/ y} (5)與(8)歸結(jié)得到NIL，因此G是FF2的邏輯結(jié)論。~L(x,y))) F2：($x)(P(x)217。Q(f(b)))　　G：P(f(a))217。（1）F1：($x)($y)P(x,y) G：(y)($x)P(x,y)解：首先將F1和~G化為子句集： (1)P(a,b) (2)~P(x,b) (1)與(2)歸結(jié)得到NIL，s={a/x}，因此G是F1的邏輯結(jié)論。 A2217。　　推理規(guī)則：消去互補(bǔ)對。R(y), ~P(z)218。 R(x), ~P(y) 218。~P(z) }解：使用歸結(jié)推理：令C1= ~P(x)218。 L(a,z) ,R(b),Q(b) }解：使用歸結(jié)推理： (1) ~P(x)218。R(y),P(a), S(a), ~S(z)218。（3）S={P(y)218。Q, ~P218。~R(x,z,f(z,v)))) 222。