已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法