人工智能复习题及答案,DO

黑龙江大学计算机科学技术学院智能智能是一种认识客观事物和运用知识解决问题的综合能力。什么叫知识？知识是人们在改造客观世界的实践中积累起来的认识和经验确定性推理指推理所使用的知识和推出的结论都是可以精确表示的，其真值要么为真、要么为假。推理推理是指按照某种策略从已知事实出发利用知识推出所需结论的过程。不确定性推理指推理所使用的知识和推出的结论可以是不确定的。所谓不确定性是对非精确性、模糊型和非完备性的统称。人工智能人工智能就是用人工的方法在机器（计算机）上实现的智能，或称机器智能搜索是指为了达到某一目标，不断寻找推理线路，以引导和控制推理，使问题得以解决的过程。规划是指从某个特定问题状态出发，寻找并建立一个操作序列，直到求得目标状态为止的一个行动过程的描述。机器感知就是要让计算机具有类似于人的感知能力，如视觉、听觉、触觉、嗅觉、味觉模式识别是指让计算机能够对给定的事务进行鉴别，并把它归入与其相同或相似的模式中。机器行为就是让计算机能够具有像人那样地行动和表达能力，如走、跑、拿、说、唱、写画等。知识表示是对知识的描述，即用一组符号把知识编码成计算机可以接受的某种结构。事实是断言一个语言变量的值或断言多个语言变量之间关系的陈述句综合数据库存放求解问题的各种当前信息规则库用于存放与求解问题有关的所有规则的集合人工智能有哪些应用？人工智能的研究目标远期目标揭示人类智能的根本机理，用智能机器去模拟、延伸和扩展人类的智能涉及到脑科学、认知科学、计算机科学、系统科学、控制论等多种学科，并依赖于它们的共同发展近期目标研究如何使现有的计算机更聪明，即使它能够运用知识去处理问题，能够模拟人类的智能行为。智能包含哪些能力？感知能力记忆和思维能力学习和自适应能力行为能力知识有哪几种表示方法？一阶谓词逻辑表示法产生式表示法语义网络表示法框架表示法过程表示法演绎推理与归纳推理的区别演绎推理是在已知领域内的一般性知识的前提下，通过演绎求解一个具体问题或者证明一个结论的正确性。它所得出的结论实际上早已蕴含在一般性知识的前提中，演绎推理只不过是将已有事实揭露出来，因此它不能增殖新知识。归纳推理所推出的结论是没有包含在前提内容中的。这种由个别事物或现象推出一般性知识的过程，是增殖新知识的过程。子句集的化简的步骤消去连接词“f”和“一”减少否定符号的辖域对变元标准化化为前束范式消去存在量词化为Skolem标准形消去全称量词消去合取词更换变量名称鲁滨逊归结原理基本思想首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S'。然后设法检验子句集S'是否含有空子句，若含有空子句，则表明S'是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。全局择优搜索A算法描述：⑴把初始节点S0放入Open表中，f(S0)=g(S0)+h(S0)；(2)如果Open表为空，则问题无解，失败退出；(3)把Open表的第一个节点取出放入Closed表，并记该节点为n；(4)考察节点n是否为目标节点。若是，则找到了问题的解，成功退出；(5)若节点n不可扩展，则转第(2)步；(6)扩展节点n，生成其子节点ni(i=1,2,…)，计算每一个子节点的估价值f(ni)(i=1,2,…)，并为每一个子节点设置指向父节点的指针，然后将这些子节点放入Open表中；(7)根据各节点的估价函数值，对Open表中的全部节点按从小到大的顺序重新进行排序;(8)转第(2)步。

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？答：谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。产生式系统的推理过程(1)初始化综合数据库，即把欲解决问题的已知事实送入综合数据库中；(2)检查规则库中是否有未使用过的规则，若无转(7)；(3)检查规则库的未使用规则中是否有其前提可与综合数据库中已知事实相匹配的规则，若有，形成当前可用规则集；否则转(6)；(4)按照冲突消解策略，从当前可用规则集中选择一个规则执行，并对该规则作上标记。把执行该规则后所得到的结论作为新的事实放入综合数据库；如果该规则的结论是一些操作，则执行这些操作；(5)检查综合数据库中是否包含了该问题的解，若已包含，说明解已求出，问题求解过程结束；否则，转(2)；(6)当规则库中还有未使用规则，但均不能与综合数据库中的已有事实相匹配时，要求用户进一步提供关于该问题的已知事实，若能提供，则转(2)；否则，执行下一步；(7)若知识库中不再有未使用规则，也说明该问题无解，终止问题求解过程。列出下图中树的节点访问序列以满足下面的2个搜索策略(在所有情况中都选择最左分枝优先访问)1)深度优先搜索;1)深度优先搜索;2)广度优先搜索X】oJG(1)深度优先：(2)广度优先：1，2，3，4。7i8o)12i1,2,5,6,10,11,3,7,12,13,4,8,9，5，6，7，8，9，10，11，12，13八数码问题。问题的初态和目标状态如下图所示，要求用A*算法解决该问题1414765初始状态84765目标状态图4-32是5个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。要求从A城出发，经过其它各城市一次且仅一次，最后回到A城，请找出一条最优线路。解：这个问题又称为旅行商问题(travellingsalesmanproblem,TSP)或货郎担问题，是一个较有普遍性的实际应用问题。根据数学理论，对n个城市的旅行商问题，其封闭路径的排列总数为：(n!)/n=(n-1)!其计算量相当大。例如，当n=20时，要穷举其所有路径，即使用一个每秒一亿次的计算机来算也需要350年的时间。因此，对这类问题只能用搜索的方法来解决。下图是对图4-32按最小代价搜索所得到的搜索树，树中的节点为城市名称，节点边上的数字为该节点的代价g。其计算公式为g(ni+1)=g(ni)+c(ni,ni+1)其中，c(ni,ni+1)为节点ni到ni+1节点的边代价。81268381239689C18D22E16B10D5E10B21C12e18B17C19D203389…89126129698A88o868681283123C25E318D22E16B16d19B20E20C25D29222722BDB32cD21E26C24D25B17E14C20E27C26B248899121266399E3333E316D276D28B318“8E26B26D2812B3B10102911C2D9E1123E30D35D27c28E23B20E28C32B3410A30A30图4.32的最小代价搜索树可以看出，其最短路经是A-C-D-E-B-AA-B-E-D-C-A其实，它们是同一条路经。设有如图4-34的与/或/树，请分别按和代价法及最大代价法求解树的代价。图4.34习题4.14的与/或树解：若按和代价法，则该解树的代价为：h(A)=2+3+2+5+2+1+6=21若按最大代价法，则该解树的代价为：h(A)=max{h(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)=10判断下列公式是否为可合一，若可合一，则求出其最一般合一。P(a,b),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))P(x,y),P(y,x)解：(1)可合一，其最一般和一为：Q={a/x,b/y}。(2)可合一，其最一般和一为：Q={y/f(x),b/z}。(3)可合一，其最一般和一为：。={f(b)/y,b/x}。(4)不可合一。(5)可合一，其最一般和一为：。={y/x}。5.判断下列子句集中哪些是不可满足的：{-PVQ,-Q,P,-P}{PVQ,-PVQ,PV-Q,-PV-Q}{P(y)VQ(y)，-P(f(x))VR(a)}{-P(x)VQ(x),-P(y)VR(y),P(a),S(a),-S(z)V-R(z)}{-P(x)VQ(f(x),a),「P(h(y))VQ(f(h(y)),a)V-P(z)}{P(x)VQ(x)VR(x),-P(y)VR(y),-Q(a),-R(b)}解：(1)不可满足，其归结过程为：(2)不可满足，其归结过程为：(3)不是不可满足的，原因是不能由它导出空子句。(4)不可满足，其归结过程略-P(y)vR(y)|P(a){a/y}R(a)-S⑵vR⑵{a/z}-S(a)S(a)NIL(5)不是不可满足的，原因是不能由它导出空子句。(6)不可满足，其归结过程略P(x)vQ(x)vR(x)-Q(a){a/x}P(a)vR(a)-P(y)vR(y){a/y}R(a)-R(b){a/b}NIL31.设已知：(1)如果x是y的父亲，y是z的父亲，则x是z的祖父；(2)每个人都有一个父亲。使用归结演绎推理证明：对于某人u一定存在一个人v，v是u的祖父。解：先定义谓词F(x,y)：x是y的父亲GF(x,z)：x是z的祖父P(x)：x是一个人再用谓词把问题描述出来：已知F1：(Vx)(vy)(Vz)(F(x,y)AF(y,z))-GF(x,z))F2：(vy)(P(x)-F(x,y))求证结论G：(3u)(3v)(P(u)-GF(v,u))然后再将F1,F2和-G化成子句集：①-F(x,y)V-F(y,z)VGF(x,z)②-P(r)VF(s,r)③P(u)④-GF(v,u))对上述扩充的子句集，其归结推理过程如下：由于导出了空子句，故结论得证。32.设有如下语句，请用相应的谓词公式分别把他们表示出来：(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。解：定义谓词P(x)：x是人L(x,y)：x喜欢y其中，y的个体域是｛梅花，菊花｝。将知识用谓词表示为：(3x)(P(x)-L(x,梅花)VL(x,菊花)VL(x,梅花)AL(x,菊花))(2)有人每天下午都去打篮球。解：定义谓词P(x)：x是人B(x)：x打篮球A(y)：y是下午将知识用谓词表示为：

(三x)(vy)(A(y)-B(x)AP(x))(3)新型计算机速度又快，存储容量又大。解：定义谓词NC(x)：x是新型计算机F(x)：x速度快B(x)：x容量大将知识用谓词表示为：(Vx)(NC(x)-F(x)AB(x))(4)不是每个计算机系的学生都喜欢在计算机上编程序。解：定义谓词S(x)：x是计算机系学生L(x,pragramming)：x喜欢编程序U(x,computer)：x使用计算机将知识用谓词表示为：-(Vx)(S(x)-L(x,pragramming)八U(x,computer))(5)凡是喜欢编程序的人都喜欢计算机。解：定义谓词P(x)：x是人L(x,y)：x喜欢y将知识用谓词表示为：(Vx)(P(x)八L(x,pragramming)-L(x,computer))33.机器人移盒子问题设在房间，c处有一个机器人，a和b处有一张桌子，分别称为a桌和b桌，a桌上有一盒子，如下图所示，要求机器人从c处出发把盒子从a桌上拿到b桌上，然后再回到c处。请用谓词逻辑来描述机器人的行动过程。分别定义描述状态和动作的谓词描述状态的谓词：TABLE(x)：x是桌子EMPTY(y)：y手中是空的AT(y,z)：y在z处HOLDS(y,w)：y拿着wON(w,x)：w在x桌面上变元的个体域：x的个体域是{a,b}y的个体域是{robot}z的个体域是{a,b,c}w的个体域是{box}问题的初始状态：AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)问题的目标状态：AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)机器人行动的目标把问题的初始状态转换为目标状态，而要实现问题状态的转换需要完成一系列的操作需要定义的操作：Goto(x,y)：从x处走到y处。Pickup(x)：在x处拿起盒子。Setdown(x)：在x处放下盒子各操作的条件和动作：Goto(x，y)条件：AT(robot,x)动作：删除表：AT(robot,x)添加表：AT(robot,y)Pickup(x)条件：ON(box,x),TABLE(x),AT(robot,x),EMPTY(robot)动作：删除表：EMPTY(robot)，ON(box，x)添加表：HOLDS(robot，box)Setdown(x)条件：AT(robot，x)，TABLE(x)，HOLDS(robot，box)动作：删除表：HOLDS(robot，box)添加表：EMPTY(robot)，ON(box，x)这个机器人行动规划问题的求解过程如下：状态1(初始状态)AT(robot,c)开始EMPTY(robot)=========>ON(box,a)TABLE(a)TABLE(b)状态2AT(robot,a)Goto(c,a)EMPTY(robot)==========>ON(box,a)TABLE(a)TABLE(b)状态3AT(robot,a)Pickup(a)HOLDS(robot,box)=========>TABLE(a)TABLE(b)状态4Goto(a,b)========>Setdown(b)=========>Goto(b,c)Goto(a,b)========>Setdown(b)=========>Goto(b,c)========>AT(robot,b)HOLDS(robot,box)TABLE(a)TABLE(b)状态5AT(robot,b)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)状态6(目标状态)AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)34.用谓词表示法求解机器人摞积木问题。子，桌上可堆放若干相同的方积木块。一块积木；将手中的积木放到桌之上;积木。积木世界的布局如下图所示。34.用谓词表示法求解机器人摞积木问题。子，桌上可堆放若干相同的方积木块。一块积木；将手中的积木放到桌之上;积木。积木世界的布局如下图所示。设机器人有一只机械手，要处理的世界有一张桌机械手有4个操作积木的典型动作：从桌上拣起在积木上再摞上一块积木；从积木上面拣起一块图机器人摞积木问题图机器人摞积木问题解：(1)先定义描述状态的谓词CLEAR(x)：积木x上面是空的。ON(x,y)：积木x在积木y的上面。ONTABLE(x)：积木x在桌子上。HOLDING(x)：机械手抓住x。HANDEMPTY：机械手是空的。其中，x和y的个体域都是｛A,B,C｝。问题的初始状态是：ONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTY

问题的目标状态是：ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTY2)再定义描述操作的谓词在本问题中，机械手的操作需要定义以下4个谓词:Pickup(x)：从桌面上拣起一块积木X。Putdown(x)：将手中的积木放到桌面上。Stack(x,y)：在积木x上面再摞上一块积木y。Upstack(x,y)：从积木x上面拣起一块积木y。其中，每一个操作都可分为条件和动作两部分，具体描述如下:Pickup(x)条件：ONTABLE(x)，HANDEMPTY，CLEAR(x)动作：删除表：ONTABLE(x)，HANDEMPTY添加表：HOLDING(x)Putdown(x)条件：HOLDING(x)动作：删除表：HOLDING(x)添加表：ONTABLE(x)，CLEAR(x)，HANDEMPTYStack(x,y)条件：CLEAR(y)，HOLDING(y)动作：删除表：HOLDING(y)，CLEAR(y)添加表：HANDEMPTY，ON(x,y)，CLEAR(x)Upstack(x,y)条件：HANDEMPTY，CLEAR(y)，ON(y,x)动作：删除表：HANDEMPTY，ON(y,x)添加表：HOLDING(y)，CLEAR(x)(3)问题求解过程利用上述谓词和操作，其求解过程为：ONTABLE(A)ONTABLE(B)ONTABLE(C)Pickup(B)CLEAR(A)ONTABLE(A)ONTABLE(B)ONTABLE(C)Pickup(B)CLEAR(A)7CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(B)Upstack(A,C)ONTABLE(B)Putdown(C)ON(C，A).^一HOLDING(C)1一CLEAR⑻CLEAR(A)CLEAR(C)CLEAR(B)HANDEMPTYCLEAR(C)ONTABLE(A)ONTABLE(C)HOLDING(B)ONTABLE(A)ONTABLE(C)Stack(C,B)')=ON(B,C)ONTABLE(CPickup(A))Stack(B,A)瓯请遮下列J命题分别写出它们的唔义网络:CLEA)R(B)b学生都有一台计AR(B)CLEAR(C)HANDEMPTY=ON(B,C)一CLEAR(A)CLEAR(B)HOLDING(AONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPT解：.请对下列命题分别写出它们的语义网络:(1)每个学生都有一台计算机。(2)高老师从3月到7月给计算机系学生讲《计算机网络》课。End解：EndStart1sASubjecObject一Action老师高老师讲课事件j计算机系学生ActionCaurse讲课计算机网络(5)红队与蓝队进行足球比赛，最后以3：2的比分结束。解：比赛AKOParticipants1Outcome红队足球赛3:2Participants2蓝队.请把下列命题用一个语义网络表示出来:(1)树和草都是植物；解：植物AKOAKO树草(2)树和草都有叶和根;

解:叶根HaveHave植物是一种是一种树草(3)水草是草，解：且生长在水中；植物AKOAKO草水草Live水中(4)果树是树，解：且会结果；植物AKOAKO树果树Can结果(5)梨树是果树中的一种，它会结梨。解：AKOAKOCan树果树梨树结梨.用语义网络表示：动物能运动、会吃。鸟是一种动物，鸟有翅膀、会飞。鱼是一种动物，鱼生活在水中、会游泳。.假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12°,最低气温-2°,降水概率15%。”请用框架表示这一知识。解：Frame〈天气预报》地域：北京时段：今天白天天气：晴风向：偏北风力：3级气温：最高：12度最低：-2度降水概率：15%.按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。解：师生框架Frame<Teachers-Students>Name：Unit(Last-name,First-name)Sex：Area(male,female)Default：maleAge：Unit(Years)Telephone：HomeUnit(Number)MobileUnit(Number)教师框架Frame<Teachers>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学生框架Frame<Students>AKO<Teachers-Students>Major：Unit(Major-Name)Classes：Unit(Classes-Name)Degree：Area(doctor,mastor,bachelor)Default：bachelor.设有如下一段知识：“张、王和李都属于高山协会。该协会的每个成员不是滑雪运动员，就是登山运动员，其中不喜欢雨的运动员是登山运动员，不喜欢雪的运动员不是滑雪运动员。王不喜欢张所喜欢的一切东西，而喜欢张所不喜欢的一切东西。张喜欢雨和雪。”试用谓词公式集合表示这段知识，这些谓词公式要适合一个逆向的基于规则的演绎系统。试说明这样一个系统怎样才能回答问题：“高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员？”解：(1)先定义谓词A(x)表示x是高山协会会员S(x)表示x是滑雪运动员C(x)表示x是登山运动员L(x,y)表示x喜欢y将问题用谓词表示出来“张、王和李都属于高山协会A(Zhang)八A(Wang)八A(Li)高山协会的每个成员不是滑雪运动员，就是登山运动员(Vx)(A(x)八-S(x)fC(x))高山协会中不喜欢雨的运动员是登山运动员(Vx)(-L(x,Rain)fC(x))高山协会中不喜欢雪的运动员不是滑雪运动员(Vx)(-L(x,Snow)f-S(x))王不喜欢张所喜欢的一切东西(Vy)(L(Zhang,y)f-L(Wang,y))王喜欢张所不喜欢的一切东西(Vy)(-L(Zhang,y)fL(Wang,y))张喜欢雨和雪L(Zhang,Rain)八L(Zhang,Snow)将问题要求的答案用谓词表示出来高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员？(3x)(A(x)fC(x)八一S(x))为了进行推理，把问题划分为已知事实和规则两大部分。假设，划分如下：已知事实：A(Zhang)八A(Wang)八A(Li)L(Zhang,Rain)八L(Zhang,Snow)规则：(Vx)(A(x)八-S(x)fC(x))(Vx)(-L(x,Rain)fC(x))(Vx)(-L(x,Snow)f-S(x))(Vy)(L(Zhang,y)f-L(Wang,y))(Vy)(-L(Zhang,y)fL(Wang,y))把已知事实、规则和目标化成推理所需要的形式事实已经是文字的合取形式：f1:A(Zhang)AA(Wang)AA(Li)f2:L(Zhang,Rain)AL(Zhang,Snow)将规则转化为后件为单文字的形式：r1:A(x)A-S(x)-C(x))r2:-L(x,Rain)一C(x)r3:-L(x,Snow)一-S(x)r4：L(Zhang,y)-L(Wang,y)r5:「L(Zhang,y)一L(Wang,y)将目标公式转换为与/或形式-A(x)V(C(x)A-S(x))