人工智能--大題解析

1、人工智能大題參考一、人工智能的研究目標(biāo)（近期目標(biāo)，遠(yuǎn)期目標(biāo)）二、人工智能的研究意義。三、廣度優(yōu)先搜索與深度優(yōu)先搜尋的區(qū)別與聯(lián)系四、刪除策略為什么要?jiǎng)h除五、函數(shù)與謂詞的區(qū)別六、語義網(wǎng)絡(luò)所描述的事物之間的關(guān)系七、課本第111頁例題5.23 （求解問題答案）第125頁習(xí)題5 （謂詞公示表達(dá)） 第102頁例題5.7 （求子句集的8個(gè)步驟）第85頁習(xí)題14 （函數(shù)與搜索樹）第146 頁 圖713 （謂詞公式的語義網(wǎng)絡(luò)）第138139頁幾個(gè)框架例子第75頁例題3.17（解樹與或圖）人工智能大題參考一、人工智能的研究目標(biāo)（近期目標(biāo)，遠(yuǎn)期目標(biāo)）答：近期目標(biāo)：先部分地或某種程度的實(shí)現(xiàn)機(jī)器的智能，使其能解決各種實(shí)

2、際問題特別是工程問題，從而 使現(xiàn)有的計(jì)算機(jī)更靈活，更好使和更好用，成為人類的智能信息處理工具。遠(yuǎn)期目標(biāo)：制造智能機(jī)器和智 能系統(tǒng)，實(shí)現(xiàn)智能化社會。二、人工智能的研究意義。答:使當(dāng)前的電腦更好用，更有用，以擴(kuò)大和延伸人類智能是當(dāng)前信息化社會的迫切要求有益于探索 人類自身智能的奧秘智能化也是自動化發(fā)展的必然趨勢|三、廣度優(yōu)先搜索與深度優(yōu)先搜尋的區(qū)別與聯(lián)系區(qū)別：廣度優(yōu)先搜索是以初始節(jié)點(diǎn)為根節(jié)點(diǎn)，向下逐漸擴(kuò)展，即自頂向下一層一層逐漸 生成。深度優(yōu)先 搜尋是在每一層始終只擴(kuò)展一個(gè)節(jié)點(diǎn)，不斷向深處前進(jìn)，直到不能再前進(jìn)時(shí)，才返回當(dāng)前節(jié)點(diǎn)的上級節(jié)點(diǎn)， 沿另一方向前進(jìn)。即從樹根開始一枝一枝逐漸形成。聯(lián)系：廣度優(yōu)

3、先搜索與深度優(yōu)先搜尋都是樹式窮舉搜索，同時(shí)也是最基本的樹式搜索策略。四、刪除策略為什么要?jiǎng)h除刪除策略：在歸結(jié)過程中可隨時(shí)刪除以下子句：含有純文字的子句含有永真式的子句被字句集中 別的字句類包含的子句。刪除策略的思想是及早刪除無用子句，以避免無效歸結(jié)，縮小搜索規(guī)模，并盡量使歸結(jié)式朝小方向發(fā)展， 從而盡快導(dǎo)出空子句。五、函數(shù)與謂詞的區(qū)別謂詞代表語句，結(jié)果是關(guān)系（具有真假值）；函數(shù)代表關(guān)系運(yùn)算，結(jié)果是一個(gè)新個(gè)體。六、語義網(wǎng)絡(luò)所描述的事物之間的關(guān)系（1）實(shí)際關(guān)系（2）分類關(guān)系（3）組裝關(guān)系（4）屬性關(guān)系（5）集合與成員關(guān)系（6）邏輯關(guān)系（7）方位 關(guān)系（8）所屬關(guān)系七、課本第111頁 例題5.23 （

4、求解問題答案）已知：（1）如果x和y是同班同學(xué)，則x的老師也是y的老師。（2 ）王先生是小李的老師。（3）小李和小張是同班同學(xué)。問：小張的老師是誰？解 設(shè)謂詞T(x,y)表示x是y的老師，C(x,y)表示x與y是同班同學(xué)，則已知可表示成如下的謂詞公式:F1:x y z(C(x,y) AT(z,x) 一T(z,y)F2:T(Wang,Li)F3:C(Li,Zhang)為了得到問題的答案，我們先證明小張的老師是存在的，即證明公式:G: x T(x,Zhang)于是，求F1AF2AF3AG的子句集如下:C(x,y) V T(z,x) VT(z,y)T(Wang,Li)C(Li,Zhang)T(u,Z

5、hang)歸結(jié)演繹，得口C(Li,y) VT(Wang,y)由(1),(2),Wang/z,Li/xC(Li,Zhang)由(4),(5),Wang/u,Zhang/y由(3),(6)小張的老師確實(shí)是存在的。那么， 謂詞ANS(u)。于是，得到這說明為了找到這位老師，我們給原來的求證謂詞的子句再增加一個(gè)(4) T(u,Zhang)VANS(u)現(xiàn)在，我們用(4)代替(4)，重新進(jìn)行歸結(jié)則得(5)C(Li,y) VT(Wang,y)由(1)(2)(6)C(Li,Zhang) VANS(Wang)由(4)(5)(7)ANS(Wang)由(3)(6)第125頁習(xí)題5(謂詞公示表達(dá))設(shè)謂詞M(y):y

6、是清潔的東西；N(x): x是人；H(x，y): x喜歡y； a是蒼蠅。結(jié)論：一 M(a)。則已知可 表示成如下的謂詞公式：F1： 3 x V y (M(y) f H(x,y)F2： : H(x,a)G： M(a)于是求F1AF2 G的子句集如下:M(a) VH(f(y),y)H(x,a)M(a)H(f(y),a)口由(2),(4)第102頁 例題5.7 (求子句集的8個(gè)步驟) 例5.7求下面謂詞公式的子句集x yP(x,y) 一 y Q(x,y) 一R(x,y) 解由步得x yP(x,y)Vy Q(x,y) VR(x,y) 由步得x yP(x,y) Vy Q(x,y) A R(x,y) 由步

7、(3)得 x yP(x,y) Vz Q(x,z) A R(x,z) 由步得xr P(x,f(x) VQ(x,g(x) A R(x,g(x) 由步(5)得 P(x,f(x) VQ(x,g(x) A R(x,g(x)由步得 P(x,f(x) VQ(x,g(x) P(x,f(x)V R(x,g(x)由步得 P(x,f(x) VQ(x,g(x) P(y,f(y)V R(y,g(y)由步得 P(x,f(x) VQ(x,g(x), P(y,f(y) V R(y,g(y)或 P(x,f(x) VQ(x,g(x) P(y,f(y) VR(y,g(y)為原謂詞公式的子句集。第85頁習(xí)題14 (函數(shù)與搜索樹)14

8、.傳教士和野人問題。有三個(gè)傳教士和三個(gè)野人一起來到河邊準(zhǔn)備渡河，河邊有一條空船,且傳教士 和野人都會劃船，但每次最多可供兩人乘渡。河的任何一岸以及船上一旦出現(xiàn)野人人數(shù)超過傳教士人數(shù)， 野人就會把傳教士吃掉。為安全地渡河，傳教士應(yīng)如何規(guī)劃渡河方案？試給出該問題的狀態(tài)圖表示，并用 PROLOG語言編程求解之。若傳教士和野人的數(shù)目均為五人,渡船至多可乘三人，請定義一個(gè)啟發(fā)函數(shù)，并給出相應(yīng)的搜索樹。不會(J 2 D h（L J 0）隹標(biāo)，圖L3M C問題狀態(tài)空間圖(2 2 0) 1(3 3 1)初始，答：1,綜合數(shù)據(jù)庫定義三元組：（m, c, b）其中：5芝，表示傳教士在河左岸的人數(shù)。-C-5，表示野

9、人在河左岸的認(rèn)輸。亡，b=1，表示船在左岸，b=0，表示船在右岸。2，規(guī)則集規(guī)則集可以用兩種方式表示，兩種方法均可。第一種方法：按每次渡河的人數(shù)分別寫出每一個(gè)規(guī)則，共（3 0）、（0 3）、（2 1）、（1 1）、（1 0）、（0 1）、（2 0）、（0 2）八種渡河的可能（其中（xy）表示x個(gè)傳教士和y個(gè)野人上船渡河），因此共有16個(gè)規(guī)則（從第4頁左岸到右岸、右岸到左岸各八個(gè))。注意：這里沒有(12),因?yàn)樵摻M合在船上的傳教士人數(shù)少于野人人數(shù)。規(guī)則集如下：r1：IF(m,c,1)THEN(m-3, c,0)r2：IF(m,c,1)THEN(m, c-3,0)r3：IF(m,c,1)THEN(

10、m-2, c-1, 0)r4：IF(m,c,1)THEN(m-1, c-1, 0)r5：IF(m,c,1)THEN(m-1, c,0)r6：IF(m,c,1)THEN(m, c-1,0)r7：IF(m,c,1)THEN(m-2, c,0)r8：IF(m,c,1)THEN(m, c-2,0)r9 ：IF(m,c,0)THEN(m+3, c, 1)r10：IF(m,c,0)THEN(m, c+3, 1)r11：IF(m,c,0)THEN(m+2, c+1, 1)r12：IF(m,c,0)THEN(m+1, c+1, 1)r13：IF(m,c,0)THEN(m+1, c, 1)r14：IF(m,c,

11、0)THEN(m, c+1, 1)r15：IF(m,c,0)THEN(m+2, c, 1)r16：IF(m,c,0)THEN(m, c+2, 1)第二種方法：將規(guī)則集綜合在一起，簡化表示。規(guī)則集如下：r1: IF (m, c, 1) and 0= j or i=0) THEN (m-i, c-j, 0)r2： IF (m, c, 0) and 0= j or i=0) THEN (m+i, c+j, 1)3,初始狀態(tài):(5, 5, 1)4，結(jié)束狀態(tài):(0, 0, 0) HYPERLINK /view/61e5e9da50e2524de5187efe.html /view/61e5e9da50e

12、2524de5187efe.htmlht,t,p:/comic.sjt,/t,hiics/GD_jsj_003b/t,ext,/cha.pt,er1/xit,i/exam.ht,m第146頁 圖7-13 (謂詞公式的語義網(wǎng)絡(luò))第138139頁 幾個(gè)框架例子 例7.1下面是一個(gè)描述“教師”的框架:框架名：教師類屬:知識分子工作:范圍：（教學(xué)，科研）缺省:教學(xué)性別：（男，女） 學(xué)歷：（中師，高師） 類型：（小學(xué)教師，中學(xué)教師，大學(xué)教師）例7.2下面是一個(gè)描述“大學(xué)教師”的框架：框架名：大學(xué)教師類屬： 教師學(xué)歷：（學(xué)士，碩士，博士）專業(yè)： 學(xué)科專業(yè)職稱：（助教，講師，副教授，教授）外語:語種:范圍：（英，法，日，俄，德，）缺省:英水平：（優(yōu)，良，中，差）缺?。毫祭?.3下面是描述一個(gè)具體教師的框架：框架名：教師-1類屬：大學(xué)教師姓名：李明性別：男年齡：25職業(yè)：教師職稱：助教專業(yè):計(jì)算機(jī)應(yīng)用部門:計(jì)算機(jī)系軟件教研室工作：參加工作時(shí)間：1995年8月工齡:當(dāng)前年份-參加工作年份工資：工資單第75頁例題3.17 （解樹與或圖） 例3.17如圖3-16所示的與或樹，其中包括兩棵解樹，一棵解樹由Qo,A,t1和t2組成；另一棵解樹由 Qo,B,D,G