教资会网络 | UGC NET CS 2015 年 6 月 – III |问题 24

以下哪一项是正确的？
(A)两个 Horn 子句的 resolvent 不是 Horn 子句
(B)两个 Horn 子句的解决方案是一个 Horn 子句
(C)如果我们根据事实或规则 A 解决否定目标 G 以得到子句 C，则 C 具有正字面量目标或非空目标
(D)如果我们根据事实或规则 A 解决否定目标 G 以得到子句 C，则 C 具有正字面量目标或空目标答案：（乙）
解释：

两个 Horn 子句的解析不是 Horn 子句。错误的

两个 Horn 子句的解析器是一个 Horn 子句。真的

如果我们根据事实或规则 A 解决否定目标 G 以得到子句 C，则 C 具有正字面量或非空目标。错误的

如果我们根据事实或规则 A 解决否定目标 G 以得到子句 C，则 C 具有积极的字面量或空目标。错误的

所以，选项（B）是正确的。
这个问题的测验