首页->公需课继续教育

已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这种知识表示法叫()。

（A）状态空间法

（B）问题归约法

（C）谓词逻辑法

（D）语义网络法