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

A.状态空间法

B.问题归约法

C.谓词逻辑法

D.语义网络法

简述宣告死亡的要件和法律后果。