假设S是不可满足的，则（）一个归结推理规则的从S 到空子句的推理过程。

谓词公式G在海伯伦域上是不可满足的，则该公式在个体变量域D上是（）

A.可满足的
B.不可满足的
C.无法确定

点击查看答案

在语义网络中，用（）来标明类与子类之间的关系。

A.实例联系
B.泛化联系
C.聚集联系
D.属性联系

点击查看答案