人工智能的定义及发展 亚里士多德( Aristotle公元前384~前322),古 代先哲,古希腊人,世界古代史上伟大的哲学家 科学家和教育家之一,柏拉图的学生,亚历山大的 老师。(古希腊三圣:苏格拉底、柏拉图、亚里士多德) 作为一位百科全书式的科学家,他几乎对每个学科 都做出了贡献。他的写作涉及伦理学、形而上学、 心理学、经济学、神学、政治学、修辞学、自然科 学、教育学、诗歌、风俗,以及雅典法律。亚里士 多德的著作构建了西方哲学的第一个广泛系统。 培根( Bacon)(1561-1626),英国哲 学家和自然科学家,系统提出了归纳法,成为和 亚里士多德的演绎法相辅相成的思维法则。他强 调了知识的重要作用,指出“知识就是力量”。 www.canu.edu.cn
www.cqnu.edu.cn 人工智能的定义及发展 ◼ ▪ 柏拉图 亚历山大 （古希腊三圣：苏格拉底、柏拉图、亚里士多德） ▪ 百科全书 伦理学 形而上学 心理学 经济学 神学 政治学 修辞学 自然科 学 教育学
人工智能的定义及发展 必莱布尼茨( Leibnitz)(1646 1716),德国数学家和哲学家,提出了关 于数理逻辑的思想,即把形式逻辑符号化, 从而对人的思维进行运算和推理的思想。 今伽罗华( Galois,1811年-1832年)法 国科学家,对函数论、方程式论和数论作 出重要贡献的数学家因撰写反君主制的文 章而被开除,且因信仰共和体制而两次下 狱。伽罗华死于一次近乎自杀的决斗,引 起了后人的种种猜测。时年21岁。他被公 认为是数学史上两个最具浪漫主义色彩的 人物之 www.cqnu.edu.cn
www.cqnu.edu.cn 人工智能的定义及发展 ❖ ❖ 伽罗华 法 国 函数
人工智能的定义及发展 ◆布尔( Boole)(1815-1864), 英国数学家、逻辑学家。他的主要贡献 是初步实现了莱布尼茨关于思维符号化 和数学化的思想,提出了一种崭新的代 数系统一一布尔代数,凡是传统逻辑能 处理的问题,布尔代数都能处理。 George Boole ◆歌德尔(G6de)(1906-1978) 美籍奥地利数理逻辑学家,他研究数 理逻辑中的一些带根本性的问题,即 形式系统的完备性和可判定性问题, 指出了把人的思维形式化和机械化的 某些极限,在理论上证明了有些事情 是机器做不到的 www.cqnu.eau.cn
www.cqnu.edu.cn ◆ ◆ 人工智能的定义及发展
人工智能的定义及发展 图灵( Turing)(1912-1954) 英国数学家。他于1936年提出了一种 理想计算机的数学模型(图灵机),现 已公认,所有可计算函数都能用图灵机 计算,这为电子计算机的构建提供了理 论根据。1950年,他还提出了著名的 “图灵实验”,给智能的标准提供了明 确的定义。 1936年,图灵作出了他一生最重要的科学贡献,他在其著名的论 文《论可计算数在判定问题中的应用( On Computer numbers with an Application to the Entscheidungs- roblem)》一文 中,以布尔代数[为基础,将逻辑中的任意命题(即可用数学符 号)用一种通用的机器来表示和完成,并能按照一定的规则推导 出结论。这篇论文被誉为现代计算机原理开山之作,它描述了一种 假想的可实现通用计算的机器,后人称之为“图灵机 www.cqnu.edu.cn
www.cqnu.edu.cn 人工智能的定义及发展 ❖
人工智能的定义及发展 麦卡锡( McCarthy),美国数学家、计算机科 学家,“人工智能之父”。 AI诞生于一次历史性的聚会 时间:1956年夏季 地点:达特莫斯( Dartmouth)大学 目的:为使计算机变得更“聪明”,或者说使计算机具 有智能 发起人: 麦卡锡( J McCarthy), Dartmouth的年轻数学家、计 算机专家,后为MT教授 明斯基( M. L Minsky),哈佛大学数学家、神经学家, 后为MT教授 香农( C E. Shannon),贝尔实验室信息部数学研究员 会议结果 由麦卡锡提议正式采用了“ Artificial Intelligence”这 术语 www.cqnu.edu.cn
www.cqnu.edu.cn 人工智能的定义及发展 ❖ ▪ ▪