符号主义 西蒙和纽厄尔为代表的物理符号系统假说( physical symbol system hypothesis) 由一组称为符号的实体组成系统,这些符号可作为组分 出现在另一符号实体中。任何时候系统内部均有一组符 号结构,以及作用在这些符号结构上生成其他符号结构 的一组过程。 任一物理符号系统如果是有智能的,则必能执行对符号 的输入、输出、存储、复制、条件转移和建立符号结构 这样6种操作。反之,能执行这6种操作的任何系统,也 就一定能够表现出智能
6 符号主义 • 西蒙和纽厄尔为代表的物理符号系统假说（physical symbol system hypothesis） • 由一组称为符号的实体组成系统，这些符号可作为组分 出现在另一符号实体中。任何时候系统内部均有一组符 号结构，以及作用在这些符号结构上生成其他符号结构 的一组过程。 • 任一物理符号系统如果是有智能的，则必能执行对符号 的输入、输出、存储、复制、条件转移和建立符号结构 这样6种操作。反之，能执行这6种操作的任何系统，也 就一定能够表现出智能
符号主义 ·认知基元是符号,智能行为通过符号操作来实 现,以美国科学家 Robinson提出的归结原理为 基础,以LSP和 Prolog语言为代表 ·着重问题求解中的启发式搜索和推理过程,在 逻辑思维的模拟方面取得成功,如自动定理证 明和专家系统
7 符号主义 • 认知基元是符号，智能行为通过符号操作来实 现，以美国科学家Robinson提出的归结原理为 基础，以LISP和Prolog语言为代表 • 着重问题求解中的启发式搜索和推理过程，在 逻辑思维的模拟方面取得成功，如自动定理证 明和专家系统
符号主义 1977年吴文俊(1919-)院士给出了一类 平面几何问题的机械化证明理论,在计 算机上证明了一大批平面几何定理 ·1984年科学出版社出版了他的《几何定 理机器证明的基本原理》一书,被称为 吴方法
8 符号主义 • 1977年吴文俊(1919- )院士给出了一类 平面几何问题的机械化证明理论，在计 算机上证明了一大批平面几何定理。 • 1984年科学出版社出版了他的《几何定 理机器证明的基本原理》一书，被称为 吴方法
联结主义方法 J.J. Hopfield为代表的人工神经网络方法,思维的 基元是神经元,把智能理解为相互联结的神经元竞 争与协作的结果,其中以反向传播网络模型和 Hopfield网络模型更为突出。 ·着重结构模拟,研究神经元特征、神经元网络拓朴 学习规则、网终的非线性动力学性质和自适应的协 同行为
9 联结主义方法 • J. J. Hopfield为代表的人工神经网络方法，思维的 基元是神经元，把智能理解为相互联结的神经元竞 争与协作的结果，其中以反向传播网络模型和 Hopfield网络模型更为突出。 • 着重结构模拟，研究神经元特征、神经元网络拓朴、 学习规则、网络的非线性动力学性质和自适应的协 同行为
联结主义方法 ·1975年, John holland提出遗传算法,模仿生物 染色体中基因的选择( selection)、交叉 ( crossover)和变异( mutation)的自然进化过程, 通过个体结构重组,形成一代代新群体 ( populations),最终收敛于近似优化解。 用于处理多变量、非线性、不确定、甚至混沌的 大搜索空间的有约束的优化问题; 10
10 联结主义方法 • 1975年，John Holland提出遗传算法，模仿生物 染色体中基因的选择(selection)、交叉 (crossover)和变异(mutation)的自然进化过程， 通过个体结构重组，形成一代代新群体 （populations)，最终收敛于近似优化解。 • 用于处理多变量、非线性、不确定、甚至混沌的 大搜索空间的有约束的优化问题；