【正文】 ,t) 218。($z)(Q(z,y)))))，z是受(z)約束的變元；($y)的轄域是(P(z,y) 218。7. 什么是謂詞公式的永真性、永假性、可滿足性、等價性及永真蘊含？解：永真性：如果謂詞公式P，對個體域D上的任何一個解釋都取得真值T，則稱P在D上是永真的；如果P在每個非空個體域上均永真，則稱P永真。其中xi是變量，ti是不同于xi的項（常量，變量，函數(shù)），且xi185。（3） 如果Wk只有一個表達式，則算法停止，sk就是所要求的mgu。(4) 從左到右找不一致集，得D0={a，x}。(5) 取x0=y，t0=f(z)，則 s1=s0{ t0/ x0}=s0{f(z)/ y}={f(z)/y}W1= W0s1={P(f(z),b)，P(f(z),x)} (3’) W1未合一。 (4’) 從左到右找不一致集，得D1={y，f(a)}。(5’) 取x1=y，t1=f(a)，則 s2=s1{ t1/ x1}=s1{f(a)/ y}={ f(y)/ x}{ f(a)/ y}={f(f(a))/x,f(a)/y}W2= W1s2={P(f(f(a)),f(a),f(f(a)))，P(f(f(a)),f(a),f(b))} (6) 算法終止，W的mgu不存在。前束范式形式：(x) ($y)(z)(P(x)217。B)218。（6）母式化為合取范式，建立起與其對應(yīng)的子句集。Q(x,y)}（3）(x)($y)(P(x,y)218。R(x,f(x)))) 所求子句集為S={ P(x,f(x))218。(x) (y) (~P(x,y)218。(Q(x,y,z,u,v,f(z,v))218。~R(a,b,f(z,v))}16. 判斷下列子句集中哪些是不可滿足的：（1）S={~P218。Q (2) ~P218。R(a)，選L1= P(y)，L2=~P(f(x))，則L1與L2的mgu是s={f(x)/y}，C1 與C2的二元歸結(jié)式C12=Q(f(x))218。~R(z) (2)與(3)歸結(jié)得到 (6)R(a) (4)與(5)歸結(jié)得到 (7) ~R(a) (6)與(7)歸結(jié)得到NIL，因此S是不可滿足的。 ~L(a,y) (5)與(6)歸結(jié)得到 (7) ~L(a,b) (3)與(4)歸結(jié)得到 (8) L(a,b) (7)與(8)歸結(jié)得到NIL，因此S是不可滿足的。Q(f(h(y)),a)選L1=~P(x)，L2=~P(h(y)) 則L1與L2的mgu是s={h(y)/x}，C1 與C2’的二元歸結(jié)式C12=~P(h(y))218。 R(y) (3) ~Q(a) (4) ~R(b)(1)與(3)歸結(jié)得到 (5) P(a) 218。Q(z) (4) ~R(u)(2)與(4)歸結(jié)得到 (5) ~Q(u)(1)與(5)歸結(jié)得到 (6) P(u)(3)與(6)歸結(jié)得到 (7)Q(u)(5)與(7)歸結(jié)得到NIL，因此S是不可滿足的。 188。~B （2）求謂詞公式G的子句集S。Q(x))解：首先將F1和~G化為子句集： (1)P(x) (2)Q(a)218。~Q(y) (3)自身合一得到 (4) ~P(f(a))218。 ~Q(y)218。S(x)) G：($x)(S(x)217。C(y)))F2：($z)(E(z)217。E(y) (7)~ E(x)218。($y)(D(y)217。B(y) (2) ~Q(y)218。 將前提條件和要求證的問題用謂詞公式表示： F1：Father(x,y)217。 (2) 把待求解的問題也用謂詞公式表示出來，然后將其否定，并與一謂詞ANSWER構(gòu)成析取式。 Classmate(x,y)：x與y是同班同學(xué)。31. 什么是完備的歸結(jié)控制策略？有哪些歸結(jié)控制策略是完備的？ 解：若子句集是不可滿足的，則必存在一個從該子句集到空子句的歸結(jié)推理過程的歸結(jié)控制策略是完備的歸結(jié)控制策略。T(x,d) (2) R(c)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} 4)支持集策略：　　　　設(shè)~T(c,f(c))是目標(biāo)公式否定后得到的子句，則支持集歸結(jié)過程如下： (1) ~R(x)218。~Q，~Q218。W，~R218。T(x,d) (2) R(c)218。 解：1)線性歸結(jié)策略： 選取頂子句C0= ~R(x)218。Teacher(z,y) (5) ~Teacher(x,LiWei)218。如果x與y是同班同學(xué)，則x的老師也是y的老師。28. 請寫出利用歸結(jié)原理求解問題答案的步驟。證明：定義謂詞如下： Father(x,y)：x是y的父親。~($y)(D(y)217。($y)(Q(y)217。D(z,f(z)) (3) B(z)218。~B(z)174。(Q(x)217。L(x,y)))G：(x)(R(x)174。Q(y)解：首先將F1和~G化為子句集： (1)P(f(a)) (2)Q(f(b)) (3)~P(f(a))218。(Q(a)218。217?！　〗猓涸O(shè)要被證明的定理可用謂詞公式表示如下的形式：　　　　　A1217。Q(x) (2) ~Q(y)218。 Q(x) 218。Q(f(h(y)),a) 218。 ~L(x,y) (2) P(a) (3) ~R(z) 218。Q(x) (2) ~P(y)218。R(a) }解：使用歸結(jié)推理： 設(shè)C1= P(y)218。~Q, ~P218。(Q(a,b,z,f(z),v,f(z,v))218。~R(x,z,w)))解：原式222。Q(x,y)218。(x)(P(x,f(x))218。(x)(y)(~P(x,y)218。（4）消去存在量詞。B代替A174。12. 什么是范式？請寫出前束范式與SKOLEM范式的形式。(5) 取x0=x，t0=f(y)，則 s1=s0{ t0/ x0}=s0{f(y)/ x}={f(y)/x}W1= W0s1={P(f(y),y,f(y))，P(f(y),f(a),f(b))} (3’) W1未合一。(4) 從左到右找不一致集，得D0={f(x)，y}。(3) W0未合一。(2) 令s0=e，W0=W。解：設(shè)E1，E2兩個謂詞公式，其最一般合一置換算法：（1） 令W=｛E1，E2｝。8. 謂詞的永假性和不可滿足性等價嗎？解：根據(jù)永假性和不可滿足性的定義可知，兩者是等價的。Q(z,y) 218。($z)((y)(P(z,y) 217。R(z,y)))，z是受(z)約束的變元；($y)的轄域是(($t)(P(z,t) 218。~R(x,z)))解：(x)的轄域是(~P(x,f(x)) 218。R(x,y))，y是受($y)約束的變元；沒有自由變元。Q(2,2)為T。Q(1,2)為T；x=2時，P(2,1)174。14. 對謂詞指派的真值為：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)=F，Q(2,2)=T，在此解釋下，x=1時，P(1,1)174。Q(2,2)為T。Q(1,2)為F；x=2時，P(2,1)174。10. 對謂詞指派的真值為：P(1,1)=T，P(1,2)=F，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。Q(2,2)為T。Q(1,2)為T；x=2時，P(2,1)174。6. 對謂詞指派的真值為：P(1,1)=T，P(1,2)=F，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(2,2)為F。Q(1,2)為F；x=2時，P(2,1)174。2. 對謂詞指派的真值為：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)=T，Q(2,2)=F，在此解釋下，x=1時，P(1,1)174。謂詞公式的解釋：設(shè)D為謂詞公式P的個體域，若對P中的個體常量、函數(shù)和謂詞按照如下規(guī)定賦值：(1)為每個個體常量指派D中的一個元素；(2)為每個n元函數(shù)指派一個從Dn到D的映射，其中Dn=｛(x1，x2，…，xn)| x1，x2，…，xn 206。 (3)若A和B都是合式公式，則A217。解：項是個體常數(shù)、變量和函數(shù)的統(tǒng)稱。個體域是謂詞個體的集合。（2）用所定義的狀態(tài)描述形式把問題的所有可能的狀態(tài)都表示出來，并確定出問題的初始狀態(tài)集合描述和目標(biāo)狀態(tài)集合描述。（4）定義該類對象的構(gòu)成方法。類是一種抽象機制，是對一組相似對象的抽象。（3）對各層對象的“槽”及“側(cè)面”進行合理的組織安排，避免信息描述的重復(fù)。24. 何謂框架？框架的一般表示形式是什么？　　定義：一種描述所論對象屬性的數(shù)據(jù)結(jié)構(gòu)。豬和羊的屬性是偶蹄和哺乳。鴿子和信鴿的屬性是有翅膀。語義網(wǎng)絡(luò)將基本網(wǎng)元視作一種知識的單位，各個網(wǎng)元之間相互聯(lián)系。組成：規(guī)則庫、綜合數(shù)據(jù)庫和推理機。解：定義謂詞如下：Abroad(x)：x出國留學(xué)。 Eat(x)：x有飯吃。 則語句可表達為：(x)(D(x)174。 Mum(x)：x是菊花。4. 一階謂詞邏輯表示法適合于表示哪種類型的知識？它有哪些特點？解：可以表示事物的狀態(tài)、屬性、概念等事實性的知識，也可以表示事物間具有確定關(guān)系的規(guī)則性知識。10. 什么是以網(wǎng)絡(luò)連接為主的連接機制方法？它有什么特征？解：用硬件模擬人類神經(jīng)網(wǎng)絡(luò)，實現(xiàn)人類智能在機器上的模擬。4. 人工智能的發(fā)展經(jīng)歷了哪幾個階段？解：第一階段：孕育期（1956年以前）；第二階段：人工智能基礎(chǔ)技術(shù)的研究和形成（1956~1970年）；第三階段：發(fā)展和實用化階段（1971~1980年）；第四階段：知識工程和專家系統(tǒng)（1980年至今）。特點：主要體現(xiàn)為感知能力、記憶與思維能力、歸納與演繹能力、學(xué)習(xí)能力以及行為能力。7. 人工智能有哪幾個主要學(xué)派？各自的特點是什么？主要學(xué)派：符號主義和聯(lián)結(jié)主義。特性：相對正確性、不確定性、可表示性和可利用性。步驟：（1）定義謂詞及個體，確定每個謂詞及個體的確切含義；（2）根據(jù)所要表達的事物或概念，為每個謂詞中的變元賦予特定的值；（3）根據(jù)所要表達的知識的語義用適當(dāng)?shù)穆?lián)接符號將各個謂詞聯(lián)接起來，形成謂詞公式。Like(x,Mum(x)))“有的人既喜歡梅花又喜歡菊花”可表達為：($x)(Human(x)217。 Dry(x)：x是干燥的。解：定義謂詞