《人工智能》--课后习题答案.docx

UPIC1.1.3(><nnRight3.11答：（口与/或图的解图I那些可解结点的子图，包含结点到目的结点集的、连通的可解结戊的子图。在句阳的完整的除含图中扩展生成出包含初始结点和目的结点集合的连通的明显子图”（2）算法叱：必须对当前已生成出的与或图中的所行结点实脩其每解点是否为可情结点的标注过程,如果起始结点被标注为可解的，则搜索过程可成功地结束：如果起始结点让不能被M泞为可解的，则应当继续扩展生成结点（尽可能地记录，所有生成的结点中，哪些站点被标注了可解的，以便诚少下一次标注过程的工作量）：同样地,对不可解结点也同样如此.利用结点的可解/不可解性防.能从搜索图中删去可解结点的任何不可解结点的子结点：同样地.徒删去不可解结点的所有的子结点（搜索这些被删除的结点是没育意义的,而只会降低搜索的效率），两个主要过程的反复：自上而下的图生长过程，并通过跟踪有标记的连接符寻找一个候选局都解图自下而上的估价函数值的修正、连接符的标记和SO1.VED的标注过程3. 12答：此题耍求按照课中例即的方式，给出舞法，以卜是旭个循环结束时的搜索图,上而这种做法比较简单,也可以如下做:1.10答：基于规则的演绛推理可分为正向演绊推理、反向演绛推理和正反向混合演绛推埋.在正向演嶂推理，3作为F规则用的勰含式对"实的总数据熔进行操作运观,直至得到该H标公式的一个终止条件为止,事实目标公式在反向演锋推理7.作为B规则用的也含式对I1.依的总数据库进行操作运算.直至得到包含这些我的终止条件为止.目标公式事实4. 11答：第五章不精确推理5. 1答：不精确推理是建立在卑缪典法础上的种推理，是耗于不确定性知识的推理。不精确推理就是从丕确定性的初始骈实(证据)出发,通过运用不确定性的知识,及终推出具有一定程度的不确定性却是合理或并近乎合理的结论的思维过程，在不精确推理中,知识和证据都具有不俏定性，这为推理机的设计与实现增加了复杂度和难度.它除了必须解决推理方向、推理方法和控制策略等根本问题外,一般还需要解决不确定性的表示、不确定性的匹配和不确定性的更新算法等问咫.6. 2答：有明确定义但不一定出现的事件中包含的不确定性称为质机性，他不因人的主观意思变化，由事物本身的因果律决定.不精确推理就是表示和处理随机性的推理方法.5. 3答:(1)当有一个证据E1.时，根据BayeS公式，可得P(HiE1.)-=0.1*0.5/(0.1*0.5+0.3*0.3也3*0.5)=Q.2/0.44=0.15%pub1.ic1.yusedpackagesinc1.ude*pfccore.ph*%exportedinterfaces%exportedc1.assesSinc1.ude*fami1.y1.c1.*(4)fa三i1.y1.prj6文件头：*g率*不拿*拿朴/1HC梆8*杯杯*拿*8*8杆杆叱*8*杆IHC杵杆料*不拿*/IMCCopyright(c)SabuFrancisAssociates*林*权林打打我拿*拿*6林打打打*g*g*拿/我/*a/我我择容*打林打打Jimp1.ementfami1.y】opencoreconstantsC1.assName="fami1.y】”.C1.assVersion='SJus1.Oaie:SJRevision:c1.ausesc1.ass1.nfo(c1.HSSName.c1assVersion).domainsgender=fema1.e();ma1.e().c1.assfacts-famiIyDBperson:(stringName,genderGender).parent:(stringPerson,stringParent).c1.asspredicatesfather:(stringPerson,stringFather)nondetenanyf1.cw.c1.ausesfather(Person,Father):-parent(Person,Father),person(Father,ma1.e().c1.asspredicatesgrandEather:(stringPerson,stringGrandFather)nondeterm(o,o).c1.ausesXrandFather(Person.GrandFa1.her)：-parent(Persoicates)文件尾：recons1.t:(string).c1.ausesreconsu1.t():"retractFactDB(fami1.y!)B),(.famiIyDB).c1.ausesrun()：-conso1.e:init(),stdIO:zwrite(*1.oaddatan*)treconsu1.t(*.fa.IX1."),std1.:write(*nfathertestn*).father(X,Y),std1.:writef(*%isthefatherof%r,Y.X),fai1.,runO:-StdIO:JwriteCXngrandFathor1.es1.n*),grandFather(X,Y),std1.:writef(*%isthegrandfatherof%n*,Y.X),fai1.,run()：-std1.:writeCnancestorofPamtestn*),X="Pa11,ancestor(X,Y),S1.dI0:Wri1.Cf(飞istheancestorof%n*1.Y,X)>fai1.,run():-SIdI0:Wri1.ecEndofIeSIn")endip1.c三cntfamiIy1.g1.mainExe:run(famiIy1.:run).(5)fa«i1.y1.pro补充习题：1.编写一ProIog程序使得你能和计算机“交谈”(ConversationswithaCoBP1.nerr下列图显示了对话时的情景，字体加机的语句表示用户从进盘输入的内容，其他则是计算机的答复。HE1.1.OHIDOYOUIAWTTOTA1.XNOIWANTTOS1.EEPYOUAREASTOPIDCOMPUTERIAMNICECOMPUTER1.答：domains*领域段，说明程序要用到的数据类型*/Words=StririKsentence-words*predicates/*谓词段，说明程序要用到的谓词名和参数”nondetermta1.knndetermhuman(sentence)nondetermanswer(sentence)nondetermto1.ist(words,sentence)nondetermprocess(words)nondetermchange(words,words)c1.auses*子句段.说明程序要用到的事实和规则*'taik：-human(X),answer(X),ta1.k.human(Y):-readIn(X),to1.ist(X,Y).to1.is1.(Str>HIT):-fronttoken(Str,H1S1.r1.),!.Io1.ist(Str1.T).to1.istC,).answer():-n1.,n1.一个序列和一对点,要求证明(或反证)这个序列是这两个点之间一条可能的路线.可以看出,这是一个证明型问遨：即证明给出的序列是给定的两点之间的一条路规.那么什么是跖戏？结合图2,我们来看几个有用的例子。(1) bdC这个序列是a和C两点之间的路线吗？显然不是,因为它的起始点不对.(2) dce这个序列是d和b两点之间的路线吗?当然不是：它的终止点不对.(3) ab。是a和e之间的路线吗？不是，因为在平面图上，b和e两个点之间不是直接相连的.可见，对于一个给定的点序列,要使它成为某对特定的点之间的路线，需要满足以下三个条件： 序列应该从点对的第一点开始。 序列应该以点对的第二点结束. 序列应该是连通的连通序列也就是说，序列中任意两个连续的点在平面图中应该是相连的.对于给定的一个序列和一对皓点，如果这三个条件都湎足，加么可以确信这个序列是这两个点之间的路战。这三个条件是证明该假设的充分条件,同时也是必要条件.设计方案在Prf>1Og中可以用一个表来表示一个点序列,例如,序列可以表示为e,c,d,b:一对蝌点也可以用一个表表示。因此，route_between(e,c,d,b,e,b)可以表示egcgdgb是e、b两点之间的路践”将是我们所关心的关系的一个实例，目标是什么？我们可以写成routeJCtWeen(X.Y,Z),这里序列X和一对端点Y,2是给定的.我们关心的是目标能否取得成功.为了给route_between写出一条规则，我们只需要将上面写下的三个条件转换成Pro1.og就可以了，如下所示：route_between(X,Y,Z):begins-with(X,Y),ends_with(X,7.),is_connected(X).如果能够写出beginSJrith、endsWith和is_COnneCIed这三个谓词的检脸定义,我们应该能铭输入询问，如routeJJetWeen(a.d,e,c,b,a,b),并得到一个是还是否的答红“执行方案(1) begins.With该关系的一个实例就是bcinSjiIh(b,a,d,b).显然，这个关系要成立，端点与表头必须是完全相同的.用规则表示就是begins.WithuXN,X).可以用一些询问进行试验,例如beginswth(b,a.d,.b)等.(2) ends_withends.with(b,a,d,d)就是该关系的一个实例,与beginswith相比，这个关系就不是那么容易定义了，因为表的最后一个元素看起来并不像第一个元素那样特别.不过你可以想出一个表.使得它与表b,a.d)相关，又是从它的最后一个元案开始的吗？珞原表一一下,变成倒,a,bj如何？所以我们可以这样描述ends_with；表X以点Y结束，如果X的逆序从点丫开始。表的倒置.即求一个表的逆序表是关于表的一个最常见的问题.这里我们不做具体讨论,其完整程序如图4所示.现在，我们就可以用reverse关系和刚刚已经定义好的1.>egins_with关系，将上面的描述用Pro1.og表示成：ends_with(X,Y):-reverse(X,Z),begins_with(Z,Y).可以用一些适宜的询问来试验一下，domainss_1.ist=symbo1.*predicatesappend(s_1.ist,s_1.ist,s_1.ist)又称“黑板”、”综合数据库”或“动态数据库”，主要用于存放用户提供的初始1H实、问SS描述及系统运行过程中得到的中间结果、最终结果等信息数据库是推理机不可缺少的工作场地,同时由于它可记录推理过程中的各种有关信息.又为解择机构提供了答笑用户咨沏的依据(制相应的教押库管理程序)斛际机构：答班用户提出的问题，解和系统的推理过程，使系统对用户透明7.3答：(1)传统程序是依据某确定的算法和数据结构来求解某一确定的何时.而专家系统是依据知识和推理来求解问题，这是专家系统与传统程序的域大区别，传统程序=数据结构+翼法专媒系统=知识*推理(2)传蜕程序把关于向应求解的知识晦含于程序中，而专家