单项选择题

下列哪个属于归结推理方法()

A.宽度优先搜索法
B.等代价搜索法
C.贝叶斯网络法
D.消解推理方法