首页->东数西算

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

（A）状态空间法

（B）问题归约法

（C）谓词逻辑法

（D）语义网络法