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

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

A、问题归约法

B、语义网络法

C、状态空间法

D、谓词逻辑法