人工智能第三版源码次协调逻辑推理系统APC_7-8(反例)

～Kill(A,A):f∨～Kill(B,A):f∨～Kill(C,A):f∨～Kill(D,A):f
～Hate(x1,y1):t∨Kill(x1,y1):t
～Hate(A,x2):t∨～Hate(C,x2):t
～Equal(x3,B):f∨Hate(A,x3):t
RichThan(D,A):f
Hate(D,A):t
～Hate(B,B):t
～Out(x4):t∨HadTime(x4):f
Kill(x5,y2):f∨RichThan(x5,y2):f
～RichThan(x6,A):f∨Hate(B,x6):t
Kill(x7,A):f∨～HadTime(x7):f
Kill(x8,A):f∨Hate(x8,A):f
Out(D):t
Equal(A,B):f
#Kill(B,A):t
$(使用支撑集策略耗时少于1秒; 不使用支撑集策略耗时较长).
$破案问题:
$ 在一栋房子里发生了一件神秘的谋杀案,侦察专家1和专家2根据他们的经验和知识以及对案件的调查, 分别建立了自己的知识库:
$专家1:
$ 1.在这栋房子里只住着A,B,C,D三人;
$ 2.是住在房子里的人杀了A;
$ 3.如果x恨y,则x可能杀y;
$ 4.A所恨的人,C一定不恨;
$ 5.除了B之外,A很所有的人;
$ 6.D不比A富有;
$ 7.D恨A;
$ 8.B不恨B;
$专家2:
$9.如果住在房子里的人当天外出,则没有作案时间;
$10.杀人者一定不比受害者富有
$11.B恨所有不比A富有的人;
$12.若x谋杀A,则x必定有作案时间;
$13.若x谋杀A,则x必定恨A;
$14.D在案发的当天外出;
$
$求证:B是杀人者. （不可能得出该结论）