人工智能復(fù)習(xí)題庫(kù)3223

#/39i6i6/39（5）趙（）跟隨王買同樣的商品。請(qǐng)應(yīng)用歸結(jié)反演證明方法回答以下問(wèn)題：（1）王買自行車嗎？（2）趙買什么商品？已知一個(gè)使用可信度方法的推理網(wǎng)絡(luò)如圖所示，其證據(jù)的可信度均標(biāo)示在圖中。推理規(guī)則的可信度分別為：AAB-H,0.7CVD-H,0.9E—H,0.3試按照可信度方法的求解步驟計(jì)算每個(gè)證據(jù)節(jié)點(diǎn)對(duì)假設(shè)H推理的可信度，并據(jù)此推算全部證據(jù)（復(fù)合證據(jù)）對(duì)于H推理的可信度。0.30.50.40.20.8求子句R（x,y）V「Q（B,y）VW（x,f（y））和R（x,C）VQ（y,C）的歸結(jié)式。何謂估價(jià)函數(shù)？啟發(fā)式圖搜索的A算法和A*算法最顯著的區(qū)別是什么？什么是置換？置換是可交換的嗎？答：通常用有序?qū)Φ募蟬={til,t22,???，}來(lái)表示任一置換，置換集的元素的含義是表達(dá)式中的變量處處以項(xiàng)來(lái)替換，用s對(duì)表達(dá)式E作置換后的例簡(jiǎn)記為。一般來(lái)說(shuō)，置換是不可交換的，即兩個(gè)置換合成的結(jié)果與置換使用的次序有關(guān)。給1?9九個(gè)數(shù)字排一個(gè)序列，使得該序列的前n個(gè)數(shù)字組成的整數(shù)能被n整除。、討論哪些知識(shí)可以幫助該問(wèn)題的求解。、用產(chǎn)生式系統(tǒng)描述該問(wèn)題.答；如下的知識(shí)可以幫助求解該問(wèn)題：序列中，偶數(shù)在偶數(shù)位置，奇數(shù)在奇數(shù)位置；第五個(gè)數(shù)為5。綜合數(shù)據(jù)庫(kù)：用一個(gè)1到9的序列表示：N二{x},其中x為1到9的數(shù)字之一。規(guī)則集：r1:(N)=4{x}U{5}r2:(N)為偶數(shù)(1,3,7,9){x}U{n}r3:(N)為奇數(shù)(2,4,6,8){x}U{n}其中(N)為求序列的長(zhǎng)度，(a,b,c,d)為取a、b、c、d之一。初始狀態(tài)：{}結(jié)束條件：得到的序列N前i個(gè)數(shù)組成的整數(shù)能被i整除.a—B剪枝的條件是什么？答：a剪枝：若任一極小值層節(jié)點(diǎn)的B值小于或等于它任一先輩極大值節(jié)點(diǎn)的a值，即a(先輩層)2B(后繼層)，則可中止該極小值層中這個(gè)節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)節(jié)點(diǎn)最終的倒推值就確定為這個(gè)B值。B剪枝：若任一極大值層節(jié)點(diǎn)的a值大于或等于它任一先輩極小值層節(jié)點(diǎn)的B值，即a(后繼層)2B(先輩層)，則可以中止該極大值層中這個(gè)節(jié)點(diǎn)以下的搜索過(guò)程。這個(gè)節(jié)點(diǎn)的最終倒推值就確定為這個(gè)a值。28、人工智能主要有哪幾種研究途徑和技術(shù)方法，簡(jiǎn)單說(shuō)明之。答:(1)符號(hào)智能：主要以符號(hào)知識(shí)為基礎(chǔ)，通過(guò)符號(hào)推理進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，主要包括知識(shí)工程和符號(hào)處理技術(shù)；(2)計(jì)算智能：是以數(shù)據(jù)計(jì)算為基礎(chǔ)，通過(guò)數(shù)值計(jì)算進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能，包括人工神經(jīng)網(wǎng)絡(luò)，進(jìn)化計(jì)算，模糊技術(shù)等。三、1、(1)將下列謂詞公式化成子句集3xVy(vz(P(z)a?Q(x,z))TR(x,y,f(a)))答：3xVy(Vz(P(z)a?Q(x,z))TR(x,y,fC)))3xVy(qVz(P(z)a「Qx,z))vR(x,y,f(a)))3xVy(3z(~P(z)vQ(x,z))vR(x,y,f(a)))Vy6z(?P(z)vQ(b,z))vR(b,y,f(a)))Vy((~P(g(y)vQ(b,g(y)))vR(b,y,f(a)))P(g(y))vQ(b,g(y)vR(b,y,f(a))}(2)把下列謂詞公式分別化成相應(yīng)的子句集：x(()-?y(Q()-R()))解：VxW()f?VygOfROHWxW()fmy?(?Q()VR()))>xb()fmy(Q()A~R()))〉&x(~^()^y(Q()A~R()))〉^x(my?P()V^y(Q()人?R()))改名)〉bx(my~P()Vmz(Q()A~R()))〉\/x(my?p()Vmz(Q()A?R()))(x)(x)消去存在量詞〉Hx(~P((x))V(Q((x))A~R((x))))〉&x((~P((x))V(Q((x))A(~P((x))V~R((x))))從而謂詞公式的子句集是{?P((x))V(Q((x)~P((x))V~R((x)))若謂詞公式((y)),置換si二{f()},s2={},求E(sl?s2),E(s2?sl)。用加權(quán)圖的啟發(fā)式搜索算法(不能用算法)求解下列問(wèn)題：下圖是一個(gè)交通圖，設(shè)A是出發(fā)地，E是目的地，邊上的數(shù)字表示兩城市之間的交通費(fèi)。求從A到E最小費(fèi)用的旅行路線，畫出搜索樹，畫出表和表的變化過(guò)程。用標(biāo)準(zhǔn)邏輯（經(jīng)典邏輯，謂詞邏輯）的子句集表示下述刑偵知識(shí)，并用反演歸解的線性策略證明結(jié)論現(xiàn)定義如下謂詞（其項(xiàng)變量X,Y，Z，皆為全稱量詞）。(X)某人X是賊；()某人X喜歡某物Y；()某人X可能會(huì)偷竊某物Y。用子句集表達(dá)下述刑偵知識(shí)：是賊。.喜歡酒().(也)喜歡奶酪().如果喜歡某物則也喜歡某物。V.如果某人是賊，而且他喜歡某物，則他就可能會(huì)偷竊該物。求證結(jié)論可能會(huì)偷竊了什么？即求證目標(biāo)：(),?(要求將求證目標(biāo)作為頂子句，按線性策略進(jìn)行歸結(jié)推理，注明每次求歸結(jié)式所進(jìn)行的置換及其父子句的編號(hào))(1)已知一組規(guī)則和證據(jù)(事實(shí))：R1：Al—Bl(B1,A1)=0.8R2：A2—B1(B1,A2)=0.5R3：B1AA3->B2,(B2,B1AA3)=0.8初始證據(jù)Al,A2,A3,并且(A1)(A2)(A3)=1,并且初始時(shí)對(duì)Bl,B2—無(wú)所知。根據(jù)的確定性理論(可信度方法)，求證據(jù)Bl,B2的可信度在執(zhí)行規(guī)則Rl,R2,R3后的更新值(Bl)(B2)。(2)已知有如下不確定推理規(guī)則：rl：CllVCl2&Hl0.7；0.5；r2：0.5；r3：C21AC22bH—0.6；r4：(C31AC32)VC33bH0.8；(Cll)=0.8，(Cl2)=0.9，(C2l)=0.3，(C22)=0.6，(C3l)=0.9，(C32)=0.5，(C33)=0.7；請(qǐng)應(yīng)用的確定性方法求出(H)。設(shè)有A,B，C三人中有人從不說(shuō)真話，也有人從不說(shuō)假話，某人向這三人分別提出同一個(gè)問(wèn)題：誰(shuí)是說(shuō)謊者？A答：“B和C都是說(shuō)謊者”；B答:“A和C都是說(shuō)謊者”；C答：“A和B中至少有一個(gè)是說(shuō)謊者”。求誰(shuí)是老實(shí)人，誰(shuí)是說(shuō)謊者？(15分)解：設(shè)用T(x)表示x說(shuō)真話。如果A說(shuō)的是真話，則有T(B>^T(C)如果A說(shuō)的是假話，則有：T〔B)uT(C)對(duì)B和C說(shuō)的話作相同的處理，可得：-nT(C)-T(A)vT(Q把上面這些公式化成子句集，得到s：

(1)-nT(A)(2)-nT(A)w^T(B)(357(A)uTCB)uT(C)(4)-1T(B)v-.T(C)(5)-nT(A)v^T(B)u^T(C)(6)T(A)vT(C)(7)T〔B)vT(C)下面首先求誰(shuí)是老實(shí)人。把Y仗)wALEWH?)并入S得到色。即§比S多如下一個(gè)子句：(8、-nT(^yANSWER(^(1)與⑺消解⑹與a)消解⑻與(10)消解(1)與⑺消解⑹與a)消解⑻與(10)消解3)-nT(A)vT(C)(10)T(QCL1)ANSWERC)所以，C是老實(shí)人，即C從不說(shuō)假話除此之外，無(wú)論如何對(duì)紐進(jìn)行消解，都推不出(B)和(A)。下面來(lái)證明A和B不是老實(shí)人。設(shè)A不是老實(shí)人，則有」⑻把它否定并入S中，得到子句集禺，即禺比S多如下一個(gè)子句：(呂)IT㈤)即T(A)應(yīng)用消解原理對(duì)S2進(jìn)行消解:⑴弓⑺消解⑵與⑼⑴弓⑺消解⑵與⑼消解⑶與(10)涓解-.T(A)NIL所以，A不是老實(shí)人。同理，可以證明B也不是老實(shí)人。

1)設(shè)已知:能閱讀者是識(shí)字的;海豚不識(shí)字;有些海豚是聰明的;求證:有些聰明者并不能閱讀.證:定義如下命題:R(x)能閱讀；L(x)識(shí)字；I(x)是聰明的；D(x)是海豚;—L(—L(x)/)已知應(yīng)E).已知證結(jié)論x(D(xx(l(x將已知條件，求證結(jié)論的反化成子句集~R(x)VL(x)~D(y)V~L(y)D(a)1(a)?l(z)VR(z)?L(a)2,3歸結(jié){}?R(a)1,6歸結(jié){}R(a)4,5歸結(jié){}口7,8歸結(jié)得證.2)利用謂詞邏輯表示下列知識(shí)(包括已知和結(jié)論)，然后化成子句集：(1)凡是清潔的東西就有人喜歡；(2)人們都不喜歡蒼蠅求證：蒼蠅是不清潔的。證：現(xiàn)定義如下謂詞L()某人x喜歡某物y；P(y)某物y是清潔的東西V3(P(y)fL())>qP(y)VL(f(y))vx(nL())>qL()P()．．．結(jié)論的反L(f(),)．．．(1)(3)歸結(jié),置換{}□???(2)(4)歸結(jié)，{f()}得證。八數(shù)碼游戲，初始棋局和目標(biāo)棋局如圖，定義啟發(fā)函數(shù)h(x)表示某狀態(tài)下與目標(biāo)數(shù)碼不同的位置個(gè)數(shù)，用全局擇優(yōu)法畫出搜索的過(guò)程。初始狀態(tài)：H,目標(biāo)狀態(tài)：H解：

11.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員A說(shuō):SL11.張某被盜，公安局派了五個(gè)偵察員去調(diào)查。研究案情時(shí)，偵察員A說(shuō):SL斗26522L452]?152347g512-13347斗?g“趙與錢中至少有一人作案”；偵察員D說(shuō)：“錢與孫至少有一人作案”；偵察員C說(shuō)：“孫與李中至少有一個(gè)作案”；偵察員D說(shuō)“趙與孫至少一個(gè)與案無(wú)關(guān)”；偵察員E說(shuō)“錢與李中至少有一人與此案無(wú)關(guān)”。如果這五個(gè)偵察員的話都是可信的，試用消解原理推理求出誰(shuí)是盜竊犯。解：設(shè)用T（x）表示x是作案者，則偵察員A的話可表示：T（趙）門（錢）偵察員B的話可表示：T（錢）/（孫）偵察員C的話可表示：T（孫）』（李）偵察員D的話可表示：「T（趙幾「T（孫）偵察員E的話可表示：「T（錢幾「T（李）上面五個(gè)組成子句集S,求誰(shuí)是作案者，把J（x）x/（x）并入S］得到。即比S］多出如下一個(gè)子句：J（x）”（x）然后利用消解原理對(duì)S進(jìn)行消解可得答案：錢和孫是作案者。1某企業(yè)欲招聘一個(gè)程序員，定義如下產(chǎn)生式規(guī)則（要求）：r1:有工作經(jīng)驗(yàn)（本科以上學(xué)歷有相關(guān)知識(shí)背景錄用（0.9）r2工作兩年以上作過(guò)相關(guān)工作有工作經(jīng)驗(yàn)（0.8）r3學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)學(xué)過(guò)學(xué)過(guò)數(shù)據(jù)庫(kù)學(xué)過(guò)軟件工程有相關(guān)知識(shí)背景（0.9）r4:學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)（相關(guān)課程的成績(jī)/100）r5:學(xué)過(guò)（相關(guān)課程的成績(jī)/100）r6:學(xué)過(guò)數(shù)據(jù)庫(kù)（相關(guān)課程的成績(jī)/100）r7:學(xué)過(guò)軟件工程（相關(guān)課程的成績(jī)/100）r8:做過(guò)相關(guān)工作：程序員：1，項(xiàng)目經(jīng)理：1，數(shù)據(jù)庫(kù)開發(fā)工程師：0.9，數(shù)據(jù)庫(kù)管理員：0.7,網(wǎng)絡(luò)管理員：0.6，客服人員：0.4設(shè)有一本科畢業(yè)生甲，其相關(guān)課程的成績(jī)?yōu)閿?shù)據(jù)結(jié)構(gòu)=8580,數(shù)據(jù)庫(kù)=40,軟件工程=90另有一社會(huì)招聘人員乙，參加工作三年，曾做過(guò)數(shù)據(jù)庫(kù)管理員和數(shù)據(jù)庫(kù)開發(fā)人員根據(jù)確定性理論，問(wèn)該公司應(yīng)該招聘誰(shuí)？如果你是該本科生，為了能在招聘中勝出，你應(yīng)該加強(qiáng)哪門課程，并使該門課程的成績(jī)至少達(dá)到多少？解：（1）對(duì)于本科畢業(yè)生，由r4，r5，r6，r7：（學(xué)過(guò)數(shù)據(jù)結(jié)構(gòu)）=0.6（學(xué)過(guò)）=0.8（學(xué)過(guò)數(shù)據(jù)庫(kù)）=0.4（學(xué)過(guò)軟件工程）=0.9由r3,（有相關(guān)知識(shí)背景）=0.9*{0.85,0.8,0.4,0.9}=0.36（本科學(xué)歷）=1由rl,（錄用）=0.9*{0.36，1}=0.324（2）對(duì)于社會(huì)招聘人員，由r8,（相關(guān)工作）=0.9（工作兩年以上）=1由r2,（有工作經(jīng)驗(yàn)）=0.8*{1，0.9}=0.72由r1,（錄用）=0.9*0.72=0.648所以,該公司應(yīng)錄用社會(huì)招聘人員乙。（3）可以看出,應(yīng)該加強(qiáng)數(shù)據(jù)庫(kù)的學(xué)習(xí),并使該門課程達(dá)到80分以上某問(wèn)題由下列公式描述：［2）N頸Vy）［?P（y）TQ^篤和/?］〔3）〔4）（矗）［驗(yàn)）4〔肛國(guó)—瓦唸））］⑸W頸Vy）［Q⑴靖巧TQ（b盡fft））］試用歸結(jié)法證明Qx）R（x）；⑴?p?6(VK)(Yy)[~F\y)^qbr冕gX網(wǎng)=>C^XVyXPWVQ〔d耳氐負(fù)V))]=>P(y)VQ(b,x,gfs,y))〔R〔VK)[P(fiX))]=>Pg曲CVQ[P㈤/\Q〔d匚罵宀班UXfflnCV^HP(k)AQgc,需W瓦g]=>〔VXi[~Hn)V?Q?,&QVRlXR)]=>~R(QV~Q(hcr謝~V班h(勸⑶(V^)CVy)[Q(b,託巧tQQ聲,Ky?]=>CWVyX^QCb,磊y)VQCb,耳旳刃=>~Q(hh,y)VQ(b,忑Gy))目標(biāo)求反：吒(或=>(Vx)~R(x)=>~Rj㈤變量換茗后，得子句集’CP(吐P(yl)VQ(b聲1點(diǎn)乩畀“P〔fi>2)),?P〔斑V~Q〔hCj詔)VRj(X￡))??Qgk4?y4)VQ〔hk4?如4)),?玖叨下圖所示博弈樹，按從左到右的順序進(jìn)行a-B剪枝搜索，試標(biāo)明各生成節(jié)點(diǎn)的到推值，何處發(fā)生剪枝，及應(yīng)選擇的走步。10分剪枝方法只是極小極大方法的一種近似，剪枝可能會(huì)遺漏掉最佳走步。這種說(shuō)法是否正確？不正確。－剪枝方法利用已經(jīng)搜索的信息，剪掉哪些對(duì)于搜索最佳走步?jīng)]有意義的分枝，其找到的最佳走步與極小極大方法找到的結(jié)果是一樣的而且搜索效率有很大提高。1.什么是人工智能？人工智能與計(jì)算機(jī)程序的區(qū)別？答：是研究如何制造人造的智能機(jī)器或智能系統(tǒng)來(lái)模擬人類智能活動(dòng)的能力以延伸人類智能的科學(xué)，它與計(jì)算機(jī)程序的區(qū)別是：?研究的是符號(hào)表示的知識(shí)而不是數(shù)值數(shù)據(jù)為研究對(duì)象?采用啟發(fā)式搜索方法而不是普通的算法控制結(jié)構(gòu)與知識(shí)是分離的允許出現(xiàn)不正確的答案化下列邏輯表達(dá)式為不含存在量詞的前束范式(3X)(/Y%VZ)P(X,Z)TR(X,Y,f(a))]答：6x)Vy)fez(P(X,Z)tR(X,Y,f(a)))]6x)Vy￡z(~P(X,Z)vR(X,Y,fC)》]3XVY3ZLP(X,Z)vR(X,Y,f(a))]VY3Z[?P(b,Z)vR(b,Y,f(a))]VY[?P(b,f(Y))vR(b,Y,f(a))]求下列謂詞公式的子句集VxVy((P(x,y)v(Q(x,y)TR(x,y)))答：VxVy(?(P(x,y)v(Q(x,y)vR(x,y)))VxVy((?P(x,y)a?(Q(x,y))vR(x,y)))VxVy((?P(x,y)vR(x,y))a(~Q(x,y)vR(x,y)))所以子句集為：{?P(x,y)vR(x,y),?Q(x,y)vR(x,y)}若有梯形，將其中的若干定理形式化即定義一些謂詞公式，然后利用歸結(jié)原理證明內(nèi)錯(cuò)角ZABD=ZCDB證明：設(shè)梯形頂點(diǎn)依次為,定義謂詞:T（）：表示為上底為下底的梯形.P（）：表示E（）表示NZ,問(wèn)題的描述和相應(yīng)的子句集為[T()fP()]???梯形上下底平行子句:~T()VP()[P()fE()]???平行則內(nèi)錯(cuò)交相等子句：T()??.已知子句：T()E()???要證明的結(jié)論子句：?E()子句集S為?TOVPO?POVEOT()?E()下面利用歸結(jié)原理證明P()(1)和(3)歸結(jié)，置換{}E()(2)和(5)歸結(jié)，置換{}和(6)歸結(jié)根據(jù)歸結(jié)原理得證。5.求子句集S=看備a,f(g(y)),P(z,h(z,u),f(u))}的解：00;50=80不是單元素集，求得差異集D0={},其中z是變?cè)?，a是項(xiàng)，且z不在a中出現(xiàn)。1=1

有61=§0?{}=e?{}={},S10?{}={P((g(y))(()(u)))1不是單元素集,求得差異集D1={()}1=2;52=81?{h()}={()},S21?{h()}={P(()(g(y))(()(u))),S2不是單元素集，求得差異集D2={g(y)}1=353=52?{g(y)}={()}?{g(y)}={((y))(y)}S32?{g(y)}={P(((y))(g(y)))}是單元素集。根據(jù)求算法，53={((y))(y)}6.用代價(jià)優(yōu)先算法求解下圖的旅行推銷員問(wèn)題，請(qǐng)找一條從北京出發(fā)能遍

歷各城市的最佳路徑(旅行費(fèi)最少)，每條弧上的數(shù)字表示城市間的旅行

費(fèi)用。并用表記錄遍歷過(guò)的結(jié)點(diǎn)，表記錄待遍歷的結(jié)點(diǎn)。畫出和表的變化過(guò)程，然后根據(jù)表找出最佳路徑。表擴(kuò)展節(jié)占八、、表擴(kuò)展節(jié)占八、、父節(jié)點(diǎn)表擴(kuò)展節(jié)父節(jié)點(diǎn)占八、、解：B（31）解：B（31）AC(28)AD（43）BC(54)BE（38）DC（59）DC（27）EA（51）EA(0)表擴(kuò)展節(jié)占八、、父節(jié)點(diǎn)A(0)C(28)AE(29)CD(38)EB(43)DA(31)B7.用框架表示下述報(bào)導(dǎo)的沙塵暴災(zāi)害事件［虛擬新華社3月16日電］昨日，沙塵暴襲擊韓國(guó)漢城，機(jī)場(chǎng)與高速公路被迫關(guān)閉，造成的損失不詳。韓國(guó)官方示，如果需要直接損失情況，可待一周后的官方公布的字。此次沙塵暴起因中日韓專家認(rèn)為是由于中國(guó)內(nèi)蒙古區(qū)過(guò)分墾牧破壞植被所致。提示：分析概括用下劃線標(biāo)出的要點(diǎn)，經(jīng)過(guò)概念化形成槽（）并擬出槽的名稱，選填側(cè)面（）值。側(cè)面包含“值（）”，“默認(rèn)值（）”，“如果需要值（）”，“如果附加值（）”幾個(gè)方面，用不到的側(cè)面值可刪除。

■?1:2：3-.解：:沙塵暴1:時(shí)間：3月15日■?■?■?2：地點(diǎn):韓國(guó)漢城??????3：損失:不詳■?:一周后官方公布數(shù)字■?4：起因:中國(guó)內(nèi)蒙古區(qū)（5分）什么是“知識(shí)工程”？它對(duì)人工智能的發(fā)展有何重要作用？（10分）請(qǐng)用相應(yīng)的謂詞公式表示下述語(yǔ)句：（1）有的人喜歡足球，有的人喜歡排球，有的人既喜歡足球又喜歡排球（2）不是每一個(gè)人都喜歡游泳。如果沒有利息，那么就沒有人愿意去存錢。對(duì)于所有的x和y,如果x是y的父親，y是z的父親，那么x是z的祖父。對(duì)于所有的x和y,如果x是y的孩子，那么y是x的父母。登高望遠(yuǎn)。響鼓不用重錘。如果b〉a〉O和c〉d〉O，則有(b*())〉b。(5分)試建立一個(gè)“學(xué)生”框架網(wǎng)絡(luò)，其中至少有“學(xué)生基本情況”、“學(xué)生課程學(xué)習(xí)情況”和“學(xué)生獎(jiǎng)懲情況”三個(gè)框架描述。(10分)請(qǐng)把下述事實(shí)用一個(gè)語(yǔ)義網(wǎng)絡(luò)表示出來(lái)：李明是東方大學(xué)計(jì)算機(jī)系的一名學(xué)生。他住在計(jì)算機(jī)系的學(xué)生宿舍里。計(jì)算機(jī)系的每間學(xué)生宿舍都有一臺(tái)聯(lián)網(wǎng)的計(jì)算機(jī)。李明喜歡在宿舍的計(jì)算機(jī)上瀏覽。(10分)已知下述事實(shí)：小李只喜歡較容易的課程。工程類課程是較難的。系的所有課程都是較容易的。150是系的一門課程。應(yīng)用歸結(jié)演繹推理回答問(wèn)題：小李喜歡什么課程？(10分)已知：規(guī)則1：任何人的兄弟不是女性規(guī)則2：任何人的姐妹必是女性事實(shí)：是的姐妹用歸結(jié)推理方法證明不是的兄弟。（15分）考慮下面的句子：?每個(gè)程序都存在?含有的程序無(wú)法工作?P是一個(gè)程序（1）一階謂詞邏輯表示上述句子。（2）使用歸結(jié)原理證明P不能工作。（10分）任何通過(guò)了歷史考試并中了彩票的人都是快樂的。任何肯學(xué)習(xí)或幸運(yùn)的人可以通過(guò)所有考試，小張不學(xué)習(xí)，但很幸運(yùn)，任何人只要是幸運(yùn)的就能中彩票。求證：小張是快樂的。（10分）已知：海關(guān)職員檢查每一個(gè)入境的不重要人物，某些販毒者入境，并且僅受到販毒者的檢查，沒有一個(gè)販毒者是重要人物。證明：海關(guān)職員中有販毒者。（15分）有一堆硬幣，開始時(shí)有9枚。A、B兩人輪流從中取硬幣，每次取時(shí)，可以取1枚或者2枚或者3枚，揀起最后一枚硬幣者為輸方。試用博弈樹證明：后開始取硬幣者總能獲勝，或者先開始取硬幣者總是會(huì)輸。（5分）一階謂詞邏輯表示法適合于表示哪種類型的知識(shí)？它有哪些主要特點(diǎn)？（10分）請(qǐng)用語(yǔ)義網(wǎng)絡(luò)分別