• 2022-06-17
    已知初始问题的描述,通过一系列变换把此问题最终变为一个问题的集合;这些子问题的解可以直接得到,从而解决了初始问题,这种表示法叫()
    A: 状态空间法
    B: 谓词逻辑法
    C: 语义网络法
    D: 问题规约法