（精）归结演绎的归结策略.pptVIP

* * 归结演绎推理的归结策略 广度优先策略 支持集策略 删除策略 单文字子句策略 线性输入策略 祖先过滤策略 归结反演系统面临着大子句集而引起的演绎效率问题。 若盲目地随机选择子句对进行归结，不仅要耗费许多时间，而且还会因为归结出了许多无用的归结式而过分扩张了子句集，从而浪费了时空，并降低了效率。 解决问题的关键在于选择有利于导致快速产生空子句的子句对进行归结。 归结策略 删除策略： 限制策略： 通过删除某些无用的子句来缩小归结的范围 通过设置选用条件对参与归结的子句进行种种限制，减少归结的盲目性 ，如支持集、线性输入、单文字子句优先、祖先过滤等策略。 广度优先策略 广度优先是一种穷尽子句比较的复杂搜索方法 广度优先的归结过程： 设初始子句集为S0,归结过程如下： 从S0出发，对S0中的全部子句作所有可能的归结， 得到第一层归结式，把这些归结式的集合记为S1 。 2. 用S0中的子句与S1中的子句作所有可能的归结， 得到第二层归结式，把这些归结式的集合记为S2 。 3. 用S0和S1中的子句与S2中的子句作所有可能的归 结，得到第三层归结式，把这些归结式的集合记为 S3 。 如此继续,直到得到空子句。 例：子句集S={?I(x)?R(x),I(a), ?R(x) ?L(y), ?L(a)} S: S0: R(a) ?I(x)?L(x) ?I(x)?R(x) I(a) ?R(x) ?L(y) ?L(a) ?R(a) S1: L(a) L(a) ?I(a) ?I(a) NIL 广度优先策略归结出了许多无用的子句，既浪费时间，有浪费空间。容易引起组合爆炸。 P(A) 当问题有解时，用广度优先策略归结能保证找到最短路径。因此，它是一种完备的归结策略。 支持集策略 要求每依次参加归结的两个亲本子句中，至少应该有一个是由目标公式的否定所得到的子句或它们的后裔。 支持集策略是完备的，即当子句集不可满足时，由支持集策略一定能够归结出一个空子句。 例：子句集S={?I(x)?R(x),I(a), ?R(x) ?L(y), ?L(a)} S: S0: R(a) ?I(x)?L(x) ?I(x)?R(x) I(a) ?R(x) ?L(y) ?L(a) S1: L(a) L(a) ?I(a) NIL S3: 删除策略 归结时将无用的子句删除掉，缩小搜索范围，减少比较次数，从而提高归结效率。 常用的删除方法： （1）纯文字删除法 纯文字：如果文字L在子句集中不存在与其互补的文字?L，则称该文字为纯文字。 例：对于子句集S={P?Q ?R, ?Q ?R,Q, ?R} 其中P为纯文字，因此， P?Q ?R可从S中删除。 （2）重言式删除法 重言式：如果一个子句中包含有互补的文字对，则称该子句为重言式。 例： P(x) ? ? P(x) 、 P(x) ? Q(x) ? ? P(x) （3）包孕删除法 例： P(x)包孕于 P(y) ? Q(z) s ={y/x} P(x)包孕于 P(a) s={a/x} P(x )? Q(z)包孕于 P(f(x)) ? Q(a) ? R(y) s={f(a)/x),a/z} 设有子句C1和C2，如果存在一个置换s,使得 C1s?C2，则称C1包孕于C2。 单文字子句策略 要求每次参加归结的两个亲本子句至少有一个子句是单文字子句 单文字子句：如果一个子句只包含一个文字，则称此子句为单文字子句。 例：子句集S={?I(x)?R(x),I(a), ?R(x) ?L(y), ?L(a)} S: S0: R(a) ?I(x)?R(x) I(a) ?R(x) ?L(y) ?L(a) ?R(a) NIL 采用单文字子句策略，归结式包含的文字数将少于其亲本子句中的文字数，这将有利于向空子句的方向发展。 但这种归结策略是不完备的。即当子句集为不可满足时，用这种归结策略不一定能归结出空子句。 线性输入策略 要求每次参加归结的来年各个亲本子句中，至少应该有一个是初始子句集中的子句。 *