08 凸.2人工智能的发展历史 http://robolab.sjtu.edu.cn 冬第一阶段:史前期(1956年以前) 第二阶段:诞生期(1956-1980) 第三阶段:发展期(1980年以后) 6 RIR.SJTU
6.2 人工智能的发展历史 第一阶段:史前期(1956年以前) 第二阶段:诞生期(1956-1980) 第三阶段:发展期(1980年以后) 6 http://robolab.sjtu.edu.cn RIR.SJTU
08 第阶段:史前期 http://robolab.sjtu.edu.cn 冬许多学科的发展为人工智能的发展奠定了基础,其中包括: 数理逻辑 ■计算理论 ·电子数字计算机 ■脑科学:神经元学说、遗传基因 ·心理学:认知心理学 ■语言学: ·信息论: 自动化理论 7 RIR.SJTU
第1阶段:史前期 许多学科的发展为人工智能的发展奠定了基础,其中包括: 数理逻辑 计算理论 电子数字计算机 脑科学:神经元学说、遗传基因 心理学:认知心理学 语言学: 信息论: 自动化理论 7 http://robolab.sjtu.edu.cn RIR.SJTU
第阶段:史前期 http://robolab.sjtu.edu.cn 冬数理逻辑:17世纪发明的数理逻辑,也就 是在逻辑中引入数学的方法。其中激励科 学家进行这项研究的一个思想是:思维并 不难掌握,“一切思维不过是计算(即加 与减) 英国著名哲学家霍布斯(Thomas Hobbes,1588-1679):正如算术学者教人数字 的加与减;几何学家教人在线、形、角、比例、 快速程度、力等方面进行加与减;逻辑学叫则 教人在字(词)的推论方面进行加与减:将两 个名词相加得到一个断定,将两个断定相加得 到一个三段论,将若干个三段论相加得到一个 证明,并且由三段论的结论中减去一个命题, 以得到另一命题。 8 RIR.SJTU
数理逻辑:17世纪发明的数理逻辑,也就 是在逻辑中引入数学的方法。其中激励科 学家进行这项研究的一个思想是:思维并 不难掌握,“一切思维不过是计算(即加 与减)” 英国著名哲学家霍布斯(Thomas Hobbes,1588-1679):正如算术学者教人数字 的加与减;几何学家教人在线、形、角、比例、 快速程度、力等方面进行加与减;逻辑学叫则 教人在字(词)的推论方面进行加与减:将两 个名词相加得到一个断定,将两个断定相加得 到一个三段论,将若干个三段论相加得到一个 证明,并且由三段论的结论中减去一个命题, 以得到另一命题。 8 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段:史前期
第阶段:史前期 http://robolab.sjtu.edu.cn 冬数理逻辑 德国哲学家、数学家、物理学家 莱布尼茨(Leibnitz,1646-1716) 认为,可以建立一个普遍符号系 统,和逻辑演算,由此可以制造 一台机械装置,可以完成推理或 者理解过程。他幻想:每当哲学 家们有了分歧,不必争论不休, 只要“计算一下,谁对谁错,只 要看一下计算结果便知” 9 RIR.SJTU
数理逻辑 德国哲学家、数学家、物理学家 莱布尼茨(Leibnitz,1646-1716) 认为,可以建立一个普遍符号系 统,和逻辑演算,由此可以制造 一台机械装置,可以完成推理或 者理解过程。他幻想:每当哲学 家们有了分歧,不必争论不休, 只要“计算一下,谁对谁错,只 要看一下计算结果便知” 9 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段:史前期
0N8 第阶段:史前期 http://robolab.sjtu.edu.cn 冬数理逻辑 爱尔兰数学家布尔(Geor ge Bo01e,1815-1864)发明了布尔 代数,将逻辑学由哲学变成了数 学。将符号语言与运算结合,可 表示任何事物,为逻辑推理建立 了严密的形式语言。 10 RIR.SJTU
数理逻辑 爱尔兰数学家布尔(George Boole,1815-1864)发明了布尔 代数,将逻辑学由哲学变成了数 学。将符号语言与运算结合,可 表示任何事物,为逻辑推理建立 了严密的形式语言。 10 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段:史前期