This paper also makes a relatively profound inquiry into the basic algorithm of AI, the means ends analysis, and seeks to prove the effectiveness of difference produced by a resolution refutation tree. 同时,本文对AI的基本算法&中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。