人工智能第0章72(參考版)
2025-02-22 15:15本頁面
【正文】 ? 教學(xué)難點(diǎn)： ? 1．怎么樣理解人工智能； ? 2．人工智能作為一門學(xué)科有什么意義； ? 3．人工智能的主要學(xué)派與其爭(zhēng)論焦點(diǎn)； 72 演講完畢，謝謝觀看！ 。 48 足球機(jī)器人 ? 兩個(gè)組織： RoboCup和 FIRA ? 設(shè)有仿真組、小型組、中型組和有腿組 ? 控制方式： FIRA采用集中控制，而RoboCup采用分布式控制 ? 清華大學(xué)獲得 202 2023年 RoboCup世界冠軍、 2023年亞軍（仿真組） ? 清華大學(xué)獲得 2023年 RoboCup小型組全國(guó)冠軍 49 小型組 有腿組 50 歷史上的人工智能大師 ? 下面介紹圖靈和幾位獲得圖靈獎(jiǎng)的人工智能大師 51 阿倫 ?圖靈 （ Alan Turing） 計(jì)算機(jī)科學(xué)理論的創(chuàng)始人 52 阿倫 ?圖靈（ Alan Turing） ? 1912年出生于英國(guó)倫敦， 1954年去世 ? 1936年發(fā)表論文“論可計(jì)算數(shù)及其在判定問題中的應(yīng)用”，提出圖靈機(jī)理論 ? 1950年發(fā)表論文“計(jì)算機(jī)與智能”，闡述了計(jì)算機(jī)可以具有智能的想法，提出圖靈測(cè)試 ? 1966年為紀(jì)念圖靈的杰出貢獻(xiàn)， ACM設(shè)立圖靈獎(jiǎng) 53 馬文 ?明斯基 （ Marniv Lee Minsky） 人工智能之父 框架理論的創(chuàng)立者 首位獲得圖靈獎(jiǎng)的人工智能學(xué)者 54 馬文 ?明斯基 （ Marniv Lee Minsky） ? 1927年出生于美國(guó)紐約 ? 1951年提出思維如何萌發(fā)并形成的基本理論 ? 1956年達(dá)特茅斯會(huì)議的發(fā)起人之一 ? 1958年在 MIT創(chuàng)建世界上第一個(gè) AI實(shí)驗(yàn)室 ? 1969年獲得圖靈獎(jiǎng) ? 1975年首創(chuàng)框架理論 55 約翰 ?麥卡錫 （ John McCarthy） ? 人工智能之父 ? LISP語言的發(fā)明人 ? 首次提出 AI的概念 56 約翰 ?麥卡錫 （ John McCarthy） ? 1927年出生于美國(guó)波士頓 ? 1956年發(fā)起達(dá)特茅斯會(huì)議，并提出“人工智能”的概念 ? 1958年與明斯基一起創(chuàng)建世界上第一個(gè)人工智能實(shí)驗(yàn)室 ? 發(fā)明 α－ β剪枝算法 ? 1959年開發(fā) LISP語言 ? 開創(chuàng)邏輯程序研究，用于程序驗(yàn)證和自動(dòng)程序設(shè)計(jì) ? 1971年獲得圖靈獎(jiǎng) 57 赫伯特 ?西蒙 （ Herbert A. Simon） 符號(hào)主義學(xué)派的創(chuàng)始人 愛好廣泛的全能科學(xué)家 中國(guó)科學(xué)院外籍院士 58 赫伯特 ?西蒙 (Herbert A. Simon） ? 1916年出生于美國(guó)的威斯康辛州 ? 1943年在匹茲堡大學(xué)獲政治學(xué)博士學(xué)位 ? 1969年因心理學(xué)方面的貢獻(xiàn)獲得杰出科學(xué)貢獻(xiàn)獎(jiǎng) ? 1975年和他的學(xué)生艾倫 ?紐厄爾共同獲得圖靈獎(jiǎng) ? 1978年獲得諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng) ? 1986年因行為學(xué)方面的成就獲得美國(guó)全國(guó)科學(xué)家獎(jiǎng)?wù)? 59 ? 50年代至 60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家” LT，證明了《數(shù)學(xué)原理》第二章中的全部 52個(gè)定理，開創(chuàng)了機(jī)器定理證明這一新的學(xué)科領(lǐng)域 ? 57年開發(fā)了 IPL(Information Processing Language)語言，是最早的 AI語言。 36 古籍?dāng)?shù)字化 —— 《四庫全書》 37 IBM的“深藍(lán)” 北京時(shí)間 1997年 5月 12日凌晨 4點(diǎn) 50分 ， 美國(guó)紐約公平大廈 ， 當(dāng) IBM公司的“ 深藍(lán) ” 超級(jí)電腦將棋盤上的一個(gè)兵走到 C4的位置上時(shí) ， 國(guó)際象棋世界冠軍卡斯帕羅夫?qū)?“ 深藍(lán) ” 的人機(jī)大戰(zhàn)落下帷幕 ， “ 深藍(lán) ” 以 ： 斯帕羅夫 。 35 數(shù)字識(shí)別 ? 清華大學(xué)智能技術(shù)與系統(tǒng)國(guó)家重點(diǎn)實(shí)驗(yàn)室采用神經(jīng)元網(wǎng)絡(luò)方法研制的數(shù)字識(shí)別系統(tǒng)，用于 2023年我國(guó)人口普查。這項(xiàng)工作同時(shí)涉及到 50000個(gè)車輛、貨物和人，而且必須考慮到起點(diǎn)、目的地、路徑以及解決所有參數(shù)之間的沖突。該程序幫助為新計(jì)算機(jī)系統(tǒng)配置訂單；到1986年為止，估計(jì)它為公司每年節(jié)省了 4千萬美元。 ? 1968年世界上第一個(gè)專家系統(tǒng) DENDRAL問世。 32 專家系統(tǒng) ? 人類之所以能求解問題，是因?yàn)槿祟惥哂兄R(shí)。在它能處理的有限類別的問題中，它顯示出程序決定的子目標(biāo)及可能采取的行動(dòng)的次序，與人類求解同樣問題是類似的。 ? 創(chuàng)立了定理機(jī)器證明的 “吳方法”。 30 定理證明的“吳方法” ? 2023年我國(guó)最高科學(xué)技術(shù)獎(jiǎng)獲得者吳文俊教授，提出了“數(shù)學(xué)機(jī)器化”。 29 四色定理的證明 ? 四色定理 ? 從 1852年發(fā)現(xiàn)四色問題，世界上很多著名的科學(xué)家試圖證明，當(dāng)一直未能完成。經(jīng)改進(jìn)后， 62年證明了該書中全部的 52個(gè)定理。下面列舉一些實(shí)例。 相當(dāng)于“飛鳥” ? 行為主義 ? 行為模擬 ? 構(gòu)造具有進(jìn)化能力的智能系統(tǒng)。 ? 行為主義 ? 智能取決于感知和行動(dòng)，提出了智能行為的“感知 — 動(dòng)作”模型；智能不需要知識(shí)、不需要表示、不需要推理；人工智能可以像人類智能那樣逐步進(jìn)化 23 AI研究中的不同學(xué)派 不同學(xué)派的方法之爭(zhēng) ? 符號(hào)主義 ? 功能模擬 ? 構(gòu)造能夠模擬大腦功能的智能系統(tǒng)。 ? 代表性成果： Brooks教授研制的機(jī)器蟲 ? 代表人物： Brooks教授 22 AI研究中的不同學(xué)派 不同學(xué)派的理論之爭(zhēng) ? 符號(hào)主義 ? 智能的基礎(chǔ)是知識(shí)，其核心是知識(shí)表示和知識(shí)推理；知識(shí)可用符號(hào)表示，也可用符號(hào)進(jìn)行推理，因而可以建立基于知識(shí)的人類智能和機(jī)器智能的統(tǒng)一的理論體系。 ? 該學(xué)科研究的主要特征包
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1