人工智能課件第一次課42-免費閱讀
【正文】 ? 回顧人工智能發(fā)展的歷史進程，從科學(xué)方法論的角度分析，其發(fā)展有三條途徑，分別是結(jié)構(gòu)模擬、功能模擬和行為模擬。為了揭示智能的有關(guān)原理，研究者們相繼對問題求解、博弈、定理證明、程序設(shè)計、機器視覺、自然語言理解等領(lǐng)域的課題進行了深入的研究。他還提出了邏輯機的設(shè)計思想，即通過符號體系，對對象的特征進行推理，這種“萬能符號”和“推理計算”的思想是現(xiàn)代化“思考”機器的萌芽，因而他曾被后人譽為數(shù)理邏輯的第一個奠基人。 第四節(jié) 人工智能的 發(fā)展簡史與趨勢 ? 人工智能 （ Artificial Intelligence）是計算機科學(xué)、控制論、信息論、神經(jīng)生理學(xué)、心理學(xué)、語言學(xué)等多種學(xué)科互相滲透而發(fā)展起來的一門綜合性新學(xué)科，其誕生可追溯到 50年代中期。例如一個高層描述組成的模型是： 一座山，山頂上有一棵樹，山上牛正在吃草 。 用現(xiàn)在知道的最佳方法求解 NP完全性問題，所花費的時間是隨著問題規(guī)模增大按指數(shù)方式增長，但迄今還不知道是否有更快的方法（如只涉及多項式時間）存在。許多自動程序設(shè)計系統(tǒng)將產(chǎn)生一份輸出程序的驗證作為額外的收益。此外由于智能機器是一個綜合性的課題，除機械手和步行機構(gòu)外，還要研究機器視覺、觸覺、聽覺等傳感技術(shù)，以及機器人語言和智能控制軟件等。進入 90年代， IBM公司以其雄厚硬件基礎(chǔ)，支持開發(fā)后來被稱之為“深藍”的國際象棋系統(tǒng)，并為此開發(fā)了專用的芯片，以提高計算機的搜索速度。 對專家系統(tǒng)開發(fā)工具的研制發(fā)展也很迅速。 智能信息檢索系統(tǒng)應(yīng)具有如下的功能： （ 1）能理解自然語言，允許用自然語言提出各種詢問； （ 2）具有推理能力，能根據(jù)存儲的事實，演繹出所需的答案； （ 3）系統(tǒng)擁有一定常識性知識，以補充學(xué)科范圍的專業(yè)知識。 ? 1958年定理證明方面取得新成就，美籍數(shù)理邏輯學(xué)家王浩在 IBM704計算機上以 35分鐘證明了 《 數(shù)學(xué)原理 》 有關(guān)命題演算的全部 220條定理，還用了幾分鐘證明了該書中帶等式的謂詞演算的 150條定理中的 85%， 1959年再接再厲，僅用了 。以往該試驗幾乎是衡量機器人工智能的唯一標準，但是從九十年代開始，現(xiàn)代人工智能領(lǐng)域的科學(xué)家開始對此試驗提出異議：反對封閉式的，機器完全自主的智能；提出與外界交流的，人機交互的智能。 定義 ? 人工智能是那些與人的思維、決策、問題求解和學(xué)習等有關(guān)活動的 自動化 。 定義 人工智能學(xué)科 ? 是計算機科學(xué)中涉及研究、設(shè)計和應(yīng)用智能機器的一個 分支 。 定義 ? 人工智能是一門通過計算過程力圖理解和模仿智能行為的 學(xué)科 。 人工智能成功的實例 ? 1953年，美國喬治敦大學(xué)組織了第一次機器翻譯的實際實驗。 實現(xiàn)機器翻譯過程中，如果計算機確實會理解一個句子的意義，那么就可能進行釋義，從而能較通順地給出譯文。 專家系統(tǒng)的開發(fā)和研究是人工智能研究中面向?qū)嶋H應(yīng)用的課題，受到人們的極大重視。 例如使用謂詞邏輯語言，其演繹過程的形式體系研究，幫助人們更清楚地理解推理過程的各個組成部分。特別是危險環(huán)境，人們難以勝任的場合更迫切需要機器人，從而推動了智能機器的研究。而這里所說的自動程序設(shè)計相當于一種 超級編譯程序 ，它要求能對高級描述進行處理，通過規(guī)劃過程，生成得到所需的程序。該問題的一般化提法是：對由幾個節(jié)點組成的一個圖的各條邊，尋找一條最小耗費的路徑，使得這條路徑只對每一個節(jié)點穿行一次。實驗表明有效的處理方法要求具有 理解 的能力，而理解則要求大量有關(guān)感受到的事物的許多基礎(chǔ)知識。有一種策略是對不同層次的描述作出假設(shè)，然后再測試這些假設(shè)，這種假設(shè) 測試的策略給這個問題提供了一種方法，它可應(yīng)用于感知過程的不同層次上。 ? 十二世紀末至十三世紀初年間，西班牙的神學(xué)家和邏輯學(xué)家 Romen Luee試圖制造能解決各種問題的通用邏輯機。 ? 在 MIT小組， 1959年 McCarthy發(fā)明的表（符號）處理語言 LISP，成為人工智能程序設(shè)計的主要語言，至今仍被廣泛采用。 ? 中國人在人工智能領(lǐng)域的突出貢獻主要有：1960 年，華裔美國數(shù)理邏輯學(xué)家王浩提出了命題邏輯的機器定理證明的新算法，利用計算機證明
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1