通过一种通用的搜索机制，串联基本推理步骤来寻找完全解的方法被称为弱方法