第一讲计算智能导论.ppt
《第一讲计算智能导论.ppt》由会员分享,可在线阅读,更多相关《第一讲计算智能导论.ppt(190页珍藏版)》请在三一文库上搜索。
1、人工智能 计算智能,智能信息处理研究所 尚荣华,计算主义,随着数学和计算机技术的进展,计算的观念越来越显示其在各个领域的威力,从计算的角度审视世界,也已经成为我们在数字化时代生存的一种特殊的思维方式,主张在还原论哲学基础上建立计算主义,认为从物理世界、生命过程直到人类智能都是算法可计算的(Computable),甚至整个宇宙完全是由算法(Algorithm)支配的。,1997年5月11日北京时间早晨4时50分,一台名叫“深蓝”的超级电脑在棋盘C4处落下最后一颗棋子,全世界都听到了震撼世纪的叫杀声“将车”!这场举世瞩目的“人机大战”,终于以机器获胜的结局降下了帏幕。(卡斯帕罗夫 ) “深蓝”是一
2、台智能电脑,是人工智能的杰作。新闻媒体以挑衅性的标题不断地发问:电脑战胜是一个人,还是整个人类的智能?连棋王都认了输,下一次人类还将输掉什么?智慧输掉了,人类还剩些什么?于是,人工智能又一次成为万众关注的焦点,成为电脑科学界引以自豪的学科。,“深蓝”的技术指标: 32个CPU 每个CPU有16个协处理器 每个CPU有256M内存 每个CPU的处理速度为200万步/秒 每秒行棋速度:卡斯帕罗夫2步,“深蓝”2亿步。,人工智能(AI)伴随着电脑诞生,在风风雨雨中走过了半个多世纪的艰难历程,已但经是枝繁叶茂、郁郁葱葱!,人工智能的发展,人工智能的萌芽(56年以前) 人工智能的诞生(56-61年) 人
3、工智能的发展(61年后),人工智能的萌芽阶段,亚里斯多德(Aristotle 384-322 BC),主要贡献为形而上学(metaphysics)和逻辑学两方面的思想。 亚氏在逻辑主要成就包括主谓命題(statement in subject-predicate form)及关于此类命題的逻辑推理方法,特別是三段论证(syllogism)。 所谓命題就是真(true)或假(false)的句子,例如蘇格拉底是人,這是真的命題;至於问句我的书在那里?就不是命題了,它并沒有真假的意义可言。,亚里斯多德与逻辑、推理,逻辑只讨论命題,因它有真假可言。亚氏认为命題基本是由主詞(subject)与谓詞(pr
4、edicate)构成的,主詞是命題所描述的事物或主題,谓词則是描述主詞的词语。 亚氏跟著提出四种比较复杂的主谓命題,它们都具有以下结构:量詞主詞系詞谓詞。這里我们以符号S及P分別表示主詞及谓詞。 系詞有两种:是或不是;量词亦有兩种:所有(all)或有(some)。,亚里斯多德与逻辑、推理,(A) 所有S是P (或 凡S是P),例如凡人是動物; (B) 凡S不是P,例如凡貓不是狗; (C) 有S是P,例如有花是白的; (D) 有S不是P,如有花不是白的。 所谓逻辑推論,即指由前提推导出结论的正确(valid)的方法,在这种正确推论中,若前提为真,則结论亦必然为真。,亚里斯多德与逻辑、推理,关于推
5、論,亚氏特別讨论三段论证,這是由兩個(主謂命題)前提推出(主謂式)结论的方法。 例如: (i)凡孔子的后代是人(ii)凡人皆会死,;因此凡孔子的后代会死。若写成普遍的形式,則是: (i)凡S是M; (ii)凡M是P,;因此凡S是P。这里(i)及(ii)是兩個前提,若這兩個前提为真,則以上推出的结论(凡S是P)亦必然地真,因此这个三段论证是正确的。,2.归纳法,Bacon(培根,1561-1626)在新工具中提出归纳法,提出“知识就是力量”,他十分重视科学实验,认为只有经过实验才能获得真正的知识。,3.Turing图灵与人工智能,艾伦麦席森图灵(Turing,1912年6月23日 - 1954年
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第一 计算 智能 导论
链接地址:https://www.31doc.com/p-2968156.html