支持集策略的一道习题，在线等
设有子句集：
S = { ┐I(x)∨R(x),I(a), ┐R(y)∨┐L(y),L(a)}，
其中子句┐I(x)∨R(x)是目标公式否定的子句.
归结如下：
S： （1） ┐I(x)∨R(x)
(2) I(a)
(3) ┐R(y)∨┐L(y)
(4) L(a)
S1: (5) R(a) 由(1),(2){a/x}
(6) ┐I(x)∨┐L(x) 由(1),(3){x/y}
S2: (7) ┐L(a) 由(5),(3){a/y}
(8) ┐L(a) 由(6),(2){a/x}
(9) ┐I(a) 由(6),(4){a/x}
(10) NIL 由(7),(4)
题目完。
在（9）中，由（6）,（4）归结得到，但是（6）和（4）中却没有满足：2个亲本子句中至少要有一个是目标公式否定的子句或其后裔。
个人认为目标公式否定的子句或其后裔应该是:┐I(x)∨R(x)或者┐I(x)或者R(x)。不知书（人工智能技术导论 廉师友 P116 例5.28）上是如何归结的？
[解决办法]
（6）是由（1）和（3）归结，所以是（1）的后裔
