【正文】 述的重復(fù)。26. 試構(gòu)造一個(gè)描述你的辦公室或臥室的框架系統(tǒng)。　　解：框架名：臥室 墻數(shù)：4 窗數(shù)：1 門數(shù)：1 電腦數(shù)：3 前墻：前墻 門數(shù)：1 插座數(shù)：2 后墻：后墻 窗數(shù)：1 書架數(shù)：1 暖氣片數(shù)：1 左墻：左墻 書架數(shù)：3 右墻：右墻 書架數(shù)：4 插座數(shù)：1 門：門 門前： 鎖：1把 室員表：1張 門后： 值日表：1張 課程表：1張 窗：窗 扇數(shù)：2 窗簾：1副 天花板：天花板 日光燈：1座 蚊帳：4張 地板：地板 性質(zhì)：水泥地 地面： 書桌：1張 電腦桌：1張 凳子：3張 床：4張27. 試寫出“學(xué)生框架”的描述。　　解：框架名：學(xué)生 姓名：溫安平 班級(jí)：24020102 學(xué)號(hào)：2402010214 性別：男 年齡：22 職務(wù)：無(wú) 籍貫：福建龍巖 民族：漢 政治面貌：團(tuán)員28. 框架系統(tǒng)中求解問題的一般過程是什么？　　解：（1）把待求解問題用一個(gè)框架表示出來，其中有的槽是空的，表示待求解的問題，稱作未知處。（2）通過與知識(shí)庫(kù)中已有的框架進(jìn)行匹配。（3）使用一種評(píng)價(jià)方法對(duì)預(yù)先框架進(jìn)行評(píng)價(jià)，以便決定是否接受它。（4）若可接受，則與問題框架的未知處相匹配的事實(shí)就是問題的解。29. 何謂對(duì)象？何謂類？封裝及繼承的含義是什么？　　解：對(duì)象就是由一組數(shù)據(jù)和與該組數(shù)據(jù)相關(guān)的操作構(gòu)成的封裝體或?qū)嶓w。類是一種抽象機(jī)制，是對(duì)一組相似對(duì)象的抽象。繼承就是一個(gè)類擁有另一個(gè)類的全部變量和屬性。封裝就是把一切局部于對(duì)象的信息及操作都局限于對(duì)象之內(nèi)。30. 面向?qū)ο蟮幕咎卣魇鞘裁矗俊　〗猓撼橄笮?、封裝性、繼承性和多態(tài)性。31. 請(qǐng)寫出用面向?qū)ο蟊硎痉ū硎局R(shí)的步驟?！　〗猓海?）定義類名，在系統(tǒng)中唯一標(biāo)識(shí)該類。（2）指出當(dāng)前定義類的父類（可省略）。（3）定義全局變量。（4）定義該類對(duì)象的構(gòu)成方法。（5）定義對(duì)類元素可施行的操作。（6）指出該類元素所應(yīng)滿足的限制條件。32. 什么是狀態(tài)空間？狀態(tài)空間是怎樣構(gòu)成的?如何表示狀態(tài)空間？　　定義：表示一個(gè)問題的全部狀態(tài)及一切可用算符構(gòu)成的集合?！　?gòu)成：?jiǎn)栴}的所有可能初始狀態(tài)構(gòu)成的集合S；算符集合F；目標(biāo)狀態(tài)集合G?！　顟B(tài)空間用一個(gè)三元組（S，F(xiàn)，G）來表示。33. 請(qǐng)寫出用狀態(tài)空間表示法表示問題的一般步驟。　　解：（1）定義狀態(tài)的描述形式。（2）用所定義的狀態(tài)描述形式把問題的所有可能的狀態(tài)都表示出來，并確定出問題的初始狀態(tài)集合描述和目標(biāo)狀態(tài)集合描述。（3）定義一組算符，使得利用這組算符可把問題由一種狀態(tài)轉(zhuǎn)變?yōu)榱硪环N狀態(tài)。習(xí)題三1. 什么是命題？請(qǐng)寫出3個(gè)真值為T及真值為F的命題。定義：能夠分辨真假的語(yǔ)句。3個(gè)真值為T的命題：太陽(yáng)從東邊升起；地球繞著太陽(yáng)轉(zhuǎn)；人是高級(jí)動(dòng)物。3個(gè)真值為F的命題：太陽(yáng)從西邊升起；瞎子看得見；太陽(yáng)繞著地球轉(zhuǎn)。2. 什么是謂詞？什么是謂詞個(gè)體及個(gè)體域？函數(shù)與謂詞的區(qū)別是什么？解：謂詞是用于刻畫個(gè)體的性質(zhì)、狀態(tài)或個(gè)體間關(guān)系語(yǔ)句片斷。謂詞個(gè)體是可以獨(dú)立存在的物體。個(gè)體域是謂詞個(gè)體的集合。區(qū)別：謂詞具有邏輯值“真”或“假”，而函數(shù)是自變量到因變量之間的一個(gè)映射。3. 謂詞邏輯和命題邏輯的關(guān)系如何？有何異同？解：謂詞邏輯是命題邏輯的擴(kuò)充與發(fā)展，它將一個(gè)原子命題分解成謂詞與個(gè)體兩部分。命題邏輯是謂詞邏輯的基礎(chǔ)，是謂詞邏輯的一種特殊形式。不同點(diǎn)：命題邏輯不能描述不同事物的共同特征，而謂詞邏輯可以。命題邏輯中可以直接通過真值指派給出解釋，而謂詞邏輯不行。相同點(diǎn)：歸結(jié)原理都是完備的，都可以用來表示事實(shí)性知識(shí)。4. 什么是謂詞的項(xiàng)？什么是謂詞的階？請(qǐng)寫出謂詞的一般形式。解：項(xiàng)是個(gè)體常數(shù)、變量和函數(shù)的統(tǒng)稱。若謂詞個(gè)體是常量、變?cè)蚝瘮?shù)，則為一階謂詞，若謂詞個(gè)體是一階謂詞，則為二階謂詞，依此類推是為謂詞的階。謂詞的一般形式：P（x1，x2，…，xn），其中P是謂詞，x1，x2，…，xn是個(gè)體。5. 什么是謂詞公式？什么是謂詞公式的解釋？設(shè)D＝｛1,2｝，試給出謂詞公式($x)(y)(P(x,y)174。Q(x,y))的所有解釋，并且對(duì)每一種解釋指出該謂詞公式的真值。解：謂詞公式是按照下述五個(gè)規(guī)則由原子公式、連接詞、量詞及圓括號(hào)所組成的字符串。(1)原子謂詞公式是合式公式。 (2)若A是合式公式，則~A也是合式公式。 (3)若A和B都是合式公式，則A217。B、A218。B、A174。B、A171。B也都是合式公式。 (4)若A是合式公式，x是任一個(gè)體變?cè)?，則(x)A和($x)A也都是合式公式。 (5)只有按(1) 190。 (4)所得的公式才是合式公式。謂詞公式的解釋：設(shè)D為謂詞公式P的個(gè)體域，若對(duì)P中的個(gè)體常量、函數(shù)和謂詞按照如下規(guī)定賦值：(1)為每個(gè)個(gè)體常量指派D中的一個(gè)元素；(2)為每個(gè)n元函數(shù)指派一個(gè)從Dn到D的映射，其中Dn=｛(x1，x2，…，xn)| x1，x2，…，xn 206。D｝ (3)為每個(gè)n元謂詞指派一個(gè)從Dn到{F，T}的映射；則這些指派稱為公式P在D上的解釋。 下面給出本題的所有解釋：1. 對(duì)謂詞指派的真值為：P(1,1)=T，P(1,2)=F，P(2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解釋下，x=1時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為T。2. 對(duì)謂詞指派的真值為：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時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為F。所以在此解釋下，本題謂詞公式的真值為T。3. 對(duì)謂詞指派的真值為：P(1,1)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解釋下，x=1時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為F；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為T。4. 對(duì)謂詞指派的真值為：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時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為F；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為F。所以在此解釋下，本題謂詞公式的真值為F。5. 對(duì)謂詞指派的真值為：P(1,1)=T，P(1,2)=F，P(2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=F，Q(2,2)=T，在此解釋下，x=1時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為F，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為T。6. 對(duì)謂詞指派的真值為：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時(shí)，P(1,1)174。Q(1,1)為F，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為T。7. 對(duì)謂詞指派的真值為：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)=F，Q(2,2)=T，在此解釋下，x=1時(shí)，P(1,1)174。Q(1,1)為F，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為F，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為F。8. 對(duì)謂詞指派的真值為：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時(shí)，P(1,1)174。Q(1,1)為T，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為T。所以在此解釋下，本題謂詞公式的真值為T。9. 對(duì)謂詞指派的真值為：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)=T，Q(2,2)=F，在此解釋下，x=1時(shí)，P(1,1)174。Q(1,1)為F，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q(2,2)為F。所以在此解釋下，本題謂詞公式的真值為F。10. 對(duì)謂詞指派的真值為：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時(shí)，P(1,1)174。Q(1,1)為F，P(1,2)174。Q(1,2)為T；x=2時(shí)，P(2,1)174。Q(2,1)為T，P(2,2)174。Q