问题求解的基本方法：搜索法、（ ）、归约法、推理法及产生式等。