人工智能練習(xí)題答案9234

.1、什么是人工智能？人工智能有哪些研究領(lǐng)域？何時(shí)創(chuàng)立該學(xué)科，創(chuàng)始人是誰(shuí)〔1〕AI〔ArtificialIntelligence〕利用計(jì)算機(jī)技術(shù)、傳感技術(shù)、自動(dòng)控制技術(shù)、仿生技術(shù)、電子技術(shù)以及其他術(shù)仿制人類(lèi)智能機(jī)制的學(xué)科〔或技術(shù)〕，再具體地講就是利用這些術(shù)制一具人類(lèi)智慧能特的器系〔2〕人工智能的研究領(lǐng)域主有專(zhuān)家系統(tǒng)、器學(xué)、模式別、然語(yǔ)言解、動(dòng)定力明、自動(dòng)程序計(jì)、機(jī)器人學(xué)、博、智能決策支系統(tǒng)、人工經(jīng)網(wǎng)絡(luò)〔3〕人工能1956年夏季，由麥卡錫，明斯、洛切斯特、香農(nóng)發(fā)起創(chuàng)立2、產(chǎn)生系統(tǒng)的由哪三部組成？各局部的能是什么？課頁(yè)〔1〕生系由合據(jù)、生式規(guī)則控系三部成〔2〕綜數(shù)庫(kù)于存當(dāng)信，包括初始事和間結(jié)；產(chǎn)式則于存放相關(guān)知；控制系統(tǒng)用于規(guī)則的解釋或執(zhí)行程序。3其始〔，，〕一硬硬，一硬幣〕。三。用知識(shí)的間出〔，，〕的。出間。課頁(yè)解程〔1用數(shù)組的，然硬幣一間，則用三數(shù)組這知Q=〔q1q2,q3〕q=0幣的;q=1幣成的間然Q0=〔0，0〕，Q1=〔0，1〕，Q2=，1，0Q3=，1，1〕，Q4=〔1，0〕，Q5=〔1，1，Q6=〔1，1，0〕，Q7=，1，1〔2〕f1q1一。f2q2一。f3q3一。然F={f1，f2，f3}〔的〕Qg=〔0，0〕〔，1，1〕〔3〕出知"，，〔1，0,1，，〔0,0,0解；"，，〔1，0,1〕，，〔1,1,1〕解f3f2f3,f1f2f1,4、數(shù)數(shù)的初始和283

123164=>475765出的發(fā)。數(shù)f(n)=g(n)+h(n),g(n)=d(n),h(n)=p(n)。點(diǎn)n的。p(n)點(diǎn)n的局局一的數(shù)。5、式成子的是什么？課本、95式成子9..消蘊(yùn)符否深﹁變標(biāo)化消存量詞把詞到公最左化Skolem標(biāo)形前合式消全量詞變標(biāo)化變換表為句消去合詞用〞替"∧6、濱遜歸結(jié)原理的根本思想是什么？魯遜歸原根思方法是首先把欲證明的問(wèn)題結(jié)論展否，并參加到子句集，得到一個(gè)擴(kuò)大的句S后設(shè)法檢查子句S中是否包含空子句假包，則S不可足，假設(shè)不包含，就要在子句集中選擇適宜的子句進(jìn)展歸結(jié)，一旦能歸結(jié)出空子句，說(shuō)明子句集S是可滿(mǎn)足的。7、(*){(y)[A(*,y)∧B(y)](∧D(*,G:﹁*)C(*)(*)(y)[A(*,y)﹁求證：是F邏論8、*村農(nóng)*被，四嫌犯A,B,C,D。安派五偵員他們的偵察結(jié)果分別是A，B之中至有人作，B，C中少一作，C至有人案，A，C中至少有人此無(wú)，B，D中少有人與此無(wú)關(guān)，有察結(jié)都是可的。請(qǐng)用歸結(jié)理求出誰(shuí)是罪？解：設(shè)詞C(D)表示D為犯對(duì)第一個(gè)偵察員：C(A)∨C(B)(1)對(duì)第二個(gè)偵察員:C(B)∨C(C)(2)對(duì)第三個(gè)偵察員:C(C)∨C(D)(3)對(duì)第四個(gè)偵察員:﹁C(A)∨C(C)(4)于第偵察:﹁∨C(D)(5)論﹁C(U)∨ANSWER(U)(6)〔〕結(jié)：C(B)∨C(C)(7)〔〕結(jié)：C(B)(8)(6)與8〕歸：ANSWER(B).?是罪犯(3)與5〕歸：C(C)∨C(B)(2)與7〕歸：C(C)(8)(6)與8〕歸：ANSWER(C).?是罪犯9、用歸結(jié)原理證明結(jié)論成立?！卜帧常喝魏文軌蜷喿x人都是識(shí)字的，豚不識(shí)字。*海有的求：*些有力不能讀。定謂詞—*能讀的—*識(shí)字—*海豚—*有力的條件和論的謂詞公式公式集..(*)(R(*)→L(*))(*)(D(*)→﹁L(*))(*)(D(*)∧I(*))求(*)(I(*)∧R(*))?(→L(*))(*)(﹁R(*)L(*))﹁R(*)L(*)(1)(*)(D(*)→﹁L(*))(*)(﹁D(*)﹁L(*))﹁D(*)﹁L(*)(2)(*)(D(*)∧D(A)∧I(A)D(A)(3)I(A)(4)?求﹁*)(I(*)﹁R(*))(*)﹁∧R(*))(*)(﹁I(*)R(*))﹁I(*)R(*)(5)10P(*,y)(Q(*,A)R(B,y))P(A,B)(S(A)*(B))(B,A)U(A)(B,B)V(B)V(B)證S={Q(*)﹁P(*),Q(y)P(y),﹁Q(w)P(w),Q(A)P(A)}證FidobarksandbitesorFidoisnotdog.Allterriersaredogs.Anyonewhobarksisnoisy.證Theree*istssomeonewhonotaterriersorisnoisy.1114-29F:﹁DOG(FIDO)[BARKS(FIDO)∧BITES(FIDO)]R1:﹁DOG(*)﹁TERRIER(*)R2BARKS(y)NOISY(y)﹁TERRIER(z)NOISY(z)13S={P(*),Q(f(*)),,求SH1SSHa..〔〕令=H∪{S出現(xiàn)有數(shù),*,*)|(j,n)是中的元素},中1,寫(xiě)語(yǔ)"每生過(guò)樓"這書(shū)〞網(wǎng)表示。用架表示法描述生〞求不于個(gè)。框架名：學(xué)生>：?jiǎn)?姓，)性別：圍男，)默(男年齡：()條(歲學(xué)習(xí)專(zhuān)：?jiǎn)挝粚?zhuān)業(yè)名研究方：?jiǎn)挝环较蛎≈罚簡(jiǎn)挝粯牵刻?hào)入學(xué)間：位(年月)學(xué)制單位年默(4年16什么是專(zhuān)家系？專(zhuān)家系統(tǒng)的一般造是什么？開(kāi)專(zhuān)家系統(tǒng)有些階段？〔專(zhuān)家系統(tǒng)：是一個(gè)系統(tǒng)有*個(gè)專(zhuān)家的用專(zhuān)的的方法該在運(yùn)行過(guò)中不斷地增長(zhǎng)新修原有〔〕(3)家統(tǒng)開(kāi)階段有：認(rèn)階段概化段形式化階段實(shí)階、測(cè)試改段17、如下事實(shí)：〔1但易小〔wang〕歡〔2〕的都易的〔3〕ds是的課：小王喜歡這課。(1)義easy(*):*是容的課like(*,y):*歡c(*):*是的一(2)表示事實(shí)easy(*)like(wang,*)(*)(c(*)easy(*))c(ds)(3)用c(y)easy(y)化c(ds),c(y)easy(y)easy(ds)easy(ds),easy(*)like(wang,*)..like(wang,ds)假推理因此喜歡這門(mén)課18、什是體？什么個(gè)域函數(shù)謂的別是什么？個(gè)體體詞)是指所研究對(duì)象中可以獨(dú)立存在的具體事物、態(tài)或個(gè)體之間的關(guān)。個(gè)體(論)：體變量值域〔值圍〕，常用表示謂詞與函數(shù)的區(qū)別：謂詞的真值是真和假，而函數(shù)真值可言，其值是個(gè)體域中。謂詞實(shí)現(xiàn)的是個(gè)體域的體到或的射而函實(shí)現(xiàn)是同個(gè)一個(gè)個(gè)體另一個(gè)。在謂詞輯中，函數(shù)本身不能單獨(dú)使用，它必須嵌入到謂詞中。19、請(qǐng)下的謂公式化子句集。F:(*){(y)[A(*,y)∧B(y)]y)[C(y)∧D(*,y)]}20、寫(xiě)三梵塔題的程序。domainsloc=right;middle;leftpredicateshanoi(integer)move(integer,loc,loc,loc)inform(loc,loc)clauseshanoi(N):-move(N,left,middle,right).move(1,A,_,C):-inform(A,C),!.move(N,A,B,C):-N1=N-1,move(N1,A,C,B),inform(A,C),move(N1,B,A,C).inform(Loc1,Loc2):-write("\nMovediskfrom",Loc1,"to",Loc2).21、出N的的程序。domainsn,f=integerpredicatesfactorial(n,f)goalreading(I)factorial(I,F),write(I,〞!=〞,F)clau