人工智能与神经网络 第二次作业

1、2-1状态空间法、问题归约法、谓词逻辑法和语义网络法的要点是什么？它们有何本质上的联系及异同点?状态空间法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。问题归约法：从目标出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始问题归约为一个平凡的本原问题集合。这就是问题归约法的实质。谓词逻辑法：允许表达那些无法用命题逻辑表达的事情，其目的在于把数学中的逻辑论证符号化。语义网络法：语义网络是知识的一种结构化图解表示，它由节点和弧线或链线组成。节点用于表示实体、概念和情况等，弧线用于表示节点间的关系。联系及异同点：状态空间图需要扩展过多的节点，容易出现“组合爆炸”

2、，因而只适用于表示比较简单的问题，它是正向推理，只能表示或的关系。问题归约法能够比状态空间法更有效地表示问题，状态空间法是问题归约法的特例，是逆向推理，能表示与或关系。谓词逻辑法是一种形式语言，能够把数学中的逻辑论证符号化，可以表示比较复杂的问题。语义网络法可用于表示多元关系，扩展后可以表示更复杂的关系。2-3利用图23,用状态空间法规划一个最短的旅行路程：此旅程从城市A开始，访问其他城市不多于一次，并返回A。选择一个状态表示，表示出所求得的状态空间的节点及弧线，标出适当的代价，并指明图中从起始节点到目标节点的最佳路径。图2.3最佳路径：ACDEBA或ABEDCA总代价：6+5+6+10+7=

3、34如下图所示，所有路径（其中红色所标出的为所要找的最佳路径）2-4试说明怎样把一棵与或解树用来表达图2.28所示的电网络阻抗的计算。单独的R、L或C可分别用R、j3L或1/joC来计算，这个事实用作本原问题。后继算符应以复合并联和串联阻抗的规则为基础。图2.28约定，用原来的与后继算法用来表达并联关系，用原来的或后继算法用来表达串联关系2-6把下列句子变换成子句形式：(Vx)P(x)fP(x)VxVy(On(x,y)fAbove(x,y)VxVyVz(Above(x,y)AAbove(y,z)fAbove(x,z)(4)(Vx)P(x)f(Vy)p(y)fp(f(x,y)A(Vy)Q(x,y

4、)fP(y)(ANYx)P(x)TP(x)(ANYx)P(x)ORP(x)P(x)ORP(x)最后子句为：P(x)ORP(x)(ANYx)(ANYy)On(x,yRAbove(x,y)(ANYx)(ANYy)On(x,y)ORAbove(x,y)On(x,y)ORAbove(x,y)(2)最后子句为：On(x,y)ORAbove(x,y)(ANYx)(ANYy)(ANYz)Above(x,y)ANDAbove(y,zQAbove(x,z)(命题联结词之优先级如下:否定f合取f析取f蕴涵f等价)(ANYx)(ANYy)(ANYz)Above(x,y)ANDAbove(y,z)ORAbove(x,

5、z)Above(x,y)ANDAbove(y,z)ORAbove(x,z)最后子句为：Above(x,y),Above(y,z)ORAbove(x,z)(ANYx)P(x)T(ANYy)p(y)Tp(f(x,y)AND(ANYy)Q(x,y)TP(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)ANDp(f(x,y)OR(EXTy)Q(x,y)ANDP(y)(EXTx)P(x)AND(EXTw)p(y)ANDp(f(w,y)OR(EXTv)Q(x,v)ANDP(v)P(A)ANDp(y)

6、ANDp(f(B,y)ORQ(A,C)ANDP(C)P(A)ANDp(y)ANDp(f(B,y)ORQ(A,C)ANDp(y)ANDp(f(B,y)ORP(C)P(A)ANDp(y),p(f(B,y)ORQ(A,C)ANDp(y),p(f(B,y)ORP(C)最后子句为：P(A)p(x),p(f(B,x)ORQ(A,C)p(y),p(f(B,y)ORP(C)2-7用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)Acomputersystemisintelligentifitcanperformataskwhich,ifperformedby

7、ahuman,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)TINTLT(x)2-8把下列语句表示成语义网络描述：Allmanaremortal.E

8、verycloudhasasilverlining.AllbranchmanagersofDECparticipateinaprofit-sharingplan.(1)ManATTR-Mortal2-10试构造一个描述你的寝室或办公室的框架系统。2-9作为一个电影观众，请你编写一个去电影院看电影的剧本。（1）开场条件（a）顾客想看电影（b）顾客在足够的钱（2）角色：顾客，售票员，检票员，放映员（3）道具：钱，电影票场景：场景1购票a）顾客来到售票处（b）售票员把票给顾客（c）顾客把钱给售票员（d）顾客走向电影院门场景2检票（a）顾客把电影票给检票员（b）检票员检票（c）检票员把电影票还给顾客（d）顾