第1章-计算智能导论.ppt
《第1章-计算智能导论.ppt》由会员分享,可在线阅读,更多相关《第1章-计算智能导论.ppt(166页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、20五月2023第第1章章 计算智能导论计算智能导论计算主义计算主义 随着数学和计算机技术的进展,计算的观念越来越随着数学和计算机技术的进展,计算的观念越来越随着数学和计算机技术的进展,计算的观念越来越随着数学和计算机技术的进展,计算的观念越来越显示其在各个领域的威力,从计算的角度审视世界,也显示其在各个领域的威力,从计算的角度审视世界,也显示其在各个领域的威力,从计算的角度审视世界,也显示其在各个领域的威力,从计算的角度审视世界,也已经成为我们在数字化时代生存的一种特殊的思维方式,已经成为我们在数字化时代生存的一种特殊的思维方式,已经成为我们在数字化时代生存的一种特殊的思维方式,已经成为我们
2、在数字化时代生存的一种特殊的思维方式,主张在还原论哲学基础上建立计算主义,认为从物理世主张在还原论哲学基础上建立计算主义,认为从物理世主张在还原论哲学基础上建立计算主义,认为从物理世主张在还原论哲学基础上建立计算主义,认为从物理世界、生命过程直到人类智能都是算法可计算的界、生命过程直到人类智能都是算法可计算的界、生命过程直到人类智能都是算法可计算的界、生命过程直到人类智能都是算法可计算的(ComputableComputable),甚至整个宇宙完全是由算法),甚至整个宇宙完全是由算法),甚至整个宇宙完全是由算法),甚至整个宇宙完全是由算法(AlgorithmAlgorithm)支配的。)支配的
3、。)支配的。)支配的。vv19971997年年年年5 5月月月月1111日北京时间早晨日北京时间早晨日北京时间早晨日北京时间早晨4 4时时时时5050分,一台名叫分,一台名叫分,一台名叫分,一台名叫“深蓝深蓝深蓝深蓝”的超级电脑在棋盘的超级电脑在棋盘的超级电脑在棋盘的超级电脑在棋盘C4C4处落下最后一颗棋子,全世界都听到处落下最后一颗棋子,全世界都听到处落下最后一颗棋子,全世界都听到处落下最后一颗棋子,全世界都听到了震撼世纪的叫杀声了震撼世纪的叫杀声了震撼世纪的叫杀声了震撼世纪的叫杀声“将车将车将车将车”!这场举世瞩目的!这场举世瞩目的!这场举世瞩目的!这场举世瞩目的“人机大人机大人机大人机大
4、战战战战”,终于以机器获胜的结局降下了帏幕。,终于以机器获胜的结局降下了帏幕。,终于以机器获胜的结局降下了帏幕。,终于以机器获胜的结局降下了帏幕。(卡斯帕罗夫卡斯帕罗夫卡斯帕罗夫卡斯帕罗夫)vv“深蓝深蓝深蓝深蓝”是一台智能电脑,是人工智能的杰作。新闻媒体以是一台智能电脑,是人工智能的杰作。新闻媒体以是一台智能电脑,是人工智能的杰作。新闻媒体以是一台智能电脑,是人工智能的杰作。新闻媒体以挑衅性的标题不断地发问:电脑战胜是一个人,还是整个挑衅性的标题不断地发问:电脑战胜是一个人,还是整个挑衅性的标题不断地发问:电脑战胜是一个人,还是整个挑衅性的标题不断地发问:电脑战胜是一个人,还是整个人类的智能
5、?连棋王都认了输,下一次人类还将输掉什么人类的智能?连棋王都认了输,下一次人类还将输掉什么人类的智能?连棋王都认了输,下一次人类还将输掉什么人类的智能?连棋王都认了输,下一次人类还将输掉什么?智慧输掉了,人类还剩些什么?于是,人工智能又一次?智慧输掉了,人类还剩些什么?于是,人工智能又一次?智慧输掉了,人类还剩些什么?于是,人工智能又一次?智慧输掉了,人类还剩些什么?于是,人工智能又一次成为万众关注的焦点,成为电脑科学界引以自豪的学科。成为万众关注的焦点,成为电脑科学界引以自豪的学科。成为万众关注的焦点,成为电脑科学界引以自豪的学科。成为万众关注的焦点,成为电脑科学界引以自豪的学科。vv“深蓝
6、深蓝深蓝深蓝”的技术指标:的技术指标:的技术指标:的技术指标:32 32个个个个CPUCPU每个每个每个每个CPUCPU有有有有1616个协处理器个协处理器个协处理器个协处理器每个每个每个每个CPUCPU有有有有256M256M内存内存内存内存每个每个每个每个CPUCPU的处理速度为的处理速度为的处理速度为的处理速度为200200万步万步万步万步/秒秒秒秒每秒行棋速度:卡斯帕罗夫每秒行棋速度:卡斯帕罗夫每秒行棋速度:卡斯帕罗夫每秒行棋速度:卡斯帕罗夫2 2步,步,步,步,“深蓝深蓝深蓝深蓝”2”2亿步。亿步。亿步。亿步。人工智能(人工智能(人工智能(人工智能(AIAIAIAI)伴随着电脑诞生,
7、在风风雨雨)伴随着电脑诞生,在风风雨雨)伴随着电脑诞生,在风风雨雨)伴随着电脑诞生,在风风雨雨中走过了半个多世纪的艰难历程,已但经是枝繁叶中走过了半个多世纪的艰难历程,已但经是枝繁叶中走过了半个多世纪的艰难历程,已但经是枝繁叶中走过了半个多世纪的艰难历程,已但经是枝繁叶茂、郁郁葱葱!茂、郁郁葱葱!茂、郁郁葱葱!茂、郁郁葱葱!人工智能的发展人工智能的发展l人工智能的萌芽(人工智能的萌芽(56年以前)年以前)l人工智能的诞生(人工智能的诞生(56-61年)年)l人工智能的发展(人工智能的发展(61年后)年后)人工智能的萌芽阶段人工智能的萌芽阶段l l亚里斯多德亚里斯多德亚里斯多德亚里斯多德(Ari
8、stotle 384-322 BC)(Aristotle 384-322 BC)(Aristotle 384-322 BC)(Aristotle 384-322 BC),主要贡献为,主要贡献为,主要贡献为,主要贡献为形而上形而上形而上形而上学学学学(metaphysics)(metaphysics)(metaphysics)(metaphysics)和逻辑学两方面的思想。和逻辑学两方面的思想。和逻辑学两方面的思想。和逻辑学两方面的思想。l l亚氏在逻辑主要成就包括主谓命題亚氏在逻辑主要成就包括主谓命題亚氏在逻辑主要成就包括主谓命題亚氏在逻辑主要成就包括主谓命題(statement in(sta
9、tement in(statement in(statement in subject-predicate form)subject-predicate form)subject-predicate form)subject-predicate form)及关于此类命題的逻辑推理方及关于此类命題的逻辑推理方及关于此类命題的逻辑推理方及关于此类命題的逻辑推理方法,特別是三段论证法,特別是三段论证法,特別是三段论证法,特別是三段论证(syllogism)(syllogism)(syllogism)(syllogism)。l l所谓命題就是真所谓命題就是真所谓命題就是真所谓命題就是真(true)(t
10、rue)(true)(true)或假或假或假或假(false)(false)(false)(false)的句子,例如的句子,例如的句子,例如的句子,例如蘇格拉底是人,這是真的命題;至於问句我的书在那蘇格拉底是人,這是真的命題;至於问句我的书在那蘇格拉底是人,這是真的命題;至於问句我的书在那蘇格拉底是人,這是真的命題;至於问句我的书在那里?就不是命題了,它并沒有真假的意义可言。里?就不是命題了,它并沒有真假的意义可言。里?就不是命題了,它并沒有真假的意义可言。里?就不是命題了,它并沒有真假的意义可言。亚里斯多德与逻辑、推理亚里斯多德与逻辑、推理l l逻辑只讨论命題,因它有真假可言。亚氏认为命題基
11、本是逻辑只讨论命題,因它有真假可言。亚氏认为命題基本是逻辑只讨论命題,因它有真假可言。亚氏认为命題基本是逻辑只讨论命題,因它有真假可言。亚氏认为命題基本是由主詞由主詞由主詞由主詞(subject)(subject)(subject)(subject)与谓詞与谓詞与谓詞与谓詞(predicate)(predicate)(predicate)(predicate)构成的,主詞是命題构成的,主詞是命題构成的,主詞是命題构成的,主詞是命題所描述的事物或主題,谓词則是描述主詞的词语。所描述的事物或主題,谓词則是描述主詞的词语。所描述的事物或主題,谓词則是描述主詞的词语。所描述的事物或主題,谓词則是描述主
12、詞的词语。l l亚氏跟著提出四种比较复杂的主谓命題,它们都具有以下亚氏跟著提出四种比较复杂的主谓命題,它们都具有以下亚氏跟著提出四种比较复杂的主谓命題,它们都具有以下亚氏跟著提出四种比较复杂的主谓命題,它们都具有以下结构:量詞结构:量詞结构:量詞结构:量詞主詞主詞主詞主詞系詞系詞系詞系詞谓詞。這里我们以符号谓詞。這里我们以符号谓詞。這里我们以符号谓詞。這里我们以符号S S S S及及及及P P P P分分分分別表示主詞及谓詞。別表示主詞及谓詞。別表示主詞及谓詞。別表示主詞及谓詞。l l系詞有两种:是或不是;量词亦有兩种:所有系詞有两种:是或不是;量词亦有兩种:所有系詞有两种:是或不是;量词亦有
13、兩种:所有系詞有两种:是或不是;量词亦有兩种:所有(all)(all)(all)(all)或有或有或有或有(some)(some)(some)(some)。亚里斯多德与逻辑、推理亚里斯多德与逻辑、推理l l(A)(A)(A)(A)所有所有所有所有S S S S是是是是P(P(P(P(或或或或 凡凡凡凡S S S S是是是是P)P)P)P),例如凡人是動物;,例如凡人是動物;,例如凡人是動物;,例如凡人是動物;l l(B)(B)(B)(B)凡凡凡凡S S S S不是不是不是不是P P P P,例如凡貓不是狗;,例如凡貓不是狗;,例如凡貓不是狗;,例如凡貓不是狗;l l(C)(C)(C)(C)有有
14、有有S S S S是是是是P P P P,例如有花是白的;,例如有花是白的;,例如有花是白的;,例如有花是白的;l l(D)(D)(D)(D)有有有有S S S S不是不是不是不是P P P P,如有花不是白的。,如有花不是白的。,如有花不是白的。,如有花不是白的。l所谓逻辑推論,即指由前提推导出结论的正所谓逻辑推論,即指由前提推导出结论的正所谓逻辑推論,即指由前提推导出结论的正所谓逻辑推論,即指由前提推导出结论的正确确确确(valid)(valid)(valid)(valid)的方法,在这种正确推论中,若前提为的方法,在这种正确推论中,若前提为的方法,在这种正确推论中,若前提为的方法,在这种
15、正确推论中,若前提为真,則结论亦必然为真。真,則结论亦必然为真。真,則结论亦必然为真。真,則结论亦必然为真。亚里斯多德与逻辑、推理亚里斯多德与逻辑、推理l关于推論,亚氏特別讨论三段论证,這是由兩关于推論,亚氏特別讨论三段论证,這是由兩個個(主謂命題主謂命題)前提推出前提推出(主謂式主謂式)结论的方法。结论的方法。l例如:例如:(i)(i)凡孔子的后代是人凡孔子的后代是人(ii)(ii)凡人皆会死,凡人皆会死,;因此凡孔子的后代会死。若写成普遍的形式,;因此凡孔子的后代会死。若写成普遍的形式,則是:則是:(i)(i)凡凡S S是是M;(ii)M;(ii)凡凡M M是是P P,;因此凡,;因此凡S
16、 S是是P P。这里。这里(i)(i)及及(ii)(ii)是兩個前提,若這兩個前是兩個前提,若這兩個前提为真,則以上推出的结论提为真,則以上推出的结论(凡凡S S是是P)P)亦必然地亦必然地真,因此这个三段论证是正确的。真,因此这个三段论证是正确的。2.归纳法归纳法 Bacon(Bacon(培根,培根,培根,培根,1561-1626)1561-1626)在新工具中提出在新工具中提出在新工具中提出在新工具中提出归纳法,提出归纳法,提出归纳法,提出归纳法,提出“知识就是力量知识就是力量知识就是力量知识就是力量”,”,他十分重视科学实验,他十分重视科学实验,他十分重视科学实验,他十分重视科学实验,认
17、为只有经过实验才能获得真正的知识。认为只有经过实验才能获得真正的知识。认为只有经过实验才能获得真正的知识。认为只有经过实验才能获得真正的知识。3.Turing图灵与人工智能图灵与人工智能l艾伦艾伦艾伦艾伦 麦席森麦席森麦席森麦席森 图灵(图灵(图灵(图灵(TuringTuring,19121912年年年年6 6月月月月2323日日日日-19541954年年年年6 6月月月月7 7日),英国数学家。日),英国数学家。日),英国数学家。日),英国数学家。l以以以以“纸上下棋机纸上下棋机纸上下棋机纸上下棋机”率先探讨了下棋与机器智能的联率先探讨了下棋与机器智能的联率先探讨了下棋与机器智能的联率先探讨
18、了下棋与机器智能的联系,他还是举世公认的系,他还是举世公认的系,他还是举世公认的系,他还是举世公认的“人工智能之父人工智能之父人工智能之父人工智能之父”。l3 3岁那年,他进行了在科学实验方面的首次尝试岁那年,他进行了在科学实验方面的首次尝试岁那年,他进行了在科学实验方面的首次尝试岁那年,他进行了在科学实验方面的首次尝试把玩具木头人的胳膊掰下来种植到花园里,想把玩具木头人的胳膊掰下来种植到花园里,想把玩具木头人的胳膊掰下来种植到花园里,想把玩具木头人的胳膊掰下来种植到花园里,想让它们长成更多的木头人。让它们长成更多的木头人。让它们长成更多的木头人。让它们长成更多的木头人。8 8岁时,图灵尝试着
19、岁时,图灵尝试着岁时,图灵尝试着岁时,图灵尝试着写了一部科学著作,题名关于一种显微镜。写了一部科学著作,题名关于一种显微镜。写了一部科学著作,题名关于一种显微镜。写了一部科学著作,题名关于一种显微镜。Turing图灵与人工智能图灵与人工智能v19371937年,伦敦权威的数学杂志又收到图灵一篇论年,伦敦权威的数学杂志又收到图灵一篇论年,伦敦权威的数学杂志又收到图灵一篇论年,伦敦权威的数学杂志又收到图灵一篇论文论可计算数及其在判定问题中的应用,作文论可计算数及其在判定问题中的应用,作文论可计算数及其在判定问题中的应用,作文论可计算数及其在判定问题中的应用,作为阐明现代电脑原理的开山之作,被永远载
20、入了为阐明现代电脑原理的开山之作,被永远载入了为阐明现代电脑原理的开山之作,被永远载入了为阐明现代电脑原理的开山之作,被永远载入了计算机的发展史册。计算机的发展史册。计算机的发展史册。计算机的发展史册。v这篇论文原本是为了解决一个基础性的数学问题:这篇论文原本是为了解决一个基础性的数学问题:这篇论文原本是为了解决一个基础性的数学问题:这篇论文原本是为了解决一个基础性的数学问题:是否只要给人以足够的时间演算,数学函数都能是否只要给人以足够的时间演算,数学函数都能是否只要给人以足够的时间演算,数学函数都能是否只要给人以足够的时间演算,数学函数都能够通过有限次机械步骤求得解答?传统数学家当够通过有限
21、次机械步骤求得解答?传统数学家当够通过有限次机械步骤求得解答?传统数学家当够通过有限次机械步骤求得解答?传统数学家当然只会想到用公式推导证明它是否成立,可是图然只会想到用公式推导证明它是否成立,可是图然只会想到用公式推导证明它是否成立,可是图然只会想到用公式推导证明它是否成立,可是图灵独辟蹊径地想出了一台冥冥之中的机器。灵独辟蹊径地想出了一台冥冥之中的机器。灵独辟蹊径地想出了一台冥冥之中的机器。灵独辟蹊径地想出了一台冥冥之中的机器。v图灵想象的机器说起来很简单:该计算机使用一图灵想象的机器说起来很简单:该计算机使用一图灵想象的机器说起来很简单:该计算机使用一图灵想象的机器说起来很简单:该计算机
22、使用一条无限长度的纸带,纸带被划分成许多方格,有条无限长度的纸带,纸带被划分成许多方格,有条无限长度的纸带,纸带被划分成许多方格,有条无限长度的纸带,纸带被划分成许多方格,有的方格被画上斜线,代表的方格被画上斜线,代表的方格被画上斜线,代表的方格被画上斜线,代表“1”“1”;有的没有画任何线;有的没有画任何线;有的没有画任何线;有的没有画任何线条,代表条,代表条,代表条,代表“0”“0”。该计算机有一个读写头部件,可以。该计算机有一个读写头部件,可以。该计算机有一个读写头部件,可以。该计算机有一个读写头部件,可以从带子上读出信息,也可以往空方格里写下信息。从带子上读出信息,也可以往空方格里写下
23、信息。从带子上读出信息,也可以往空方格里写下信息。从带子上读出信息,也可以往空方格里写下信息。该计算机仅有的功能是:把纸带向右移动一格,该计算机仅有的功能是:把纸带向右移动一格,该计算机仅有的功能是:把纸带向右移动一格,该计算机仅有的功能是:把纸带向右移动一格,然后把然后把然后把然后把“1”“1”变成变成变成变成“0”“0”,或者相反把,或者相反把,或者相反把,或者相反把“0”“0”变成变成变成变成“1”“1”。v第二次世界大战期间,图灵应征入伍,在战时英第二次世界大战期间,图灵应征入伍,在战时英第二次世界大战期间,图灵应征入伍,在战时英第二次世界大战期间,图灵应征入伍,在战时英国情报中心国情
24、报中心国情报中心国情报中心“布雷契莱庄园布雷契莱庄园布雷契莱庄园布雷契莱庄园”(BletchiyBletchiy)从事破)从事破)从事破)从事破译德军密码的工作,与战友们一起制作了第一台译德军密码的工作,与战友们一起制作了第一台译德军密码的工作,与战友们一起制作了第一台译德军密码的工作,与战友们一起制作了第一台密码破译机。在图灵理论指导下,这个密码破译机。在图灵理论指导下,这个密码破译机。在图灵理论指导下,这个密码破译机。在图灵理论指导下,这个“庄园庄园庄园庄园”后后后后来还研制出破译密码的专用电子管计算机来还研制出破译密码的专用电子管计算机来还研制出破译密码的专用电子管计算机来还研制出破译密
25、码的专用电子管计算机“巨人巨人巨人巨人”(ColossusColossus),在盟军诺曼底登陆等战役中立),在盟军诺曼底登陆等战役中立),在盟军诺曼底登陆等战役中立),在盟军诺曼底登陆等战役中立下了丰功伟绩。下了丰功伟绩。下了丰功伟绩。下了丰功伟绩。v19451945年,脱下军装的图灵,带着大英帝国授予的年,脱下军装的图灵,带着大英帝国授予的年,脱下军装的图灵,带着大英帝国授予的年,脱下军装的图灵,带着大英帝国授予的最高荣誉勋章,被录用为泰丁顿国家物理研究所最高荣誉勋章,被录用为泰丁顿国家物理研究所最高荣誉勋章,被录用为泰丁顿国家物理研究所最高荣誉勋章,被录用为泰丁顿国家物理研究所高级研究员。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 计算 智能 导论
限制150内