问题求解的基本方法 般图搜索 ◆问题归约 Y◆基于归约的演绎推理 人基于规则的演绎推理问题求解的基本方法  一般图搜索  问题归约  基于归约的演绎推理  基于规则的演绎推理