一、盲目搜索,图搜索(A算法,A*算法)。 二、与或图,博弈论、剪枝。 三、谓词逻辑,归结原理 四、知识 五、贝叶斯网络。