人工智能復(fù)習(xí)題及答案(同名6660)

1、黑龍江大學(xué)電腦科學(xué)技術(shù)學(xué)院1. 智能智能是一種認(rèn)識(shí)客觀事物和運(yùn)用知識(shí)解決問(wèn)題的綜合能力。2. 什么叫知識(shí)？知識(shí)是人們?cè)诟脑炜陀^世界的實(shí)踐中積累起來(lái)的認(rèn)識(shí)和經(jīng)驗(yàn)3. 確定性推理指推理所使用的知識(shí)和推出的結(jié)論都是可以精確表示的， 其真值要么為真、 要么為假。4. 推理 推理是指按照某種策略從事實(shí)出發(fā)利用知識(shí)推出所需結(jié)論的過(guò)程。5. 不確定性推理 指推理所使用的知識(shí)和推出的結(jié)論可以是不確定的。所謂不確定性是對(duì)非精確性、模 糊型和非完備性的統(tǒng)稱。6. 人工智能 人工智能就是用人工的方法在機(jī)器電腦上實(shí)現(xiàn)的智能，或稱機(jī)器智能7. 搜索是指為了到達(dá)某一目標(biāo)，不斷尋找推理線路，以引導(dǎo)和控制推理，使問(wèn)題得以解決

2、的 過(guò)程。8. 規(guī)劃 是指從某個(gè)特定問(wèn)題狀態(tài)出發(fā)，尋找并建立一個(gè)操作序列，直到求得目標(biāo)狀態(tài)為止的 一個(gè)行動(dòng)過(guò)程的描述。9. 機(jī)器感知 就是要讓電腦具有類(lèi)似于人的感知能力，如視覺(jué)、聽(tīng)覺(jué)、觸覺(jué)、嗅覺(jué)、味覺(jué)10. 模式識(shí)別 是指讓電腦能夠?qū)o定的事務(wù)進(jìn)行鑒別，并把它歸入與其相同或相似的模式中。11. 機(jī)器行為 就是讓電腦能夠具有像人那樣地行動(dòng)和表達(dá)能力，如走、跑、拿、說(shuō)、唱、寫(xiě)畫(huà)等。12. 知識(shí)表示 是對(duì)知識(shí)的描述，即用一組符號(hào)把知識(shí)編碼成電腦可以接受的某種結(jié)構(gòu)。13. 事實(shí)是斷言一個(gè)語(yǔ)言變量的值或斷言多個(gè)語(yǔ)言變量之間關(guān)系的陳述句14. 綜合數(shù)據(jù)庫(kù)存放求解問(wèn)題的各種當(dāng)前信息15. 規(guī)那么庫(kù)用于存放與

3、求解問(wèn)題有關(guān)的所有規(guī)那么的集合16. 人工智能有哪些應(yīng)用？17. 人工智能的研究目標(biāo)遠(yuǎn)期目標(biāo) 揭示人類(lèi)智能的根本機(jī)理，用智能機(jī)器去模擬、延伸和擴(kuò)展人類(lèi)的智能 涉及到腦科學(xué)、認(rèn)知科學(xué)、電腦科學(xué)、系統(tǒng)科學(xué)、控制論等多種學(xué)科，并依賴于它們 的共同開(kāi)展近期目標(biāo) 研究如何使現(xiàn)有的電腦更聰明，即使它能夠運(yùn)用知識(shí)去處理問(wèn)題，能夠模擬人類(lèi)的智 能行為。18. 智能包含哪些能力？(1)感知能力(2)記憶和思維能力(3)學(xué)習(xí)和自適應(yīng)能力(4)行為能力知識(shí)有哪幾種表示方法？(1)一階謂詞邏輯表示法(2)產(chǎn)生式表示法(3)語(yǔ)義網(wǎng)絡(luò)表示法(4)框架表示法(5)過(guò)程表示法20. 演繹推理與歸納推理的區(qū)別 演繹推理是在領(lǐng)域

4、內(nèi)的一般性知識(shí)的前提下，通過(guò)演繹求解一個(gè)具體問(wèn)題或者證 明一個(gè)結(jié)論的正確性。 它所得出的結(jié)論實(shí)際上早已蘊(yùn)含在一般性知識(shí)的前提中， 演繹推理只 不過(guò)是將已有事實(shí)揭露出來(lái)，因此它不能增殖新知識(shí)。歸納推理所推出的結(jié)論是沒(méi)有包含在前提內(nèi)容中的。這種由個(gè)別事物或現(xiàn)象推出 一般性知識(shí)的過(guò)程，是增殖新知識(shí)的過(guò)程。21. 子句集的化簡(jiǎn)的步驟1)消去連接詞n和“?2)減少否認(rèn)符號(hào)的轄域3)對(duì)變?cè)獦?biāo)準(zhǔn)化4)化為前束范式5)消去存在量詞6)化為 Skolem 標(biāo)準(zhǔn)形7)消去全稱量詞8)消去合取詞9)更換變量名稱22. 魯濱遜歸結(jié)原理根本思想首先把欲證明問(wèn)題的結(jié)論否認(rèn)，并參加子句集，得到一個(gè)擴(kuò)充的子句集S'。

5、然后設(shè)法檢驗(yàn)子句集S'是否含有空子句，假設(shè)含有空子句，那么說(shuō)明S'是不可滿足的；假設(shè)不含有空子 句，那么繼續(xù)使用歸結(jié)法， 在子句集中選擇適宜的子句進(jìn)行歸結(jié)， 直至導(dǎo)出空子句或不能繼續(xù) 歸結(jié)為止。23. 全局擇優(yōu)搜索 A 算法描述：(1) 把初始節(jié)點(diǎn) S0 放入 Open 表中， f(S0)=g(S0)+h(S0) ；(2) 如果 Open 表為空，那么問(wèn)題無(wú)解，失敗退出；(3) 把 Open 表的第一個(gè)節(jié)點(diǎn)取出放入 Closed 表，并記該節(jié)點(diǎn)為 n；(4) 考察節(jié)點(diǎn) n 是否為目標(biāo)節(jié)點(diǎn)。假設(shè)是，那么找到了問(wèn)題的解，成功退出；(5) 假設(shè)節(jié)點(diǎn) n 不可擴(kuò)展，那么轉(zhuǎn)第 (2)步；

6、擴(kuò)展節(jié)點(diǎn)n,生成其子節(jié)點(diǎn)ni(i=1,2,，計(jì)算每一個(gè)子節(jié)點(diǎn)的估價(jià)值f(ni)(i=1,2,)并為每一個(gè)子節(jié)點(diǎn)設(shè)置指向父節(jié)點(diǎn)的指針，然后將這些子節(jié)點(diǎn)放入Open表中；(7) 根據(jù)各節(jié)點(diǎn)的估價(jià)函數(shù)值,對(duì) Open 表中的全部節(jié)點(diǎn)按從小到大的順序重新進(jìn)行排序；(8) 轉(zhuǎn)第 (2)步。24. 命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？答：謂詞邏輯比命題邏輯更復(fù)雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對(duì)變量進(jìn)行重命名即變量標(biāo)準(zhǔn)化，而在命題邏輯中的歸結(jié)那么不需要。25. 產(chǎn)生式系統(tǒng)的推理過(guò)程(1) 初始化綜合數(shù)據(jù)庫(kù)，即把欲解決問(wèn)題的事實(shí)送入綜合數(shù)據(jù)庫(kù)中；(2) 檢查規(guī)那么庫(kù)中是否

7、有未使用過(guò)的規(guī)那么，假設(shè)無(wú)轉(zhuǎn)(7)；(3) 檢查規(guī)那么庫(kù)的未使用規(guī)那么中是否有其前提可與綜合數(shù)據(jù)庫(kù)中事實(shí)相匹配的規(guī) 那么，假設(shè)有，形成當(dāng)前可用規(guī)那么集；否那么轉(zhuǎn) (6)；(4) 按照沖突消解策略，從當(dāng)前可用規(guī)那么集中選擇一個(gè)規(guī)那么執(zhí)行，并對(duì)該規(guī)那么作上標(biāo)記。把執(zhí)行該規(guī)那么后所得到的結(jié)論作為新的事實(shí)放入綜合數(shù)據(jù)庫(kù)；如果該規(guī)那么的結(jié)論是一些操作，那么執(zhí)行這些操作；(5) 檢查綜合數(shù)據(jù)庫(kù)中是否包含了該問(wèn)題的解，假設(shè)已包含，說(shuō)明解已求出，問(wèn)題求 解過(guò)程結(jié)束；否那么，轉(zhuǎn)(2)；(6) 當(dāng)規(guī)那么庫(kù)中還有未使用規(guī)那么，但均不能與綜合數(shù)據(jù)庫(kù)中的已有事實(shí)相匹配時(shí)，要求用戶進(jìn)一步提供關(guān)于該問(wèn)題的事實(shí)，假設(shè)能提供，

8、那么轉(zhuǎn)(2);否那么，執(zhí)行下一步；(7) 假設(shè)知識(shí)庫(kù)中不再有未使用規(guī)那么，也說(shuō)明該問(wèn)題無(wú)解，終止問(wèn)題求解過(guò)程。26. 列出以下列圖中樹(shù)的節(jié)點(diǎn)訪問(wèn)序列以滿足下面的2個(gè)搜索策略(在所有情況中都選擇最左分枝優(yōu)先訪問(wèn))1)深度優(yōu)先搜索；答：1深度優(yōu)先：1,2,5,6,10,11,3,7,12,13,4,8,92廣度優(yōu)先：1 , 2 , 3 , 4 ,5 , 6 , 7 , 8 , 9 , 10 , 11, 12 , 13A*算法解決該問(wèn)題27. 八數(shù)碼問(wèn)題。問(wèn)題的初態(tài)和目標(biāo)狀態(tài)如以下列圖所示，要求用28314765初始狀態(tài)12384765目標(biāo)狀態(tài)28. 圖4-32是5個(gè)城市的交通圖，城市之間的連線旁邊

9、的數(shù)字是城市之間路程的費(fèi)用。要求從A城出發(fā)，經(jīng)過(guò)其它各城市一次且僅一次，最后回到A城，請(qǐng)找出一條最優(yōu)線路。解：這個(gè)問(wèn)題又稱為旅行商問(wèn)題travelling salesmanproblem, TSP或貨郎擔(dān)問(wèn)題，是一個(gè)較有普遍性的實(shí)際 應(yīng)用問(wèn)題。根據(jù)數(shù)學(xué)理論，對(duì)n個(gè)城市的旅行商問(wèn)題，其封閉路徑的排列總數(shù)為：(n!)/n=(n-1)!其計(jì)算量相當(dāng)大。例如，當(dāng) n=20時(shí)，要窮舉其所有路徑， 即使用一個(gè)每秒一億次的電腦來(lái)算也需要350年的時(shí)間。因此，對(duì)這類(lèi)問(wèn)題只能用搜索的方法來(lái)解決。以下列圖是對(duì)圖4-32按最小代價(jià)搜索所得到的搜索樹(shù)，樹(shù)中的節(jié)點(diǎn)為城市名稱，節(jié)點(diǎn)邊上的數(shù)字為該節(jié)點(diǎn)的代價(jià)g。其計(jì)算公式為

10、g( ni+1)=g( n i )+c( ni, n i+1)c z 8/ J4 E3JD212231D 9 T25E I 卩 9d8 4?一22一 /石c 86283 E048568 8D、 3TC9282012B 321112B 3424626* B 8r296*DrD2849 w- I 6 T B713J厶6 b20;*B2q 6+ E226C3223B 31其中，c(ni,ni+1)為節(jié)點(diǎn)ni到ni+1節(jié)點(diǎn)的邊代價(jià)。A 30A 30圖4.32的最小代價(jià)搜索樹(shù)可以看出，其最短路經(jīng)是A-C-D-E-B-AA-B-E-D-C-A其實(shí)，它們是同一條路經(jīng)。29. 設(shè)有如圖4-34的與/或/樹(shù)，請(qǐng)

11、分別按和代價(jià)法及最大代價(jià)法求解樹(shù)的代價(jià)。ti圖4.34習(xí)題4.14的與/或樹(shù)解：假設(shè)按和代價(jià)法，那么該解樹(shù)的代價(jià)為:h(A)=2+3+2+5+2+1+6=21假設(shè)按最大代價(jià)法，那么該解樹(shù)的代價(jià)為：h(A)=maxh(B)+5, h(C)+6 = max(h(E)+2)+5, h(C)+6 =max(max(2, 3)+2)+5, max(2, 1)+6=max(5+5, 2+6)=1030.判斷以下公式是否為可合一，假設(shè)可合一，那么求出其最一般合一。(1)P(a, b), P(x, y)(2)P(f(x), b), P(y, z)(3)P(f(x), y), P(y, f(b)(4)P(f(y

12、), y, x), P(x, f(a), f(b)(5)P(x, y), P(y, x)解: (1)可合一，其最一般和一為=a/x, b/y可合一，其最一般和一為=y/f(x), b/z。 可合一，其最一般和一為= f(b)/y, b/x。不可合一。 可合，其最般和為= y/x o5.判斷以下子句集中哪些是不可滿足的：(1) ?PV Q, ?Q, P, ?P(2) P V Q , ?PV Q, PV?Q, ?PV?Q (3) P(y) V Q(y) , ?P(f(x) V R(a)(4) ?P(x) V Q(x) , ?P(y) V R(y), P(a), S(a), ?S(z) V? R(z

13、)(5) ?P(x) V Q(f(x),a) , ?P(h(y) V Q(f(h(y), a)V? P(z)(6) P(x) V Q(x) V R(x) , ?P(y) V R(y), ?Q(a), ?R(b) 解：(1)不可滿足，其歸結(jié)過(guò)程為：?PVQ?QNIL(2) 不可滿足，其歸結(jié)過(guò)程為:(3) 不是不可滿足的，原因是不能由它導(dǎo)出空子句。(4) 不可滿足，其歸結(jié)過(guò)程略不是不可滿足的，原因是不能由它導(dǎo)出空子句。 不可滿足，其歸結(jié)過(guò)程略P(x)vQ(x)vR(x)?Q(a)31. 設(shè)：(1) 如果x是y的父親，y是z的父親，貝U x是z的祖父；(2) 每個(gè)人都有一個(gè)父親。使用歸結(jié)演繹推理證明

14、：對(duì)于某人U, 定存在一個(gè)人 v, v是U的祖父。解：先定義謂詞F(x,y): x是y的父親GF(x,z): x是z的祖父P(x): x是一個(gè)人再用謂詞把問(wèn)題描述出來(lái)： F1 ： ( x) ( y) (z)( F(x,y) A F(y,z) GF(x,z)F2: (y)(P(x) t F(x,y)求證結(jié)論 G : ( u) (v)( P(u) t GF(v,u)然后再將F1 , F2和？ G化成子句集： ?F(x,y) V?F(y,z) V 申x,z) ?P(r) V F(s,r) P(u) ？GF(v,u)對(duì)上述擴(kuò)充的子句集，其歸結(jié)推理過(guò)程如下：由于導(dǎo)出了空子句，故結(jié)論得證。32. 設(shè)有如下

15、語(yǔ)句，請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來(lái)：(1)有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花 解：定義謂詞P(x): x是人L(x,y) : x 喜歡 y其中，y的個(gè)體域是梅花，菊花。將知識(shí)用謂詞表示為：(x )(P(x) t L(x,梅花)V L(x,菊花)V L(x,梅花)A L(x,菊花)(2)有人每天下午都去打籃球。解：定義謂詞P(x): x是人B(x) : x打籃球A(y) : y是下午將知識(shí)用謂詞表示為:(x )( y) (A(y) T B(x) A P(x)(3) 新型電腦速度又快，存儲(chǔ)容量又大。 解：定義謂詞NC(x) : x是新型電腦F(x): x速度快B(x

16、) : x容量大將知識(shí)用謂詞表示為：(x) (NC(x) t F(x) A B(x)(4) 不是每個(gè)電腦系的學(xué)生都喜歡在電腦上編程序。 解：定義謂詞S(x): x是電腦系學(xué)生L(x, pragramming) : x 喜歡編程序U(x,computer) : x 使用電腦將知識(shí)用謂詞表示為：? ( x) (S(x) tL(x, pragramming) A U(x,computer)(5) 但凡喜歡編程序的人都喜歡電腦。 解：定義謂詞P(x): x是人L(x, y) : x 喜歡 y將知識(shí)用謂詞表示為：(x) (P(x) A L(x,pragramming) t L(x, computer)3

17、3. 機(jī)器人移盒子冋題分別定義描述狀態(tài)和動(dòng)作的謂詞描述狀態(tài)的謂詞：Lfl2 c b設(shè)在房間，c處有一個(gè)機(jī)器人，a和b處有一張桌子，分別稱為 a桌和b桌，a桌上有 一盒子，如以下列圖所示，要求機(jī)器人從 c處出發(fā)把盒子從a桌上拿到b桌上，然后再回到 c 處。請(qǐng)用謂詞邏輯來(lái)描述機(jī)器人的行動(dòng)過(guò)程。TABLE(x) : x 是桌子 EMPTY(y) : y手中是空的 AT(y, z): y 在 z 處 HOLDS(y, w) : y 拿著 w ON(w, x) : w在x桌面上變?cè)膫€(gè)體域：x的個(gè)體域是a, by的個(gè)體域是robot z的個(gè)體域是a, b, cw的個(gè)體域是box 問(wèn)題的初始狀態(tài)：AT(r

18、obot, c)EMPTY(robot)ON(box, a)TABLE (a)TABLE(b)問(wèn)題的目標(biāo)狀態(tài)：AT(robot, c)EMPTY(robot)ON(box, b)TABLE (a)TABLE(b)機(jī)器人行動(dòng)的目標(biāo)把問(wèn)題的初始狀態(tài)轉(zhuǎn)換為目標(biāo)狀態(tài)，而要實(shí)現(xiàn)問(wèn)題狀態(tài)的轉(zhuǎn)換需要 完成一系列的操作需要定義的操作：Goto(x, y):從x處走到y(tǒng)處。 Pickup(x):在x處拿起盒子。Setdow n(x):在x處放下盒子各操作的條件和動(dòng)作:Goto(x， y)條件：AT(robot，x)動(dòng)作：刪除表：AT(robot，x)添加表：AT(robot， y)Pickup(x)條件：ON(

19、box，x)，TABLE(x)，AT(robot，x)，EMPTY(robot) 動(dòng)作：刪除表： EMPTY(robot)，ON(box，x)添加表：HOLDS(robot，box)Setdow n(x)條件：AT(robot，x)，TABLE(x)，HOLDS(robot，box) 動(dòng)作：刪除表： HOLDS(robot，box)添加表：EMPTY(robot)，ON(box，x)這個(gè)機(jī)器人行動(dòng)規(guī)劃問(wèn)題的求解過(guò)程如下：狀態(tài)1(初始狀態(tài))AT(robot, c)開(kāi)始EMPTY(robot)=> ON(box, a)TABLE(a)TABLE(b)狀態(tài)2AT(robot, a)Goto(c

20、, a)Pickup (a)EMPTY(robot)ON(box, a)TABLE (a)TABLE(b)狀態(tài)3AT(robot, a)HOLDS(robot,box)TABLE (a)TABLE(b)狀態(tài)4AT(robot, b)Goto(a, b)>HOLDS(robot,box)TABLE (a)TABLE(b) 狀態(tài)5AT(robot, b)Setdow n(b)>EMPTY(robot)ON(box, b)TABLE (a)TABLE(b)狀態(tài)6( 目標(biāo)狀態(tài))AT(robot, c)Goto(b, c)>EMPTY(robot)ON(box, b)TABLE(a)T

21、ABLE(b)34. 用謂詞表示法求解機(jī)器人摞積木問(wèn)題。設(shè)機(jī)器人有一只機(jī)械手，要處理的世界有一張桌 子，桌上可堆放假設(shè)干相同的方積木塊。機(jī)械手有4個(gè)操作積木的典型動(dòng)作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一 塊積木。積木世界的布局如以下列圖所示。圖機(jī)器人摞積木問(wèn)題解：(1)先定義描述狀態(tài)的謂詞CLEAR(x):積木x上面是空的。ON(x, y):積木x在積木y的上面。ONTABLE(x):積木x在桌子上。 HOLDING(x):機(jī)械手抓住X。 HANDEMPTY :機(jī)械手是空的。其中，x和y的個(gè)體域都是A, B, C。 問(wèn)題的初始狀態(tài)是：ONTAB

22、LE(A)ONTABLE(B)ON(C, A)CLEAR(B)CLEAR(C)HANDEMPTY問(wèn)題的目標(biāo)狀態(tài)是：ONTABLE(C)ON(B, C)ON(A, B)CLEAR(A)HANDEMPTY(2) 再定義描述操作的謂詞在本問(wèn)題中，機(jī)械手的操作需要定義以下4個(gè)謂詞:Pickup(x):從桌面上揀起一塊積木X。Putdown(x):將手中的積木放到桌面上。Stack(x, y):在積木x上面再摞上一塊積木 y。Upstack(x, y):從積木x上面揀起一塊積木 y。其中，每一個(gè)操作都可分為條件和動(dòng)作兩局部，具體描述如下:Pickup(x)條件：ONTABLE(x)，HANDEMPTY

23、，CLEAR(x)動(dòng)作：刪除表：ONTABLE(x)，HANDEMPTY添加表：HOLDING(x)Putdow n(x)條件：HOLDING(x)動(dòng)作：刪除表：HOLDING(x)添加表：ONTABLE(x)，CLEAR(x) ，HANDEMPTY Stack(x, y)條件：CLEAR(y) ，HOLDING(y)動(dòng)作：刪除表：HOLDING(y)，CLEAR(y)添加表：HANDEMPTY ，ON(x, y) ，CLEAR(x)Upstack(x, y)條件：動(dòng)作：刪除表：添加表:(3)問(wèn)題求解過(guò)程 利用上述謂詞和操作,HANDEMPTY ，CLEAR(y) ，ON(y,x)HANDEM

24、PTY ，ON(y, x)其求解過(guò)程為:HOLDING(y) ，CLEAR(x)ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTYUpstack(A,C)ONTABLE(A) ONTABLE(B) HOLDING(C) CLEAR(A) CLEAR(B) CLEAR(C)Putdow n(C)ONTABLE(A)ONTABLE(B) ONTABLE(C)CLEAR(A)CLEAR(B)CLEAR(C) HANDEMPTYPickup(B)ONTABLE(A)ONTABLE(C)HOLDING(B)ONTABLE(A)Stack(

25、C,B) ONTABLE(C):f ON(B,C)3CLEA對(duì)以下命題分別寫(xiě)出它CL的ARA網(wǎng)絡(luò):CLEAR(每個(gè)學(xué)生都有一臺(tái)電CLEAR(B) CLEAR(C)Pickup(A)HANDEMPTONTABLE(C)Stack(B,A)ON(B,C):-CLEAR(A)CLEAR(B)HOLDING(AONTABLE(C)ON(B,C)ON(A,B) CLEAR(A)HANDEMPT解：35請(qǐng)對(duì)以下命題分別寫(xiě)出它們的語(yǔ)義網(wǎng)絡(luò): (1)每個(gè)學(xué)生都有一臺(tái)電腦。(2) 高老師從3月到7月給電腦系學(xué)生講?電腦網(wǎng)絡(luò)?課。 解：ISA老師v(5) 紅隊(duì)與藍(lán)隊(duì)進(jìn)行足球比賽，最后以 3： 2的比分結(jié)束。解：3

26、6. 請(qǐng)把以下命題用一個(gè)語(yǔ)義網(wǎng)絡(luò)表示出來(lái):(1) 樹(shù)和草都是植物;解:樹(shù)草樹(shù)和草都有葉和根;解:(3) 水草是草，且生長(zhǎng)在水中;解：(4) 果樹(shù)是樹(shù)，且會(huì)結(jié)果; 解：(5) 梨樹(shù)是果樹(shù)中的一種，它會(huì)結(jié)梨。 解：37. 用語(yǔ)義網(wǎng)絡(luò)表示：動(dòng)物能運(yùn)動(dòng)、會(huì)吃。鳥(niǎo)是一種動(dòng)物，鳥(niǎo)有翅膀、會(huì)飛。魚(yú)是一種動(dòng)物，魚(yú)生活在水中、會(huì)游泳。38. 假設(shè)有以下一段天氣預(yù)報(bào)：“北京地區(qū)今天白天晴，偏北風(fēng) 3級(jí)，最高氣溫12。，最低氣溫-2。，降水概率15% 請(qǐng)用框架表示這一知識(shí)。解：Frame天氣預(yù)報(bào)地域北京時(shí)段今天白天天氣晴風(fēng)向偏北風(fēng)力3級(jí)氣溫最高：12度最低：-2度降水概率：15%39. 按“師生框架、“教師框架、“

27、學(xué)生框架的形式寫(xiě)出一個(gè)框架系統(tǒng)的描述。 解：師生框架Frame <Teachers-Stude nts>Name： UnitLast-name， First-nameSex： Areamale， femaleDefault: maleAge: UnitYearsTeleph one： Home Un it NumberMobile Un it Number 教師框架Frame <Teachers >AKO<Teachers-Stude nts >Major: Un it Major-NameLectures: Unit Course-NameField :

28、Un it Field-NameProject : AreaNational， Provincial， OtherDefault: ProvincialPaper： Area SCI， El， Core， GeneralDefault: Core學(xué)生框架Frame <Stude nts>AKO< Teachers-Stude nts >Major: Un it Major-NameClasses： Un it Classes-NameDegree： Areadoctor， mastor, bachelorDefault: bachelor40. 設(shè)有如下一段知識(shí)： “張

29、、王和李都屬于高山協(xié)會(huì)。該協(xié)會(huì)的每個(gè)成員不是滑雪運(yùn)發(fā)動(dòng)，就是登山運(yùn)發(fā)動(dòng)， 其中不喜歡雨的運(yùn)發(fā)動(dòng)是登山運(yùn)發(fā)動(dòng)， 不喜歡雪的運(yùn)發(fā)動(dòng)不是滑雪運(yùn)發(fā)動(dòng)。 王不喜歡張所喜 歡的一切東西，而喜歡張所不喜歡的一切東西。張喜歡雨和雪。 試用謂詞公式集合表示這段知識(shí)，這些謂詞公式要適合一個(gè)逆向的基于規(guī)那么的演繹系 統(tǒng)。試說(shuō)明這樣一個(gè)系統(tǒng)怎樣才能答復(fù)以下問(wèn)題：“高山俱樂(lè)部中有沒(méi)有一個(gè)成員，他是一個(gè)登山運(yùn)發(fā)動(dòng)，但不是一個(gè)滑雪運(yùn)發(fā)動(dòng)？ 解： (1) 先定義謂詞A(x) 表示 x 是高山協(xié)會(huì)會(huì)員S(x) 表示 x 是滑雪運(yùn)發(fā)動(dòng)C(x) 表示 x 是登山運(yùn)發(fā)動(dòng)L(x,y) 表示 x 喜歡 y(2) 將問(wèn)題用謂詞表示出來(lái) “

30、張、王和李都屬于高山協(xié)會(huì)A(Zhang) A A(Wang) A A(Li) 高山協(xié)會(huì)的每個(gè)成員不是滑雪運(yùn)發(fā)動(dòng)，就是登山運(yùn)發(fā)動(dòng)(x)(A(x) A?S(x) tC(x) 高山協(xié)會(huì)中不喜歡雨的運(yùn)發(fā)動(dòng)是登山運(yùn)發(fā)動(dòng)(x)(?L(x, Rain) tC(x)高山協(xié)會(huì)中不喜歡雪的運(yùn)發(fā)動(dòng)不是滑雪運(yùn)發(fā)動(dòng)(x)(?L(x, Snow) t? S(x)王不喜歡張所喜歡的一切東西(y)( L(Zhang, y) t? L(Wang ,y)王喜歡張所不喜歡的一切東西(y)(? L(Zhang, y)tL(Wang, y)張喜歡雨和雪L(Zhang , Rain) A L(Zhang , Snow)(3) 將問(wèn)題要求

31、的答案用謂詞表示出來(lái) 高山俱樂(lè)部中有沒(méi)有一個(gè)成員，他是一個(gè)登山運(yùn)發(fā)動(dòng)，但不是一個(gè)滑雪運(yùn)發(fā)動(dòng)？( x)( A(x) tC(x)A? S(x)(4) 為了進(jìn)行推理，把問(wèn)題劃分為事實(shí)和規(guī)那么兩大局部。假設(shè)，劃分如下： 事實(shí)：A(Zhang)A A(Wang)A A(Li)L(Zhang , Rain) A L(Zhang , Snow) 規(guī)那么：(x)(A(x) A? S(x)tC(x)(x)(?L(x, Rain) tC(x)(x)(?L(x, Snow) t? S(x)(y)( L(Zhang, y) t? L(Wang ,y)(y)(? L(Zhang, y)tL(Wang, y)(5) 把事實(shí)、規(guī)那么和目標(biāo)化成推理所需要的形式 事實(shí)已經(jīng)是文字的合取形式：fi： A(Zhang) A A(Wang) A A(Li)f2： L (Zhang , Rain) A L(Zhang , Snow)將規(guī)那么轉(zhuǎn)化為后件為單文字的形式：ri： A(x) A?S(x) t C(x)r2： ?L(x, Rain) t C(x)3： ?L(x, Snow) t? S(x)r4： L(Zhang, y) t? L(Wang ,y)r5： ? L(Zhang, y) t L(Wang , y)將目標(biāo)公式轉(zhuǎn)換為與/或形式?