人工智能及其应用课后答案

第二章知识表示方法2-1状态空间法、问题归约法、谓词逻辑法和语义网络法的重点是什么它们有何本质上的联系及异同点答：状态空间法：鉴于解答空间的问题表示和求解方法， 它是以状态和算符为基础来表示和求解问题的。一般用状态空间法来表示下述方法：从某个初始状态开始，每次加一个操作符，递加的成立起操作符的试验序列，直抵达到目标状态为止。问题规约法：已知问题的描绘， 经过一系列变换把此问题最后变为一个子问题会合： 这些子问题的解能够直接获得，进而解决了初始问题。问题规约的本质：从目标（要解决的问题）出发逆向推理，成立子问题以及子问题的子问题， 直至最后把出示问题规约为一个平庸的本原问题会合。谓词逻辑法：采纳谓词合式公式和一阶谓词算法。要解决的问题变为一个有待证明的问题，而后采纳消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的， 进而证明这个新语句也是正确的。语义网络法：是一种结构化表示方法，它由节点和弧线或链构成。 节点用于表示物体、观点和状态，弧线用于表示节点间的关系。语义网络的解答是一个经过推理和般配而获得的拥有明确结果的新的语义网络。语义网络可用于表示多元关系，扩展后能够表示更复杂的问题2-2设有3个传教士和3个野人到达河畔，打算乘一只船从右岸渡到左岸去。该船的负载能力为两人。在任何时候，假如野人人数超出传教士人数，那么野人就会把传教士吃掉。他们如何才能用这条船安全地把全部人都渡过河去用Si（nC,nY）表示第i次渡河后，河对岸的状态，nC表示传教士的数量，nY表示野人的数量，因为总人数确实定的，河对岸的状态确立了，河这边的状态也即确立了。考虑到题目的限制条件，要同时保证，河两岸的传教士数量许多于野人数量，故在整个渡河的过程中，同意出现的状态为以下3种状况：nC=0nC=3nC=nY>=0（当nC不等于0或3）用di（dC,dY）表示渡河过程中，对岸状态的变化， dC表示，第i次渡河后，对岸传教士数量的变化，dY表示，第i次渡河后，对岸野人数量的变化。当 i为偶数时，dC,dY同时为非负数，表示船驶向对岸，i为奇数时，dC,dY同时为非正数，表示船驶回岸边。

初始状态为So(0,0)，目标状态为S0(3,3)，用深度优先搜寻的方法可找寻渡河方案。在此，用图求法该问题，令横坐标为nY,纵坐标为在格子上，沿对角线挪动一格，也能够沿坐标轴方向挪动nC，可行状态为空心点表示，每次能够1nC，可行状态为空心点表示，每次能够1格，或沿坐标轴方向挪动2格。第偶数次数状态转移，沿左方，下方，或nY从(0,0)开始，挨次沿箭头方向改变状态，经过 11步以后，即能够抵达目标状态(3,3)，相应的渡河方案为：d1(1,1)--d2(-1,0)--d3(0,2)--d4(0,-1)--d5(2,0)--d6(-1,-1)--d7(2,0)--d8(0,-1)--d9(0,2)--d10(-1,0)--d11(1,1)2-3利用图，用状态空间法例划一个最短的旅游行程：此旅途从城市 A开始，接见其余城市不多于一次，并返回A。选择一个状态表示， 表示出所求得的状态空间的节点及弧线，标出适合的代价，并指明图中从开端节点到目标节点的最正确路径。2-4 试说明如何把一棵与或解树用来表达图所示的电网络阻抗的计算。独自的可分别用R、j3L或1/j3C来计算，这个事适用作来源问题。后继算符应以复归并联和串连阻抗的规则为基础。°，J R-图商定，用本来的与后继算法用来表达并联关系，用本来的或后继算法用来表达串连关系

Z22-5 试用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。用四元数列(nA,nB,nC,nD)来表示状态，此中nA表示A盘落在第nA号柱子上，nB表示B盘落在第nB号柱子上，nC表示CZ22-5 试用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。用四元数列(nA,nB,nC,nD)来表示状态，此中nA表示A盘落在第nA号柱子上，nB表示B盘落在第nB号柱子上，nC表示C盘落在第nC号柱子上，nD表示D盘落在第nD号柱子上。初始状态为1111，目标状态为3333R1R2R3L2Z211L1Z22R4C3Z31Z21C1Z32Z3L4L3C2C4以下图，按从上往下的次序，挨次办理每一个叶结点，挪动圆盘，问题得解。2-6把以下句子变换成子句形式:(x){P(x)一P(x)}(2)xy(On(x,y)一Above(x,y))(2)xyz(Above(x,y)AAbove(y,z)—Above(x,z))~{(x){P(x)—{(y)[p(y)—p(f(x,y))]A(y)[Q(x,y)—P(y)]}}}(ANYx){P(x)P(x)}(ANYx){〜P(x)ORP(x)}〜P(x)ORP(x)最后子句为〜P(x)ORP(x)(ANYx)(ANYy){On(x,y)Above(x,y)}(ANYx)(ANYy){〜On(x,y)ORAbove(x,y)}〜On(x,y)ORAbove(x,y)最后子句为〜On(x,y)ORAbove(x,y)(ANYx)(ANYy)(ANYz){Above(x,y)ANDAbove(y,z)Above(x,z)}(命题联络词之优先级以下：否认f合取f析取f蕴涵f等价)(ANYx)(ANYy)(ANYz){〜[Above(x,y)ANDAbove(y,z)]ORAbove(x,z)}〜[Above(x,y)ANDAbove(y,z)]ORAbove(x,z)最后子句为〜[Above(x,y),Above(y,z)]ORAbove(x,z)⑷〜{(ANYx){P(x){(ANYy)[p(y)p(f(x,y))]AND(ANYy)[Q(x,y)P(y)]}}}〜{(ANYx){〜P(x)OR{(ANYy)[〜p(y)ORp(f(x,y))]AND(ANYy)[〜Q(x,y)ORP(y)]}}}(EXTx){P(x)AND{(EXTx)[p(y)AND〜p(f(x,y))]OR(EXTy)[Q(x,y)AND〜P(y)]}}(EXTx){P(x)AND{(EXTw)[p(y)AND〜p(f(w,y))]OR(EXTv)[Q(x,v)AND〜P(v)]}}P(A)AND{[p(y)AND〜p(f(B,y))]OR[Q(A,C)AND〜P(C)]}P(A)AND{[p(y)AND〜p(f(B,y))ORQ(A,C)]AND[p(y)AND〜p(f(B,y))OR〜P(C)]}P(A)AND{{p(y),〜p(f(B,y))}ORQ(A,C)}AND{{p(y),〜p(f(B,y))}OR〜P(C)}最后子句为P(A){p(x),〜p(f(B,x))}ORQ(A,C){p(y),〜p(f(B,y))}OR〜P(C)

2-7用谓词演算公式表示以下英词句子（多用而不是省用不一样谓词和项。比如不要用单调的谓词字母来表示每个句子。）Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.先定义基本的谓词INTLT(x)meansxisintelligentPERFORM(x,y)meansxcanperformyREQUIRE(x)meansxrequiresintelligenceCMP(x)meansxisacomputersystemHMN(x)meansxisahuman上边的句子能够表达为(随意x){(存在t)(存在y)[HMN(y)合取PERFORM(y,t)合取REQUIRE(t)合取CMP(x)合取PERFORM(x,t)]INTLT(x)}2-8把以下语句表示成语义网络描绘：Allmanaremortal.Everycloudhasasilverlining.AllbranchmanagersofDECparticipateinaprofit-sharingplan.⑴ATTRManHASMortalManHAS(2)COLOURCloudLiningSilverBranchProfit-sharingLEVELATTRATTENDPlanManagePlanCOMPANYDEC2-9作为一个电影观众，请你编写一个去电影院看电影的剧本。开场条件顾客想看电影顾客在足够的钱角色顾客，售票员，检票员，放映员(3)道具钱，电影票(4)场景场景1购票顾客到达售票处售票员把票给顾客顾客把钱给售票员顾客走向电影院门场景2检票顾客把电影票给检票员检票员检票检票员把电影票还给顾客顾客进入电影院场景3等候顾客找到自己的座位顾客坐在自己座位一等候电影开始场景4观看电影

(a)放映员播放