人工智能 第3章 推理技术1.pptVIP

* 《人工智能》 * 3 消解的一般过程： 设子句集S={C1,C2,…Cn}，则消解的一般过程是： S内任意子句两两逐一进行归结，得到一组归结式，称为第一级归结式，记为S1。 把S与S1内的任意子句两两逐一进行归结，得到一组归结式，称为第二级归结式，记为S2。 S和S1内的子句与S2内的任意子句两两逐一进行归结，得到一组归结式，称为第三级归结式，记为S3。 如此继续，直到出现了空子句或者不能再继续归结为止。　 * 《人工智能》 * 目的：为了提高消解推理的效率，删除某些无用的子句来缩小归结的范围。下述删除策略是完备的（即如果子句集S不可满足，则采用该策略一定可以推出空子句）。 纯文字删除法 如果某文字L在子句集中不存在可与之互补的文字?L，则称该文字为纯文字。包含纯文字的子句可以删除。 重言式删除法 如果一个子句中同时包含互补文字对，则该字句称为重言式。重言式是永远为真的子句，可以删除。 包孕删除法 设有子句C1和C2，如果存在一个代换σ，使得： C1σ?C2 ，则称C1包孕于C2，可删除C2。 4 删除策略 * 《人工智能》 * 目的：通过对参加归结的子句进行限制，尽可能减小归结的盲目性，使其尽快地归结出空子句。 支持集策略 限制：每一次归结时，亲本子句中至少有一个是由目标公式的否定所得到的子句，或者是它们的后裔。支持集策略是完备