人工智能三个流派

行为主义：

基于控制论，构建感知-动作型控制系统；

符号主义：

基于符号逻辑的方法，用逻辑表示知识和求解问题；

连接主义：

基于大脑中神经元细胞连接的计算模型，用人工神经网络来拟合智能行为。

符号主义的困难：逻辑、常识、求解器

逻辑：未找到能表述世间所有知识的简洁逻辑体系；
常识：无穷无尽的常识；
求解器：命题逻辑判定NP完全，一节谓词逻辑不可判定。