問答題設(shè)有子句集:S={~I(xiàn)(x)∨R(x),I(a),~R(y)∨~L(y),L(a)}對(duì)S用支持集策略歸結(jié)出空子句,畫出歸結(jié)樹。

您可能感興趣的試卷

你可能感興趣的試題