人工智能第二章知识表示方法

人工智能第二章知识表示方法2-1状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么？它们有何本质上的联系及异同点?答：状态空间法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。一般用状态空间法来表示下述方法：从某个初始状态开始，每次加一个操作符，递增的建立起操作符的试验序列，直到达到目标状态为止。问题规约法：已知问题的描述，通过一系列变换把此问题最终变成一个子问题集合：这些子问题的解可以直接得到，从而解决了初始问题。问题规约的实质：从目标（要解决的问题）出发逆向推理，建立子问题以及子问题的子问题，直至最后把出示问题规约为一个平凡的本原问题集合。谓词逻辑法：采用谓词合式公式和一阶谓词算法。要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演莱证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。语义网络法：是一种结构化表示方法，它由节点和弧线或链组成。节点用于表示物体、概念和状态，弧线用于表示节点间的关系。语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。语义网络可用于表示多元关系，扩展后可以表示更复杂的问题2-2利用图2.3，用状态空间法规划一个最短的旅行路程：此旅程从城市A开始，访问其他城市不多于一次，并返回A。选择一个状态表示，表示出所求得的状态空间的节点及弧线，标出适当的代价，并指明图中从起始节点到目标节点的最佳路径。710910D图2.32-3试用四元数列结构表示四圆盘梵塔问题，并画出求解该问题的与或图。用四元数列(nA,nB,nC,nD)来表示状态，其中nA表示A盘落在第nA号柱子上，nB表示B盘落在第nB号柱子上，nC表示C盘落在第nC号柱子上，nD表示D盘落在第nD号柱子上。初始状态为1111，目标状态为3333如图所示，按从上往下的顺序，依次处理每一个叶结点，搬动圆盘，问题得解。2-4把下列句子变换成子句形式：(1)xy(On(x,y)→Above(x,y))(2)xyz(Above(x,y)∧Above(y,z)→Above(x,z))(1)(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)(2)(ANYx)(ANYy)(ANYz){Above(x,y)ANDAbove(y,z)Above(x,z)}(命题联结词之优先级如下:否定→合取→析取→蕴涵→等价)(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)2-5用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)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把下列语句表示成语义网络描述：(1)Allmanaremortal.(2)Everycloudhasasilverlining.(1)(2)(3)第7/9页