1命题逻辑无法刻画个体之间的关系因此有了谓词逻辑2谓词逻辑二阶谓词不讨论3一阶谓词逻辑知识表示方法一阶谓词逻辑特点不能表示不确定的知识,会产生组合爆炸