单项选择题 下列哪个属于归结推理方法（）

单项选择题 状态空间知识表示方法中的状态节点可用于表示哪些要素（）？

单项选择题 下列（）解释了什么是Skolem范式。