第二章知识表示与推理.pptVIP

湖南科技大学计算机学院 戴祖雄 * ●goto(u) 适用性公式：~ONBOX 变换规则： 删除表 AT(monkey,$) 添加表 AT(monkey,u) 其中，记号$代表任何项。无论$为何值，公式AT (monkey,$)都要被删除。由于goto(u)为一算符方案，应用它将产生一个含有变量u的状态描述方案。把某个具体的常量值赋给u，就将产生一个具体的状态描述。 湖南科技大学计算机学院 戴祖雄 * ●pushbox(v) 适用性公式： ~ONBOX∧(?x)[AT(monkey,x)∧AT(box,x)] 变换规则： 删除表 AT(monkey,$) AT(box,$) 添加表 AT(monkey,v) AT(box,v) 湖南科技大学计算机学院 戴祖雄 * ●climbbox 适用性公式： ~ONBOX∧(?x)[AT(monkey,x)∧AT(box,x)] 变换规则： 删除表 ~ONBOX 添加表 ONBOX ●grasp 适用性公式：ONBOX∧AT(box,c) 变换规则： 删除表 ~HB 添加表 HB 湖南科技大学计算机学院 戴祖雄 * 当制定删除和添加规则以确定对算符作用的公式进行变换时，必须仔细弄清楚，不允许删去那些可从非删除公式产生出来的公式，否则被删除的公式又会被重新导出。对目标状态的搜索可以通过把可适用算符施于初始状态S0及其后裔的一般过程来进行，直至产生出某个包含目标谓词HB的状态描述为止。 搜索过程的第一步是检验HB是否可从S0得到。这种测试可由否定被证明的公式和应用归结求证方法以求得一个矛盾。因为很明显，不能从{S0}∪~HB求出一个矛盾，所以，得出目标测试失败的结论。 湖南科技大学计算机学院 戴祖雄 * 当制定删除和添加规则以确定对算符作用的公式进行变换时，必须仔细弄清楚，不允许删去那些可从非删除公式产生出来的公式，否则被删除的公式又会被重新导出。对目标状态的搜索现在可以通过把可适用算，符施于初始状态S0及其后裔的一般过程来进行，直至产生出某个包含目标谓词HB的状态描述为止。 搜索过程的第一步是检验HB是否可从S0得到。形式上，这种测试可由否定被证明的公式和应用归结求证方法以求得一个矛盾。因为很明显，不能从{S0}∪~HB求出一个矛盾(根本没有归结的可能)，所以，得出目标测试失败的结论。 湖南科技大学计算机学院 戴祖雄 * 简单的状态空间搜索过程的下一步是决定哪个算符是可适用的。归结定理证明方法在这里又能够被采用。对于每个算符，力图想要证明适用性公式遵循S0。很快就可以检验出grasp是不适用的。对于climbbox和pushbox,其适用性公式是一样的。这个共同的适用性公式的否定之子句形为ONBOX∨~AT(monkey,x)∨~AT(box,x)。这里，求出与S0矛盾的企图也要失败。所以climbbox和pushbox也不适用于S0。 最后，将能够证明：算符goto是适用于S0的。对goto(u)应用变换规则，看到这个算符的应用产生出状态描述方案S1： 湖南科技大学计算机学院 戴祖雄 * 重复上述过程。首先检查一下，看看方案S1是否有一种可以产生目标公式HB的情况。显然，不存在这种例。下一步，检查一下可能适用于S1例的算符。例如，在检查pushbox的适用性时，要问一问是否可从S1的某一例产生 ~ONBOX∧(?x)[AT(monkey,x)∧AT(box,x)] 由b代替S1中的u能够得到一个pushbox适用的例。令此例为S1必须细心地用b代替S1中出现的每一个u(这时只出现一次；但也有可能出现一次以上)。 当pushbox适用于S1时，climbbox也适用于S1，但是grasp不适用于S1的任何例。当然,goto(u)也适用于S1的任何例，但是它的应用不改变状态描述方案。 湖南科技大学计算机学院 戴祖雄 * 现在，如果把pushbox(v)应用于S1，那么得到下列状态描述方案：  如果把climbbox应用于S1，那么会得到另一个不同的状态方案。用上述同