【正文】 論創(chuàng)始人。實現(xiàn)了萊布尼茨的思維符號化和數(shù)學化的思想，提出了一種嶄新的代數(shù)系統(tǒng) ——布爾代數(shù)。培根（ F. Bacon 1561 1626）： 英國哲學家、作家和科學家，系統(tǒng)地提出了歸納法，成為和亞里士多德的演繹法相輔相成的思維法則。他還造了能載人的大木鳶，在戰(zhàn)爭中擔任偵查的任務。湯問 》記載，傳說周穆王在西巡途中，遇到一位名叫偃師的能工巧匠。 ?問：你會下國際象棋嗎？ ?答：是的，我不是已經(jīng)說過了嗎？ ?問：請再次回答，你會下國際象棋嗎？ ?答：你煩不煩，干嘛老提同樣的問題。 ? 圖靈測試的問題： ?問：你會下國際象棋嗎？ ?答：是的。 ?具有學習能力及自適應能力： 適應環(huán)境的變換、積累經(jīng)驗的能力 ?具有行為能力（系統(tǒng)輸出）： 對外界的智能化反應 西安電子科技大學 什么是人工智能？ ? 人工智能（ AI）的定義 ? 形式化定義： 目前還沒有。 ?知識閾值理論： 智能行為取決于 知識的數(shù)量及其一般化的程度 。西安電子科技大學 Artificial Intelligence (AI) 人工智能 主講：戚玉濤 Email： 第一章：緒論 西安電子科技大學 關(guān)于課程 ?課程類型： 必修課，計算機類學科基礎(chǔ)課 ?課時： 46 ?學分： 3 ?先修課程： 離散數(shù)學、程序設計基礎(chǔ)、數(shù)據(jù)結(jié)構(gòu) ?教材 蔡自興 , 徐光祐 主編 .《 人工智能及其應用 》 . 北京：清華大學出版社， 2023年 5月第四版 . ?參考書籍 史忠植 主編 .《 高級人工智能 》 .北京：科學出版社， 2023. 西安電子科技大學 關(guān)于課程 ?考核方式 ? 成績評定方法： ?期末考試＋平時 成績 ? 考試方式： ?閉卷 ? 各教學環(huán)節(jié)占總分的比例 ? 期末考試占考試成績的 80% ?平時 成績占 20%。智能就是在巨大的知識空間中迅速找到一個滿意解的能力 ?進化理論： MIT布魯克（ ）教授認為 對外界事物的感知能力、對動態(tài)環(huán)境的適應能力 是智能的重要基礎(chǔ)和組成部分。因為人工智能的嚴格定義依賴于對智能的定義，而智能本身也還無嚴格定義。 ?問：你會下國際象棋嗎？ ?答：是的。 測試主持人 被測機器 被測人 30%成功欺騙？ 西安電子科技大學 圖靈測試 ? Turing測試存在的問題 ? “圖靈測試”沒有規(guī)定問題的范圍和提問的標準 ? 僅反映了結(jié)果的比較，無涉及思維過程 ? 沒指出是什么人 ?爭論： 通過了圖靈檢驗的電腦就具備思維能力了么 ？ ?希爾勒的中文屋子： 若問題是用中文而不是用英文？ 測試主持人 被測機器 被測人 30%成功欺騙？ 西安電子科技大學 人工智能的起源與發(fā)展 ? 50多年來，人工智能走過了一條起伏和曲折的發(fā)展道路。偃師獻上一個會歌舞表演的“假倡” ，“鋇（抑）其頤則歌合律，捧其手則舞應節(jié)，千變?nèi)f化，惟意所適” 。 ?指南車： 東漢張衡 ?木牛流馬： 魯班？諸葛亮？ 西安電子科技大學 人工智能的起源與發(fā)展 ?（ 1956年以前） ?亞里士多德（ Aristotle，公元前 384322）： 古希臘偉大的哲學家和思想家，創(chuàng)立了演繹法。 ?萊布尼茨 (， 16461716)： 德國數(shù)學家和哲學家把形式邏輯符號化，奠定了數(shù)理邏輯的基礎(chǔ)。 西安電子科技大學 人工智能的起源與發(fā)展 ?（ 1956年以前） ?圖靈 (， 19121954)： 英國數(shù)學家， 1936年創(chuàng)立了自動機理論，自動機理論亦稱圖靈機，是一個理論計算機模型。1948年創(chuàng)立了 控制論 。該程序的設計是從模仿人類問題求解的規(guī)程開始的，不依賴于具體領(lǐng)域 。 – 這個程序可以從棋譜中學習，也可以在下棋過程中積累經(jīng)驗、提高棋藝。 ? 1965年，魯賓遜 ()提出了歸結(jié)（消解）原理。 ? 1970年 《 International Journal of AI》 創(chuàng)刊。當用歸結(jié)原理證明兩個連續(xù)函數(shù)之和還是連續(xù)函數(shù)時，推了 10萬步也沒證出結(jié)果。 ? 在其它方面： 人工智能也遇到了不少問題。 ? 該批評對人工智能的發(fā)展造成了重要的影響 在以后的二十年，感知機的研究方向被忽視 基于符號的知識表示成為主流 基于邏輯的推理成為主要研究方向 西安電子科技大學 人工智能的起源與發(fā)展 ?3. 暗淡期（ 1966 1974年） ?當時的人工智能存在三個方面的局限性 ? 知識局限性： 早期開發(fā)的人工智能程序中包含了太少的主題知識，甚至沒有知識，而且只采用簡單的句法處理。 ? 1972年， 費根鮑姆 開始研究 MYCIN醫(yī)療專家系統(tǒng)，并于 1976年研制成功。 費根鮑姆 （ E. A. Feigenbaum ） 西安電子科技大學 人工智能的起源與發(fā)展 ?4. 知識應用期（ 1970 1988年） ? 整個 20世紀 80年代，專家系統(tǒng)和知識工程在全世界得到了迅速發(fā)展。 西安電子科技大學 人工智能的起源與發(fā)展 ? 5. 集成發(fā)展期（ 1986年以來） ? 神經(jīng)網(wǎng)絡的復興： 1982年， Hopfield模型提出。 ? 1997年 5月 11日，由 IBM研制的超級計算機“深藍” 首次擊敗 了國際象棋特級大師卡斯帕洛夫 。 西安電子科技大學 人工智能的起源與發(fā)展 ?5. 集成發(fā)展期（ 1986年以來） ? 機器學習，計算智能，人工神經(jīng)網(wǎng)絡，模糊邏輯，粗集理論，多智能體系統(tǒng)和行為主義等研究深入開展，不時形成高潮 ? 隨著人工神經(jīng)網(wǎng)絡的再度興起和布魯克（ R. A. Brooks）的六足機器蟲的出現(xiàn)，人工智能研究形成了符號主義、連接主義和行為主義三大學派。 西安電子科技大學 人工智能的各種認知觀 ?連接主義（ Connectionism） : ?又稱為 仿生學派 、 生理學派 ?連接主義觀點認為： 思維的基元是神經(jīng)元，而不是符號；思維過程是神經(jīng)元的聯(lián)結(jié)活動過程，而不是符號運算過程 ；反對符號主義關(guān)于物理符號系統(tǒng)的假設。 ?代表人物： 布魯克 ?代表性成果： 布魯克研制的機器蟲 西安電子科技大學 人工智能的各種認知觀 ?機制主義（ mechanism）： ?鐘義信： 北京郵電大學教授，曾任中國人工智能學會理事長 ?機制主義是結(jié)構(gòu)（連接）主義、功能（符號）主義和行為主義的和諧統(tǒng)一 ?智能活動的過程： 任務給定 信息獲取 知識提煉 策略生成 策略執(zhí)行 反饋優(yōu)化 ?智能生成的機制 ： 信息 知識 智能的轉(zhuǎn)換 ?由于采用的知識類型不同，神經(jīng)網(wǎng)絡（結(jié)構(gòu)模擬，經(jīng)驗知識）、專家系統(tǒng)（功能模擬，規(guī)范知識）、感知 動作系統(tǒng)（行為模擬，常識知識）分別是機制主義方法的特例。 ?物理符號系統(tǒng)的 3個推論 ?推論一： 既然人具有智能，那么他（她）一定是一個物理符號系統(tǒng)。具體可細分為： ? 認知建模 ?認知： 可一般地認為是和情感、動機、意志相對應的理智或認識過程，或者是為了一定的目的，在一定的心理結(jié)構(gòu)中進行的信息加工過程。 ?是機器獲取智能的途徑 ?學習是一個有特定目的的知識獲取過程 ?學習的本質(zhì)是對信息的理解與應用 ?有多種學習方法 西安電子科技大學 人工智能研究的基本內(nèi)容 ? 機器行為： ?讓計算機能夠具有像人那樣地行