人工智能练习题答案9234

.1、什么是人工智能？人工智能有哪些研究领域？何时创立该学科，创始人是谁〔1〕AI〔ArtificialIntelligence〕利用计算机技术、传感技术、自动控制技术、仿生技术、电子技术以及其他术仿制人类智能机制的学科〔或技术〕，再具体地讲就是利用这些术制一具人类智慧能特的器系〔2〕人工智能的研究领域主有专家系统、器学、模式别、然语言解、动定力明、自动程序计、机器人学、博、智能决策支系统、人工经网络〔3〕人工能1956年夏季，由麦卡锡，明斯、洛切斯特、香农发起创立2、产生系统的由哪三部组成？各局部的能是什么？课页〔1〕生系由合据、生式规则控系三部成〔2〕综数库于存当信，包括初始事和间结；产式则于存放相关知；控制系统用于规则的解释或执行程序。3其始〔，，〕一硬硬，一硬币〕。三。用知识的间出〔，，〕的。出间。课页解程〔1用数组的，然硬币一间，则用三数组这知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、数数的初始和283

123164=>475765出的发。数f(n)=g(n)+h(n),g(n)=d(n),h(n)=p(n)。点n的。p(n)点n的局局一的数。5、式成子的是什么？课本、95式成子9..消蕴符否深﹁变标化消存量词把词到公最左化Skolem标形前合式消全量词变标化变换表为句消去合词用〞替"∧6、滨逊归结原理的根本思想是什么？鲁逊归原根思方法是首先把欲证明的问题结论展否，并参加到子句集，得到一个扩大的句S后设法检查子句S中是否包含空子句假包，则S不可足，假设不包含，就要在子句集中选择适宜的子句进展归结，一旦能归结出空子句，说明子句集S是可满足的。7、(*){(y)[A(*,y)∧B(y)](∧D(*,G:﹁*)C(*)(*)(y)[A(*,y)﹁求证：是F逻论8、*村农*被，四嫌犯A,B,C,D。安派五侦员他们的侦察结果分别是A，B之中至有人作，B，C中少一作，C至有人案，A，C中至少有人此无，B，D中少有人与此无关，有察结都是可的。请用归结理求出谁是罪？解：设词C(D)表示D为犯对第一个侦察员：C(A)∨C(B)(1)对第二个侦察员:C(B)∨C(C)(2)对第三个侦察员:C(C)∨C(D)(3)对第四个侦察员:﹁C(A)∨C(C)(4)于第侦察:﹁∨C(D)(5)论﹁C(U)∨ANSWER(U)(6)〔〕结：C(B)∨C(C)(7)〔〕结：C(B)(8)(6)与8〕归：ANSWER(B).•是罪犯(3)与5〕归：C(C)∨C(B)(2)与7〕归：C(C)(8)(6)与8〕归：ANSWER(C).•是罪犯9、用归结原理证明结论成立。〔分〕：任何能够阅读人都是识字的，豚不识字。*海有的求：*些有力不能读。定谓词—*能读的—*识字—*海豚—*有力的条件和论的谓词公式公式集..(*)(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出现有数,*,*)|(j,n)是中的元素},中1,写语"每生过楼"这书〞网表示。用架表示法描述生〞求不于个。框架名：学生>：单(姓，)性别：围男，)默(男年龄：()条(岁学习专：单位专业名研究方：单位方向名住址：单位楼，房号入学间：位(年月)学制单位年默(4年16什么是专家系？专家系统的一般造是什么？开专家系统有些阶段？〔专家系统：是一个系统有*个专家的用专的的方法该在运行过中不断地增长新修原有〔〕(3)家统开阶段有：认阶段概化段形式化阶段实阶、测试改段17、如下事实：〔1但易小〔wang〕欢〔2〕的都易的〔3〕ds是的课：小王喜欢这课。(1)义easy(*):*是容的课like(*,y):*欢c(*):*是的一(2)表示事实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)假推理因此喜欢这门课18、什是体？什么个域函数谓的别是什么？个体体词)是指所研究对象中可以独立存在的具体事物、态或个体之间的关。个体(论)：体变量值域〔值围〕，常用表示谓词与函数的区别：谓词的真值是真和假，而函数真值可言，其值是个体域中。谓词实现的是个体域的体到或的射而函实现是同个一个个体另一个。在谓词辑中，函数本身不能单独使用，它必须嵌入到谓词中。19、请下的谓公式化子句集。F:(*){(y)[A(*,y)∧B(y)]y)[C(y)∧D(*,y)]}20、写三梵塔题的程序。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