已知初始问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题。这是知识表示法叫()
A:状态空间法
B:问题归约法
C:谓词逻辑法
D:语义网络法
出自:计算机科学