簡介:人工智能原理第1章人工智能概述,本章內(nèi)容11關于人工智能的定義12人工智能的基礎13人工智能簡史14智能體與環(huán)境15智能體結(jié)構(gòu)小結(jié)參考書目附錄和人工智能相關的社會倫理問題,第1章人工智能概述,11關于人工智能的定義智能體對AI的4種不同定義類人行動/類人思考/理性思維/理性行動,第1章人工智能概述,4,作為智能體的人類,智能體AGENT人類是一種智能體我們,作為一個智能體,為什么能夠思考大腦這么一小堆東西怎么能夠感知、理解、預測和應對一個遠比自身龐大和復雜的世界理解人類,理解智能體人工智能AI走得更遠不僅試圖理解智能體,而且要建造智能體制造出像人類一樣完成某些智能任務的系統(tǒng)軟件,第1章人工智能概述,5,AI是新興學科,也是激動人心的學科RUSSELL聲稱不同于物理學,這里還有出現(xiàn)幾個愛因斯坦的余地為什么研究主觀世界的成果遠少于研究客觀世界的成果,第1章人工智能概述,處于探索初期的學科,6,對AI的4種不同定義,第1章人工智能概述,7,不同定義類人行為1,類人行為圖靈測試1950圖靈建議不是問“機器能否思考”,而是問“機器能否通過關于行為的智能測試”,第1章人工智能概述,8,不同定義類人行為2,測試過程讓一個程序與一個人進行5分鐘對話/然后人猜測交談對象是程序還是人如果在30測試中程序成功地欺騙了詢問人,則通過了測試圖靈期待最遲2000年出現(xiàn)這樣的程序,但是到目前為止,面對訓練有素的鑒定人,沒有一個程序接近30的標準,第1章人工智能概述,9,不同定義類人行為3,要想程序通過圖靈測試,還需要做大量工作,這些技能包括自然語言處理,使機器可以用人類語言交流知識表示,存儲機器獲得的各種信息自動推理,運用知識來回答問題和提取新結(jié)論機器學習,適應新環(huán)境并檢測和推斷新模式以及為了完全圖靈測試計算機視覺,機器感知物體機器人技術(shù),操縱和移動物體,第1章人工智能概述,10,不同定義類人行為4,AI研究者并未花費很多精力來嘗試通過測試,因為研究智能的根本原則遠比復制樣本重要如同空氣動力學與模擬鳥類飛行之對于飛機的產(chǎn)生,第1章人工智能概述,11,不同定義類人思考,類人思考認知模型方法如何得知人類是如何思考的通過自省捕捉人類思維過程和通過心理測試這種方法不滿足于讓程序正確地解決問題,更加關心對程序的推理步驟軌跡與人類個體求解同樣問題的步驟軌跡進行比較認知科學把來自AI的計算模型與來自心理學的實驗技術(shù)相結(jié)合,試圖創(chuàng)立一種精確而且可檢驗的人類思維工作方式的理論通常,我們只關心程序?qū)崿F(xiàn)了什么功能,而不會比較AI技術(shù)和人類認知之間的異同,第1章人工智能概述,12,不同定義理性思考,理性地思考“思維法則”方法19世紀,邏輯學家就發(fā)展出可以描述世界上一切事物及其彼此關系的精確的命題符號1965年,原則上,已經(jīng)有程序可以求解任何用邏輯符號描述的可解問題消解法AI領域傳統(tǒng)的邏輯主義希望通過編制上述程序來創(chuàng)造智能系統(tǒng)難點非形式化的知識難以用邏輯符號形式化/“原則上”可以解決問題和實際解決問題二者之間存在巨大差異,第1章人工智能概述,13,不同定義理性行動1,理性地行動理性智能體方法計算機智能體應該有別于“簡單的”程序具有諸如自主控制操作、感知環(huán)境、適應變化等理性智能體要通過自己的行動獲得最佳結(jié)果,或者在不確定的情況下,獲得最佳期望結(jié)果不僅要正確地推理,還要正確地行動/正確推論是理性智能體的部分功能,而不是理性的全部內(nèi)容圖靈測試中需要的技能都是為了作出理性行為,第1章人工智能概述,14,不同定義理性行動2,把AI研究視為理性智能體的設計過程好處普遍性比“思維法則”法則方法理性地思維更廣/比建立在人類行為或者思維基礎類人方法上的方法更形式化,因為相比具有清楚的定義或標準正確的結(jié)果在不同條件下可以定義清楚完美理性總能做正確的事情VS有限理性在沒有足夠計算時間的前提下采取正確的行動完美理性在復雜環(huán)境下是不可行的,第1章人工智能概述,15,4種方法的比較,第1章人工智能概述,類人思考或類人行為直接模擬/追隨人理性思考或理性行為間接模擬/概括人––更普遍,16,AI概念理解是一個過程,上述定義見仁見智重要的是學習AI方法、應用AI方法,在實踐中逐步深入領會AI這個詞的含義目前,AI就是一種運行在我們自己機器中的程序,它的智能都是我們給的,第1章人工智能概述,12人工智能的基礎各學科的貢獻哲學/數(shù)學經(jīng)濟學/神經(jīng)科學/心理學計算機工程控制論/語言學,第1章人工智能概述,18,對人工智能有貢獻的學科,哪些學科、哪些思想和哪些人物給予AI以貢獻哲學BC428現(xiàn)在數(shù)學800現(xiàn)在經(jīng)濟學1776現(xiàn)在神經(jīng)科學1861現(xiàn)在心理學1879現(xiàn)在計算機工程1940現(xiàn)在控制論1948現(xiàn)在語言學1957現(xiàn)在,第1章人工智能概述,19,哲學的貢獻1,哲學BC428現(xiàn)在貢獻的思想問題1形式化規(guī)則能用來抽取合理的結(jié)論嗎問題2精神的意識是如何從物質(zhì)的大腦產(chǎn)生出來的問題3知識是從哪里來的問題4知識是如何導致行動的,第1章人工智能概述,20,哲學的貢獻2,問題1形式化規(guī)則能用來抽取合理的結(jié)論嗎(哲學家及其貢獻)亞里士多德ARISTOTLE,BC384BC322,為形式邏輯奠定了基礎/第一個把支配意識的理性部分法則形式化為精確的法則集合/著名的三段論RAMONLULL/LEONARDODAVINCI達芬奇/BLAISEPASCAL帕斯卡/GOTTFRIEDWILHELMLEIBNITZ萊布尼茲等人均設計或制造了能計算的機器,第1章人工智能概述,21,哲學的貢獻3,17世紀,有人提出推理如同數(shù)字計算/帕斯卡寫道“算術(shù)機器產(chǎn)生的效果顯然更接近于思維而不是動物的其他活動”問題1結(jié)論肯定的結(jié)論,即可以用一個規(guī)則集合描述意識的形式化、理性的部分,第1章人工智能概述,22,哲學的貢獻4,問題2從物理系統(tǒng)的角度來考慮意識意識與物質(zhì)的大腦之間的關系如何RENéDESCARTES笛卡爾給出了第一個關于意識和物質(zhì)之間的區(qū)別以及由此產(chǎn)生的問題的清晰討論笛卡爾是二元論的支持者堅持意識或稱為靈魂/精神的一部分是超脫于自然之外的,不受物理定律影響而動物不擁有這種二元屬性,它們可以被作為機器對待,第1章人工智能概述,23,哲學的貢獻5,唯物主義認為大腦依照物理定律運轉(zhuǎn)而構(gòu)成了意識,自由意志也就簡化為對出現(xiàn)在選擇過程中可能選擇的感受方式問題2結(jié)論存在兩種選擇二元論和一元論,第1章人工智能概述,24,哲學的貢獻6,問題3知識是從哪里來的關于知識的來源FRANCISBACON培根新工具論開始了經(jīng)驗主義運動JOHNLOCKE洛克指出“無物非先感而后知”DAVIDHUME休謨提出歸納原理一般規(guī)則是通過揭示形成規(guī)則的元素之間的重復關聯(lián)而獲得的,第1章人工智能概述,25,哲學的貢獻7,基于LUDWIGWITTGENSTEIN,BERTRANDRUSSELL的工作,RUDOLFCARNAP領導維也納學派發(fā)展了實證邏輯主義,堅持認為所有的知識都可以用最終和傳感器輸入相對應的觀察語句相聯(lián)系的邏輯理論來描述問題3結(jié)論知識來自于實踐,第1章人工智能概述,26,哲學的貢獻8,問題4知識是如何導致行動的關于意識的哲學圖景的最后元素是知識與行動之間的聯(lián)系/智能既要求推理也要求行動亞里士多德認為行動是通過目標與關于行動結(jié)果的知識之間的邏輯來判定的,第1章人工智能概述,27,哲學的貢獻9,他的進一步闡述指出要深思的不是結(jié)局而是手段/假設了結(jié)局并考慮如何以及通過什么手段得到該結(jié)局,結(jié)局是否容易是否最好/手段在分析順序中是最后一個,在生成順序中是第一個這實際上就是回歸規(guī)劃系統(tǒng),2300年后由NEWELL和SIMON在其GPS程序中實現(xiàn)了問題4結(jié)論知識用于指導行動去達到目標,第1章人工智能概述,28,數(shù)學的貢獻1,數(shù)學800現(xiàn)在貢獻的思想什么是抽取合理結(jié)論的形式化規(guī)則什么可以被計算如何用不確定的知識進行推理AI成為一門規(guī)范科學要求在三個基礎領域完成一定程度的數(shù)學形式化邏輯、計算、概率,第1章人工智能概述,29,數(shù)學的貢獻2,數(shù)學家及其貢獻問題1如何抽取形式化規(guī)則GEORGEBOOLE布爾,18151864,1847年完成了形式邏輯的數(shù)學化/命題邏輯或稱布爾邏輯GOTTLOBFREGE弗雷格,18481925,1879年擴展了布爾邏輯,使其包含對象和關系,創(chuàng)建了一階邏輯ALFREDTARSKI塔斯基引入了一種參考理論,可以把邏輯對象與現(xiàn)實世界對象聯(lián)系起來,第1章人工智能概述,30,數(shù)學的貢獻3,問題1結(jié)論形式化規(guī)則命題邏輯和一階謂詞邏輯問題2什么可以計算可以被計算,就是要找到一個算法算法本身的研究可回溯至9世紀波斯數(shù)學家ALKHOWARAZMI19世紀晚期,把一般的數(shù)學推理形式化為邏輯演繹的努力已經(jīng)展開,第1章人工智能概述,31,數(shù)學的貢獻4,1900年,DAVIDHILBERT希爾伯特,18621943提出了包括23個問題的清單,其中最后一個問題是是否存在一個算法可以判定涉及自然數(shù)的邏輯命題的真實性,即可判定性問題/他所要問的是有效證明過程的能力是否有基礎的局限性這一問題被KURTG?DEL哥德爾,19061978在1931年證實確實存在真實的局限,第1章人工智能概述,32,數(shù)學的貢獻5,1930年,哥德爾提出存在一個有效過程可以證明羅素和弗雷格的一階邏輯中的任何真值語句,但是一階邏輯不能捕捉到刻畫自然數(shù)所需要的數(shù)學歸納法原則1931年,哥德爾證明了他的不完備性定理在任何表達能力足以描述自然數(shù)的語言如某種邏輯中,在不能通過任何算法建立它們的真值的意義上,存在不可判定的真值語句不完備性定理還可以表述為整數(shù)的某些函數(shù)無法用算法表示,即不可計算的,第1章人工智能概述,33,數(shù)學的貢獻6,由此激發(fā)了ALLENTURING圖靈,19121954的熱情,他試圖精確地刻畫哪些函數(shù)是能夠被計算的/實際上計算或者有效過程的概念是無法給出形式化定義的/但是CHURCHTURING論題指出圖靈機可以計算任何可計算的函數(shù)/該結(jié)論作為一個充分的定義而被接受圖靈說明了一些函數(shù)沒有對應的圖靈機/沒有通用的圖靈機可以判定一個給定的程序?qū)τ诮o定的輸入能否返回答案或者永遠運行下去,第1章人工智能概述,34,數(shù)學的貢獻7,在不可計算性以外,不可操作性具有更重要的影響/如果解決一個問題需要的計算時間隨著實例規(guī)模成指數(shù)級增長,則該問題被稱為不可操作的(計算復雜性問題)多項式級和指數(shù)級增長的區(qū)別在20世紀60年代得到重視如何認識不可操作問題以STEVENCOOK1971和RICHARDCARP為代表的NP完全理論的研究提供了一種方法,第1章人工智能概述,35,數(shù)學的貢獻8,COOK和CARP證明有大量各種類別的規(guī)范的組合搜索和推理問題屬于NP完全問題任何NP完全問題類可歸約成的問題類很可能是不可操作的目前尚未證明,但大家猜測是如此AI研究幫助解釋了為什么NP完全問題的一些實例很難,而另外一些較容易問題2結(jié)論有了可計算性和算法復雜性理論的指導,第1章人工智能概述,36,數(shù)學的貢獻9,數(shù)學對AI的第三個貢獻是概率理論PIERREFERMAT,PASCAL,JAMESBERNOULLI,PIERRELAPLACE等都推進了概率理論的發(fā)展及引入了新的統(tǒng)計方法論THOMASBAYES貝葉斯,17491827提出了根據(jù)證據(jù)更新概率的法則貝葉斯公式/條件概率公式由此衍生出的貝葉斯分析形成了AI系統(tǒng)中不確定推理方法的基礎問題3結(jié)論使用貝葉斯理論進行不確定推理,第1章人工智能概述,37,經(jīng)濟學的貢獻1,經(jīng)濟學1776現(xiàn)在貢獻的思想如何決策以獲得最大收益在他人不合作的情況下如何做到這點在收益遙遙無期的情況下如何做到這點問題1效用理論問題2決策理論問題3運籌學上述研究工作對于建造理性智能體很有貢獻,其原因之一是制定理性決策的復雜性,第1章人工智能概述,38,經(jīng)濟學的貢獻2,HERBERTSIMON西蒙,19162001是AI研究的先驅(qū)者/他于1978年獲得諾貝爾經(jīng)濟學獎,是因為他早年的工作基于滿意度的模型制定“足夠好”的決策,而不是艱苦計算獲得最優(yōu)化決策能更好地描述真實人類行為關于在智能體系統(tǒng)中使用決策理論技術(shù)的研究興趣正在復蘇,第1章人工智能概述,39,神經(jīng)科學的貢獻1,神經(jīng)科學1861現(xiàn)在的貢獻大腦是如何處理信息的神經(jīng)科學是研究神經(jīng)系統(tǒng)特別是大腦的科學雖然幾千年來人類一直贊同大腦以某種方式與思維相聯(lián)系因為證據(jù)表明頭部受重擊會導致精神缺陷,但是直到18世紀中期人類才廣泛地承認大腦是意識的居所,第1章人工智能概述,40,神經(jīng)科學的貢獻2,PAULPROCA布魯卡通過研究大腦損傷病人的失語癥,闡明了語言產(chǎn)生定位于大腦左半球的一部分,現(xiàn)在稱為布魯卡區(qū)1873年CAMILLOGOLGI開發(fā)出一項染色體技術(shù),允許人們觀察大腦的各個神經(jīng)元1929年HANSBERGER發(fā)明腦電圖記錄儀1990年核磁共振成像為神經(jīng)科學家提供了關于大腦活動的細致圖像,使得以某種方式與正在進行的認知過程相符合的測量成為可能,第1章人工智能概述,41,神經(jīng)科學的貢獻3,真正令人震驚的結(jié)論是簡單細胞的集合能夠?qū)е滤季S、行動和意識,換句話說,大腦產(chǎn)生意識西爾勒,1992計算機和大腦如何相比大腦活動過程對計算機工作過程有所啟發(fā),第1章人工智能概述,42,計算機與大腦的比較,盡管計算機在原始的轉(zhuǎn)換速度上快100萬倍,大腦最終在做事上比計算機快10萬倍,第1章人工智能概述,43,心理學的貢獻1,心理學1879現(xiàn)在的貢獻人類和動物如何思考和行動心理學家的工作科學的心理學源自德國物理學家HERMANVONHELMHOLTZ霍爾姆霍茲,18211894和其學生WILHELMWUNDT的研究工作,1879年萊比錫大學開設了第一個實驗心理學的實驗室,進行仔細控制的實驗,第1章人工智能概述,44,心理學的貢獻2,JOHNWATSON領導的行為主義運動認為內(nèi)省不能提供可靠的證據(jù),拒絕任何涉及精神過程的理論,只研究動物的感知及其反應行為主義在19201960年期間一直控制著心理學認知心理學的主要特征是把大腦當作信息處理裝置,可以回溯至WILLIAMJAMES的研究工作FREDERICBARTLETT領導的劍橋大學應用心理學小組使得認知模型得以繁榮,第1章人工智能概述,45,心理學的貢獻3,在美國,計算機科學的發(fā)展導致了認知科學的創(chuàng)建,始于1956年9月MIT的一個研討會就在AI創(chuàng)始的那次學術(shù)會議2個月之后,會上有三篇著名論文GEORGEMILLER介紹了魔法數(shù)字7THEMAGICNUMBERSEVEN/NOAMCHOMSKY喬姆斯基介紹了語言的三種模型THREEMODELSOFLANGUAGE/ALLENNEWELL紐厄爾和HERBERTSIMON介紹了邏輯理論機THELOGICTHEORYMACHINE,第1章人工智能概述,46,心理學的貢獻4,這三篇論文分別顯示了計算機模型可以用來表達記憶、語言和邏輯思維的心理狀態(tài)心理學家普遍認為“認知理論就應該像計算機程序”ANDERSON,1980,即認知理論應該描述詳細的信息處理機制,由此可能實現(xiàn)某種認知功能結(jié)論人類思考和活動應該是一個信息處理過程,第1章人工智能概述,47,計算機工程的貢獻1,計算機工程1940現(xiàn)在的貢獻如何才能制造出能干的計算機計算機被視為智能和人工制品的結(jié)合最早的可計算的裝置應該從17世紀算起19世紀中葉,CHARLESBABBAGE巴貝奇,17921871設計了兩臺機器,名為“差分機”和“分析機”,前者最終于1991年建造出來并在倫敦展出,第1章人工智能概述,48,計算機工程的貢獻2,最早的現(xiàn)代計算機幾乎同時在二戰(zhàn)期間分別在英國、德國和美國發(fā)明出來1945年在賓夕法尼亞大學UPENN開發(fā)出來的ENIAC被公認為現(xiàn)代計算機最有影響的先驅(qū),研制者包括JOHNMAUCHLY和JOHNECKERT計算機硬件按照摩爾定律每18個月性能翻一番,這樣的增長速度還可以持續(xù)穩(wěn)定10年至20年,以后就不得不尋求新技術(shù)了,第1章人工智能概述,49,計算機工程的貢獻3,計算機軟件技術(shù)為AI提供了操作系統(tǒng)、程序設計語言、工具軟件等AI反過來也對主流計算機科學產(chǎn)生了影響分時技術(shù)、交互式編譯器、窗口和鼠標的個人機、快速開發(fā)環(huán)境、鏈接表數(shù)據(jù)類型、自動存儲管理、面向?qū)ο蟮木幊痰?第1章人工智能概述,50,控制論的貢獻1,控制論1948現(xiàn)在的貢獻人工制品怎樣才能在自己的控制下運轉(zhuǎn)現(xiàn)代控制論控制論的創(chuàng)始人NORBERTWIENER維納,18941964的暢銷書CYBERNETICS控制論喚醒了人們對人工制造智能機器的可能性的熱情現(xiàn)代控制論,特別是隨機優(yōu)化控制的分支,把設計出能隨時間變化使目標函數(shù)最大化的系統(tǒng)作為其目的,也粗略符合對AI的觀點,第1章人工智能概述,51,控制論的貢獻2,AI和控制論為什么是兩個不同領域控制論的數(shù)學工具是微積分和矩陣代數(shù),適合于用固定的連續(xù)變量集合描述的系統(tǒng),精確分析在典型情況下只對線性系統(tǒng)可行AI自20世紀50年代建立以來,部分起因是尋求擺脫控制論數(shù)學方法的局限性邏輯推理和計算工具使得AI研究者考慮語言/視覺/規(guī)劃等問題,完全脫離了控制論的范圍,第1章人工智能概述,52,語言學的貢獻1,語言學1957現(xiàn)在貢獻的思想語言和思維是怎樣聯(lián)系起來的喬姆斯基最先作出了貢獻1957年句法結(jié)構(gòu)出版,顛覆了行為主義,認為該理論不能解釋兒童怎么能理解和構(gòu)造他們以前沒有聽到的句子,而喬姆斯基關于語法模型的理論則能夠解釋這個現(xiàn)象,并且足夠形式化/喬姆斯基理論的影響一直持續(xù)到20世紀80年代末,第1章人工智能概述,53,語言學的貢獻2,計算語言學或者自然語言處理與AI差不多同時誕生,一直在發(fā)展,但是距離徹底理解語言和思維的關系尚很遠研究語言的理解過程是人類智能研究的核心之一,第1章人工智能概述,54,各學科的貢獻,哲學邏輯/推理方法/智能作為一種物理系統(tǒng)/理性的基礎數(shù)學形式表示與證明/算法/可計算性/可操作性/概率性心理學自適應性/感知和控制的現(xiàn)象語言學知識表示/語法神經(jīng)科學智能活動的物理基礎SUBSTRATE控制理論自我平衡系統(tǒng)/穩(wěn)定性/優(yōu)化設計計算機工程計算機硬件和軟件系統(tǒng)經(jīng)濟學復雜系統(tǒng)中的決策/驗證環(huán)境,第1章人工智能概述,55,推動AI發(fā)展的動力,上述學科對于各種問題的探索,由此激發(fā)的認識、思想、成就都成為推動AI發(fā)展的動力由此而發(fā)展出來的技術(shù)就構(gòu)成了AI的學科研究內(nèi)容人工智能人造物計算機智能特殊化程序從智能體角度,有2類智能體人類/計算機作為人造智能體,人們期待計算機智能體在解決某些問題方面要達到專家水平,盡管從整體上它遠遠不及一個普通人,第1章人工智能概述,13人工智能簡史7個歷史時期孕育期/誕生/早期的成功與期望困難期/基于知識系統(tǒng)的崛起AI成為工業(yè)/AI成為科學,第1章人工智能概述,57,人工智能發(fā)展的7個時期,按照RUSSELL的觀點,AI近五十年的發(fā)展歷史可以分為以下7個時期AI孕育期19431955AI的誕生1956早期的熱情,巨大的期望19521969現(xiàn)實的困難19661973基于知識的系統(tǒng)力量的鑰匙19691979AI成為工業(yè)1980現(xiàn)在AI成為科學1987現(xiàn)在/神經(jīng)網(wǎng)絡的回歸1986現(xiàn)在/智能化智能體出現(xiàn)1995現(xiàn)在,第1章人工智能概述,58,人工智能孕育期19431955,神經(jīng)網(wǎng)絡最早的AI工作是1943年WARRENMCCULLOCH和WALTERPITTS人工神經(jīng)元模型的研究,他們證明任何可計算的函數(shù)都可以通過某種由神經(jīng)元連接成的網(wǎng)絡進行計算,還提出適當?shù)木W(wǎng)絡能夠?qū)W習1951年,普林斯頓大學數(shù)學系研究生MARVINMINSKY明斯基和DEANEDMONDS建造了第一臺神經(jīng)元網(wǎng)絡計算機,第1章人工智能概述,59,圖靈的論文,圖靈1950年的論文第一個清晰地描繪出AI的完整圖像COMPUTINGMACHINERYANDINTELLIGENCE提出了圖靈測試、機器學習、遺傳算法、增量學習,第1章人工智能概述,60,人工智能的誕生19561,1956年夏天,AI正式誕生于達特茅斯大學JOHNMCCARTHY麥卡錫自普林斯頓大學畢業(yè)以后去了達特茅斯大學,他說服了另外2個人幫助召開了為期2個月的研討會會議組織者4人麥卡錫、MINSKY明斯基、CLAUDESHANNON香儂、IBM的NATHANIELROCHESTER羅切斯特,參加者共10人其他6位是普林斯頓大學TRENCHARDMORE、IBM的ARTHURSAMUEL塞繆爾、MIT的RAYSOLOMONOFF和OLIVERSELFRIDGE、CMU的紐厄爾和西蒙,第1章人工智能概述,61,人工智能的誕生19562,會上,紐厄爾和西蒙最為活躍,介紹了他們的推理程序邏輯理論家盡管這次會議沒有新突破,但聚集了AI的主要人物特別是AI領域的4位著名專家,他們后來所在的大學也成為了美國AI研究的3大基地MIT明斯基STANFORD麥卡錫先在MIT后去了STANFORDCMU紐厄爾和西蒙此外,還有IBM,第1章人工智能概述,62,人工智能的誕生19563,這次會議最為長久的貢獻就是麥卡錫為該領域起的名字人工智能為什么AI有必要成為一個新領域目標不同AI從一開始就承載著復制人的才能如創(chuàng)造性、自我修養(yǎng)、語言功能等思想,沒有任何一個其他領域涉及這些問題方法論不同是唯一一個明確屬于計算機科學的分支,因而不是數(shù)學或者控制論或其他學科的分支AI是唯一這樣的領域它試圖建造在復雜和變化的環(huán)境中自動發(fā)揮功能的機器,第1章人工智能概述,63,早期的熱情,巨大的期望195219691,當時,主流的思想是“一臺機器永遠不能做X”而不是考慮“看看計算機能不能做X”AI研究者們就演示一個接一個的XCMU紐厄爾和西蒙完成通用問題求解器GPS,該系統(tǒng)及其后續(xù)程序的成功導致了他們提出著名的物理符號系統(tǒng)假設,第1章人工智能概述,64,早期的熱情,巨大的期望195219692,IBM1959HERBERTGELERNTER建造了幾何定理證明機1952年起,塞繆爾寫了一系列西洋跳棋程序,通過學習可達業(yè)余高手的級別MIT1958年麥卡錫到了以后作出了三項重要貢獻/貢獻1定義了LISP語言/貢獻2與MIT其他人發(fā)明了分時技術(shù)/貢獻3發(fā)表了題為PROGRAMWITHCOMMONSENSE的論文,文中描述了“建議采納者”程序該程序?qū)崿F(xiàn)了知識表示和推理的中心原則具備明確的知識表示,并能通過演繹過程處理這些表示,第1章人工智能概述,65,早期的熱情,巨大的期望195219693,STANFORD1963年麥卡錫啟動了斯坦福的AI實驗室,著重研究邏輯推理的通用方法后來如ROBINSON發(fā)現(xiàn)歸結(jié)方法/以及機器人研究MIT1958年明斯基也到了,不過他對程序如何實現(xiàn)更感興趣,并最終發(fā)展出反邏輯的觀點/指導了一系列學生,選擇那些顯然需要智能才能解決的受限問題/貢獻微世界模型MIT最著名的微世界是積木世界,在此基礎上完成了許多研究工作如視覺項目、自然語言理解項目TERRYWINOGRAD、規(guī)劃器等,第1章人工智能概述,66,現(xiàn)實的困難196619731,早期AI研究者過于盲目的樂觀態(tài)度,10年預見,而實際上至少40年早期的AI系統(tǒng)在試圖解決更寬范圍和更難的問題時,都悲慘地失敗了/原因何在第一類困難缺少主題知識通用而非專門化典型例子機器翻譯MT/最早對AI研究的發(fā)難始于機器翻譯1966ALPAC報告時至今日,MT研究仍然不完善但是被廣泛期待,也在作為一種輔助文檔處理工具,第1章人工智能概述,67,現(xiàn)實的困難196619732,第二類困難AI試圖解決的很多問題是不可操作的NP類在計算復雜性理論建立之前,對“問題放大”從玩具到現(xiàn)實的認識局限于速度和存儲容量例子包含超過幾十條事實的定理證明/早期遺傳算法實驗195859無限計算能力的幻覺程序原則上能夠找到解并不意味著程序?qū)嶋H上包含找到解的機制1973年英國政府在LIGHTHILL報告之后終止了除2所大學以外所有的AI研究資助,第1章人工智能概述,68,現(xiàn)實的困難196619733,第三類困難用于產(chǎn)生智能行為的基本結(jié)構(gòu)存在某些限制例子1969年MINSKY和PAPERT證明了感知器簡單的神經(jīng)網(wǎng)絡所能表示的東西很少單層感知器對XOR函數(shù)神經(jīng)網(wǎng)絡研究由此沉寂了20年,直到80年代后期多層網(wǎng)絡的反向傳播算法出現(xiàn)引起了神經(jīng)網(wǎng)絡的復興這一
下載積分: 4 賞幣
上傳時間:2024-01-07
頁數(shù): 109
大小: 1.7(MB)
子文件數(shù):