人工智能復(fù)習(xí)試題和答案

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

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

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

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

5、證明問題的結(jié)論否定，并加入子句集，得到一個(gè)擴(kuò)充的子句集S'。然后設(shè)法檢驗(yàn)子句集S'是否含有空子句，若含有空子句，則表明S'是不可滿足的；若不含有空子句， 則繼續(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表為空，則問題無解，失敗退出；(3)把Open表的第一個(gè)節(jié)點(diǎn)取出放入Closed表，并記該節(jié)點(diǎn)為 n;(4)考察節(jié)點(diǎn)n是否為目標(biāo)節(jié)點(diǎn)。若是，則找到了問題的解，成功退出；(5)若節(jié)點(diǎn)n不可擴(kuò)展，則轉(zhuǎn)第(2)步；

6、(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)的推理過程(1)初始化綜合數(shù)據(jù)庫，即把欲解決問題的已知事實(shí)送入綜合數(shù)據(jù)庫中；(2)檢查規(guī)則庫中是否有

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

8、)若知識(shí)庫中不再有未使用規(guī)則，也說明該問題無解，終止問題求解過程。26 .列出下圖中樹的節(jié)點(diǎn)訪問序列以滿足下面的2個(gè)搜索策略(在所有情況中都選擇最左分枝優(yōu)先訪問)1)深度優(yōu)先搜索；2 )廣度優(yōu)先搜索。(1 )深度優(yōu)先：1,2,5,6,10,11,3712,13,4,8,9(2)廣度優(yōu)先：1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 1327.八數(shù)碼問題。問題的初態(tài)和目標(biāo)狀態(tài)如下圖所示，要求用A*算法解決該問題283I4165初始狀態(tài)12384165目標(biāo)狀態(tài)28.圖4-32是5個(gè)城市的交通圖，城市之間的連線旁邊的數(shù)字是城市之間路程的費(fèi)用。要

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

10、(n i ,n i+1)為節(jié)點(diǎn)ni到ni+1節(jié)點(diǎn)的邊代價(jià)。A城，請(qǐng)找出一條最優(yōu)線路。go其計(jì)算公式為10C122426D25D 22B 84 229E33E 30 D 35，:/I f8 9D 210261820886 HV26r 4 i ，- -> B 6+ EB,- 6.E U9*4 /8 0. c 2- E-9: D J 3 T c-71B10c2 f1 812TD2D27 c 28E23 B 2011178 1283C25 D298；22 D27 BC 19lB 32 C23246_3D2812B31C32B34A 30圖4.32的最小代價(jià)搜索樹可以看出，其最短路經(jīng)是A-C-D-

11、E-B-A精心整理學(xué)習(xí)幫手word完美格式或A-B-E-D-C-A29.設(shè)有如圖4-34其實(shí)，它們是同一條路經(jīng)。的與/或/樹，請(qǐng)分別按和代價(jià)法及最大代價(jià)法求解樹的代價(jià)。t2ti圖4.34習(xí)題4.14的與/或樹解：若按和代價(jià)法，則該解樹的代價(jià)為：h(A)=2+3+2+5+2+1+6=21若按最大代價(jià)法，則該解樹的代價(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 .判斷下列公式是否為可合一，若可合一，則求出其最一般合一。(2)(4)P(a, b)

12、, P(x, y)P(f(x), b), P(y, z)P(f(x), y), P(y, f(b)P(f(y), y, x), P(x, f(a), f(b)(5) P(x, y), P(y, x)解: (2) (5) 5.(1) 可合一，其最一般和一為:可合一，其 可合一，其 不可合一?？珊弦唬渥钜话愫鸵粸?最一般和一為:最一般和一為:(T(T(T解:o- =a/x, b/y =y/f(x), b/z = f(b)/y, b/x= y/x。判斷下列子句集中哪些是不可滿足的:(2)(4)(6)? PVQ, ? Q, P, ? P P VQ , ? PV Q, P V? Q, ? PV ? Q

13、 P(y) V Q(y) ,? P(f(x) V R(a) ? P(x) V Q(x) ,? P(y) V R(y), P(a), S(a),? P(x) V Q(f(x),a) ,? P(h(y) V Q(f(h(y), a)P(x) V Q(x) V R(x) ,? P(y) V R(y), ? Q(a),? S(z) V? R(z)V? P(z)? R(b)word完美格式(2)不可滿足，其歸結(jié)過程為:精心整理學(xué)習(xí)幫手(3)不是不可滿足的，原因是不能由它導(dǎo)出空子句。(4)不可滿足，其歸結(jié)過程略(5)不是不可滿足的，原因是不能由它導(dǎo)出空子句。(6)不可滿足，其歸結(jié)過程略P(x)vQ(x)v

14、R(x)?Q(a)a/x31 .設(shè)已知：(1)如果x是y的父親，y是z的父親，則x是z的祖父；(2)每個(gè)人都有一個(gè)父親。使用歸結(jié)演繹推理證明：對(duì)于某人u, 一定存在一個(gè)人 v, v是u的祖父。解：先定義謂詞F(x,y) : x是y的父親GF(x,z) : x是z的祖父P(x) : x是一個(gè)人再用謂詞把問題描述出來：已知 F1:(已x) ( yy) ( V z)( F(x,y) A F(y,z) 一GF(x,z)F2 : (Vy)(P(x) - F(x,y)求證結(jié)論 G: ( 3 u)(三 v)( P(u) - GF(v,u)然后再將F1, F2和？ G化成子句集：？ F(x,y) V? F(y

15、,z) V GF(x,z)？ P(r) V F(s,r) P(u)? GF(v,u)對(duì)上述擴(kuò)充的子句集，其歸結(jié)推理過程如下：由于導(dǎo)出了空子句，故結(jié)論得證。32 .設(shè)有如下語句，請(qǐng)用相應(yīng)的謂詞公式分別把他們表示出來：(1)有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花解：定義謂詞P(x) : x是人L(x,y) : x 喜歡 y其中，y的個(gè)體域是梅花，菊花。將知識(shí)用謂詞表示為：(三 x )(P(x) - L(x,梅花)V L(x, 菊花)V L(x,梅花)A L(x, 菊花)(2)有人每天下午都去打籃球。解：定義謂詞P(x) : x是人B(x) : x打籃球A(y) : y是下午將知

16、識(shí)用謂詞表示為：(3x )( Vy) (A(y) -B(x)AP(x)(3)新型計(jì)算機(jī)速度又快，存儲(chǔ)容量又大。解：定義謂詞NC(x): x是新型計(jì)算機(jī)F(x) : x速度快B(x) : x容量大將知識(shí)用謂詞表示為：(V x) (NC(x) 一 F(x) A B(x)(4)不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。解：定義謂詞S(x) : x是計(jì)算機(jī)系學(xué)生L(x, pragramming) : x 喜歡編程序U(x,computer) : x使用計(jì)算機(jī)將知識(shí)用謂詞表示為：? ( V x) (S(x) -L(x, pragramming) A U(x,computer)(5)凡是喜歡編程序的人

17、都喜歡計(jì)算機(jī)。解：定義謂詞P(x) : x是人L(x, y) : x 喜歡 y將知識(shí)用謂詞表示為：(-x) (P(x) A L(x,pragramming) 一L(x, computer)33 .機(jī)器人移盒子問題設(shè)在房間，c處有一個(gè)機(jī)器人，a和b處有一張桌子，分別稱為 a桌和b桌，a桌上有 一盒子，如下圖所示，要求機(jī)器人從 c處出發(fā)把盒子從 a桌上拿到b桌上，然后再回到 c 處。請(qǐng)用謂詞邏輯來描述機(jī)器人的行動(dòng)過程。分別定義描述狀態(tài)和動(dòng)作的謂詞 描述狀態(tài)的謂詞：TABLE(x):x是桌子EMPTY(y):y手中是空的AT(y, z):y在 z 處HOLDS(y, w) : y 拿著 w ON(w

18、, x):w在x桌面上變?cè)膫€(gè)體域： x的個(gè)體域是a, by的個(gè)體域是robotz的個(gè)體域是a, b, cw的個(gè)體域是box問題的初始狀態(tài)：AT(robot, c)EMPTY(robot) ON(box, a) TABLE(a)TABLE(b)問題的目標(biāo)狀態(tài)：AT(robot, c)EMPTY(robot)ON(box, b)TABLE(a)TABLE(b)機(jī)器人行動(dòng)的目標(biāo)把問題的初始狀態(tài)轉(zhuǎn)換為目標(biāo)狀態(tài)，而要實(shí)現(xiàn)問題狀態(tài)的轉(zhuǎn)換需要 完成一系列的操作需要定義的操作：Goto(x, y):從x處走到y(tǒng)處。Pickup(x):在x處拿起盒子。Setdown(x) :在x處放下盒子各操作的條件和動(dòng)作：

19、Goto(x , y)條件：AT(robot , x)動(dòng)作：刪除表：AT(robot , x)添加表：AT(robot , y)Pickup(x)條件：ON(box, x) , TABLE(x), AT(robot , x) , EMPTY(robot)動(dòng)作：刪除表： EMPTY(robot) , ON(box, x)添加表：HOLDS(robot, box)Setdown(x)條件：AT(robot , x) , TABLE(x), HOLDS(robot, box)動(dòng)作：刪除表： HOLDS(robot, box)添加表：EMPTY(robot) , ON(box, x)這個(gè)機(jī)器人行動(dòng)規(guī)劃

20、問題的求解過程如下：狀態(tài)1(初始狀態(tài))AT(robot, c)開始 EMPTY(robot)=> ON(box, a)TABLE(a)TABLE(b)狀態(tài)2AT(robot, a)Goto(c, a) EMPTY(robot)=> ON(box, a)TABLE(a)TABLE(b)狀態(tài)3AT(robot, a)Pickup(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)Setdown(b

21、) 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) TABLE(b)34 .用謂詞表示法求解機(jī)器人摞積木問題。設(shè)機(jī)器人有一只機(jī)械手，要處理的世界有一張桌子，桌上可堆放若干相同的方積木塊。機(jī)械手有4個(gè)操作積木的典型動(dòng)作：從桌上揀起一塊積木；將手中的積木放到桌之上；在積木上再摞上一塊積木；從積木上面揀起一塊 積木。積木世界的布局如下圖所示。圖機(jī)器人摞積木問題解：(1)先定義描述狀態(tài)的謂詞CLEAR(x):積木x上

22、面是空的。ON(x, y):積木x在積木y的上面。ONTABLE(x):積木x在桌子上。HOLDING(x):機(jī)械手抓住 x。HANDEMPT WL械手是空的。其中，x和y的個(gè)體域都是A, B, C。問題的初始狀態(tài)是：ONTABLE(A)ONTABLE(B)ON(C, A)CLEAR(B)CLEAR(C)HANDEMPTY問題的目標(biāo)狀態(tài)是：ONTABLE(C)ON(B, C)ON(A, B)CLEAR(A)HANDEMPTY(2)再定義描述操作的謂詞在本問題中，機(jī)械手的操作需要定義以下4個(gè)謂詞:Pickup(x):從桌面上揀起一塊積木x。Putdown(x):將手中的積木放到桌面上。Stack

23、(x, y):在積木x上面再摞上一塊積木 y。Upstack(x, y):從積木x上面揀起一塊積木 y。其中，每一個(gè)操作都可分為條件和動(dòng)作兩部分，具體描述如下：Pickup(x)條件：ONTABLE(x), HANDEMPTYCLEAR(x)動(dòng)作：刪除表：ONTABLE(x) HANDEMPTY添加表：HOLDING(x)Putdown(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

24、)添加表：HANDEMPTYON(x, y) , CLEAR(x)Upstack(x, y)條件：HANDEMPTYCLEAR(y) , ON(y,x) 動(dòng)作：刪除表： HANDEMPTYON(y, x)添力口表：HOLDING(y), CLEAR(x)(3) 問題求解過程利用上述謂詞和操作，其求解過程為:ONTABLE(A) ONTABLE(B) ONTABLE(C) CLEAR(A) CLEAR(B) CLEAR(C)HANDEMPTYPickup(B)ONTABLE(A)ONTABLE(B)Upstack(A,C)ON(C, A) 一CLEAR(B)CLEAR(C) HANDEMPTYO

25、NTABLE(A)ONTABLRB) Putdown(C)HOLDING(C)CLEAR(A)CLEAR(B)CLEAR(C)ONTABLE(A)ONTABLE(A)ONTABLE(C) Stack(C,B) ONTABLE(C)HOLDING(B) ：=.ON(B,C)3CLEAR(A冽命題分別寫出它CLEARW 絡(luò):CLEAR(現(xiàn)個(gè)學(xué)生都有一臺(tái)tCLEAR(B)ONTABLE(C)Stack(B,A)Pickup(A)j -)CLEAR(A) CLEAR(B) HOLDING(AONTABLE(C)ON(B,C)ON(A,B) CLEAR(A) HANDEMPTCLEAR(C)HANDEM

26、PT解：35 .請(qǐng)對(duì)下列命題分別寫出它們的語義網(wǎng)絡(luò):(2)高老師從3月到7月給計(jì)算機(jī)系學(xué)生講計(jì)算機(jī)網(wǎng)絡(luò)課。解：(5)紅隊(duì)與藍(lán)隊(duì)進(jìn)行足球比賽，最后以3: 2的比分結(jié)束。解：36.請(qǐng)把下列命題用一個(gè)語義網(wǎng)絡(luò)表不出來:(i)樹和草都是植物；解：(2)樹和草都有葉和根;解:(3)水草是草，且生長(zhǎng)在水中;解：(4)果樹是樹，且會(huì)結(jié)果;解：(5)梨樹是果樹中的一種，它會(huì)結(jié)梨。解：37 .用語義網(wǎng)絡(luò)表示：動(dòng)物能運(yùn)動(dòng)、會(huì)吃。鳥是一種動(dòng)物，鳥有翅膀、會(huì)飛。魚是一種動(dòng)物，魚生活在水中、會(huì)游泳。38 .假設(shè)有以下一段天氣預(yù)報(bào)：“北京地區(qū)今天白天晴，偏北風(fēng) 3級(jí)，最高氣溫12o ,最低 氣溫-2o ,降水概率15%”

27、請(qǐng)用框架表示這一知識(shí)。解：FrameKr預(yù)報(bào) >地域：北京時(shí)段：今天白天天氣：晴風(fēng)向：偏北風(fēng)力：3級(jí)氣溫：最高：12度最低：-2度降水概率：15%39 .按“師生框架”、“教師框架”、“學(xué)生框架”的形式寫出一個(gè)框架系統(tǒng)的描述。 解：師生框架Frame <Teachers-Students>Name : Unit (Last-name , First-name )Sex : Area (male, female)Default : maleAge : Unit (Years)Telephone : Home Unit (Number)Mobile Unit( Number)教師

28、框架FrameTeachers >AKO<Teachers-Students >Major: Unit ( Major-Name)Lectures : Unit (Course-Name)Field: Unit (Field-Name )Project : Area (National , Provincial , Other)Default: ProvincialPaper : Area (SCI, EI, Core , General )Default : Core學(xué)生框架FrameStudentsAKO< Teachers-Students >Major :

29、 Unit ( Major-Name)Classes : Unit (Classes-Name)Degree : Area (doctor , mastor, bachelor )Default : bachelor40 .設(shè)有如下一段知識(shí)：“張、王和李都屬于高山協(xié)會(huì)。該協(xié)會(huì)的每個(gè)成員不是滑雪運(yùn)動(dòng)員，就是登山運(yùn)動(dòng)員，其中不喜歡雨的運(yùn)動(dòng)員是登山運(yùn)動(dòng)員，不喜歡雪的運(yùn)動(dòng)員不是滑雪運(yùn)動(dòng)員。王不喜歡張所喜歡的一切東西，而喜歡張所不喜歡的一切東西。張喜歡雨和雪?！痹囉弥^詞公式集合表示這段知識(shí)，這些謂詞公式要適合一個(gè)逆向的基于規(guī)則的演繹系統(tǒng)。試說明這樣一個(gè)系統(tǒng)怎樣才能回答問題：“高山俱樂部中有沒有一個(gè)成員，

30、他是一個(gè)登山運(yùn)動(dòng)員，但不是一個(gè)滑雪運(yùn)動(dòng)員？”解：(1)先定義謂詞A(x)表示x是高山協(xié)會(huì)會(huì)員S(x)表示x是滑雪運(yùn)動(dòng)員C(x)表示x是登山運(yùn)動(dòng)員L(x,y) 表示 x 喜歡 y(2)將問題用謂詞表示出來“張、王和李都屬于高山協(xié)會(huì)A(Zhang) A A(Wang) A A(Li)高山協(xié)會(huì)的每個(gè)成員不是滑雪運(yùn)動(dòng)員，就是登山運(yùn)動(dòng)員(Vx)(A(x) A? S(x) C(x)高山協(xié)會(huì)中不喜歡雨的運(yùn)動(dòng)員是登山運(yùn)動(dòng)員(Vx)( ? L(x, Rain) -C(x)高山協(xié)會(huì)中不喜歡雪的運(yùn)動(dòng)員不是滑雪運(yùn)動(dòng)員(Vx)( ? L(x, Snow) 一？ S(x)王不喜歡張所喜歡的一切東西(Vy)( L(Zhan

31、g, y) 一？ L(Wang ,y)王喜歡張所不喜歡的一切東西(Vy)( ? L(Zhang, y) f L(Wang, y)張喜歡雨和雪L(Zhang , Rain) A L(Zhang , Snow)(3)將問題要求的答案用謂詞表示出來高山俱樂部中有沒有一個(gè)成員，他是一個(gè)登山運(yùn)動(dòng)員，但不是一個(gè)滑雪運(yùn)動(dòng)員？(3x)( A(x) 一C(x) A? S(x)(4) 為了進(jìn)行推理，把問題劃分為已知事實(shí)和規(guī)則兩大部分。假設(shè)，劃分如下：已知事實(shí)：A(Zhang) A A(Wang) A A(Li)L(Zhang , Rain) A L(Zhang , Snow)規(guī)則：(V x)(A(x) A ? S

32、(x) C(x)(Vx)( ? L(x, Rain) -C(x)(Vx)( ? L(x, Snow) 一？ S(x)(V y)( L(Zhang, y) 一？ L(Wang ,y)(Vy)( ? L(Zhang, y) f L(Wang, y)(5) 把已知事實(shí)、規(guī)則和目標(biāo)化成推理所需要的形式事實(shí)已經(jīng)是文字的合取形式：word完美格式f i: 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) C(x)r2： ? L(x, Rain) 一 C(x)%: ? L(x, Snow) 一？ S(x)r4： L(Zhang, y)一？ L(Wang ,y)r5： ? L(Zhang, y) fL(Wang , y)將目標(biāo)公式轉(zhuǎn)換為與/或形式? A(x) V (C(x) A ? S(x)(6