人工智能ch3课件幻灯片.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例 2 证明三角形三边上的垂线交于一点。 A B C D E F G 建立坐标系如图。设 由B,D,C共线及AD与BC垂直有 因此， 同理，由A,E,C共线及BE与AC垂直有 再由A,G,D与B,G,E分别共线有 结论： 两个问题： 1、方程与给定的条件与结论是否等价？ 2、如何由给定的一组方程推出另外一 组方程成立？ 下面以例1为例来说明问题1。 在条件： 下等价。 3、代数关系式的推导与验证 给定多项式方程组： 其中 为参数。如何从上述方程组推导出 思路：寻找函数 i=1,…,n, 使得 则由（I）可以推出（II）。 吴方法可以实现上述过程。 h1,h2,……,hn的零点是g的零点 ——使h1=0,h2=0,……,hn=0为0的变量也使g为0——原命题为真。 吴方法的步骤： 1、将方程组（I）化为三角型方程组： 2、计算 g 对 整除所得的余式： 其中 表示以 为主变元， 被 整除所得到的伪余式。 3、如果 ，则在某些条件下，可以从（I） 推导出 (II)。 伪除法：给定两个多项式 其中 是关于 的多项式，且 。 以 做主变元做多项式除法 其中 是有理式，分母都是 的某个次幂（设为 s）。用 同乘上式两边 这里 是关于 的多项式。 称为f 被 g 整除的伪余式。 例如，对于 因此 吴方法的实现 第一步：消元。通过伪除法实现。 例如，从下列方程组中消去 第二步：逐次伪除法。 从上式得 其中 为多项式。 如果 ，则在条件 下，由 （I）可以推出 （II）。 例 1（续）：我们要从方程组(1)—(4)推出（5）与（6）。为此，先三角化方程组(1)—(4). 由此，（5）在条件 下成立。 4、自动推理 由一些变量之间的已知关系推导一些变量之间的未知关系。 例 3 推导正五边形的边长与连接不相邻的两个顶点的线段长度之间的关系。 A B C D E O x y 以正五边形中心为坐标原点建立直角坐标系如图。设 则 由ABCDE为正五边形有 三角化后得 由此 * * * * * * * * * * * * * * 例：p.153,4.12(4) （?x）（?y）（?z）((P(x,y) ? Q(x,y)) ∨ R(x,z)) （?x）（?y）（?z）((┒P（x,y) ∨Q(x,y))∨ R(x,z)) （?x）（?y）（?z）(┒P（x,y） ∨Q（x,y）∨R（x,z)) （?x）（?y）（┒P(x,y) ∨Q(x,y)∨R(x,f（x,y)) 子句集 {┒P(x,y)∨Q(x,y)∨R(x,f（x,y))} 定理 设谓词公式F的子句集为S，F不可满足的充分必要条件是S不可满足的 海伯伦理论 思路 对子句集S的不可满足验证是无穷验证，它需要穷举S的所有解释 海伯伦给出了一个验证范围称为H域，并指出S的不可满足验证只需要在H域上验证就可以了 H域 定义 设S为子句集，下述方法构造的H?称为海伯伦域，记为H 令H0是S中所有个体常量的集合。若S中无个体常量，置H0 ={a}，a是任一个体常量。 Hi+1 = Hi ∪ {S中所有f（x1，…， xn ）| xj ? Hi} H= H? =lim Hi 例 设S={P（x）? Q（x），R（f（y））} H0={a} H1= H0∪{f（y）|y ?H0}={a，f（a）} H2= H1∪{f（y）|y ?H1}={a，f（a），f（f（a））} …… H= H? ={a，f（a），f（f（a）），f（f（f（a））），…..} 设S= {┒P（x,y） ∨Q（x,y）∨R（x,f（x,y））} H0={a} H1= H0∪{f（x，y）|x，y?H0}={a，f（a，a）} H2= H1∪{f（x，y）|x，y?H1}={a，f（a，a），f（a，f（a，a）），f（f（a，a），a），f（f（a，a），f（a，a））} …… 注：一般来说H域是无限的，特例是：当S中没有函数时，H仅含S中的个体常量，或仅含一个个体常量。 基子句