人工智能概论 课件 第3、4章 图搜索与问题求解； 知识表示与机器推理.ppt

例4-7证明：?x(P(x)→Q(x))∧?x(R(x)→?Q(x))??x(R(x)→?P(x))证(1)?x(P(x)→Q(x))[前提](2)P(y)→Q(y)[(1),US](3)?Q(y)→?P(y)[(2),逆否变换](4)?x(R(x)→?Q(x))[前提](5)R(y)→?Q(y)[(4),US](6)R(y)→?P(y)[(3),(5),I6](7)?x(R(x)→?P(x))[(6),UG]4.3产生式规则及其推理4.3.1产生式规则一般形式：IF?前件?THEN?后件?或者更形式化地表示为〈前件〉→〈后件〉其中,前件就是前提,后件是结论或动作,前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。语义:如果前提满足,则可得结论或者执行相应的动作,即后件由前件来触发。所以,前件是规则的执行条件,后件是规则体。X1X2X3X８X0X4X7X6X5例3-5八数码难题的状态图表示。用向量A＝(X0,X1,X2,X3,X4,X5,X6,X7,X8)表示,Xi为变量,Xi的值就是所在方格内的数字。于是,向量A就是该问题的状态表达式。我们将棋局设初始状态和目标状态分别为So＝(0,2,8,3,4,5,6,7,1)Sg＝(0,1,2,3,4,5,6,7,8)0组规则：r1:(X0==0)?(X2==n)?(X0=n)?(X2=0)r2:(X0==0)?(X4==n)?(X0=n)?(X4=0)r3:(X0==0)?(X6==n)?(X0=n)?(X6=0)r4:(X0==0)?(X8==n)?(X0=n)?(X8=0)1组规则：r5:(X1==0)?(X2==n)?(X1=n)?(X2=0)r6:(X1==0)?(X8==n)?(X1=n)?(X8=0)2组规则：r7:(X2==0)?(X1==n)?(X2=n)?(X1=0)r8:(X2==0)?(X3==n)?(X2=n)?(X3=0)r9:(X2==0)?(X0==n)?(X2=n)?(X0=0)…8组规则:r22:(X8==0)?(X1==n)?(X8=n)?(X1=0)r23:(X8==0)?(X0==n)?(X8=n)?(X0=0)r24:(X8==0)?(X7==n)?(X8=n)?(X7=0)于是,八数码问题的状态图可表示为({So},{r1,r2,…,r24},{Sg})例3-6梵塔问题。传说在印度的贝那勒斯的圣庙中,主神梵天做了一个由64个大小不同的金盘组成的“梵塔”,并把它穿在一个宝石杆上。另外,旁边再插上两个宝石杆。然后,他要求僧侣们把穿在第一个宝石杆上的64个金盘全部搬到第三个宝石杆上。搬动金盘的规则是：一次只能搬一个；不允许将较大的盘子放在较小的盘子上。于是,梵天预言：一旦64个盘子都搬到了3号杆上,世界将在一声霹雳中毁灭。盘子的搬动次数：264-1＝18446744073709511615二阶梵塔问