【正文】 主講教師：吳 斌 EMALL: 西南科技大學(xué)信息工程學(xué)院 2023年 9月 總學(xué)時(shí)： 45學(xué)時(shí) 學(xué)時(shí)安排： 緒論 2學(xué)時(shí) 知識(shí)表示 8學(xué)時(shí) 確定性推理 10學(xué)時(shí) 不確定性推理 7學(xué)時(shí) 狀態(tài)空間搜索 6學(xué)時(shí) 機(jī)器學(xué)習(xí) 4學(xué)時(shí) 自然語(yǔ)言理解 4學(xué)時(shí) 課堂討論 4學(xué)時(shí) 成績(jī)構(gòu)成： 平時(shí)成績(jī)（寫一篇綜述性論文） 30分 期末考試 70分。 《人工智能》課程安排 主要參考書 第 1章 緒 論 人工智能的起源 人工智能 人工智能的研究方法和技術(shù)路線 人工智能的研究領(lǐng)域與方向 一、孕育期（ 1956年前） 人工智能的發(fā)展可追溯到 19世紀(jì)，首先由布爾和德 摩根提出了“思維定律”，即“ 命題演算 ”，這是走向 AI的第一步。在 20世紀(jì) 30年代~40年代，又形成了數(shù)學(xué)邏輯，并在計(jì)算機(jī)上得以實(shí)現(xiàn)，它為人們建立了計(jì)算與智能之間的關(guān)系。 二、形成期（ 1956年 ~1970年） 首先， 在 1956年在美國(guó)舉行了長(zhǎng)達(dá) 2個(gè)月的研討會(huì)，討論了機(jī)器模擬人類智能的問題。并首次提出了人工智能 —— 宣布人工智能誕生了； 第一節(jié) 人工智能 的起源 命題演算 ? 命題是指有真假意義的陳述句。命題演算是數(shù)理邏輯的一部分，它主要研究命題如何通過一些命題聯(lián)結(jié)詞構(gòu)成更復(fù)雜的命題以及邏輯推理的方法。 如果我們把命題看作運(yùn)算的對(duì)象，如同代數(shù)中的數(shù)字、字母或代數(shù)式，而把邏輯聯(lián)結(jié)詞看作代數(shù)中的“加、減、乘、除”那樣的運(yùn)算，那么由簡(jiǎn)單命題組成復(fù)合命題的過程，就可以當(dāng)作邏輯運(yùn)算的過程，從而實(shí)現(xiàn)命題的演算。 這樣的邏輯運(yùn)算也同代數(shù)運(yùn)算一樣具有一定的性質(zhì)，滿足一定的運(yùn)算規(guī)律。例如滿足交換律、結(jié)合律、分配律，同時(shí)也滿足邏輯上的同一律、吸收律、雙否律、德 .摩根定律、肯定律、否定律和析取三段論等推理定律。利用這些定律，我們可以進(jìn)行邏輯推理，可以簡(jiǎn)化復(fù)合命題，可以推證兩個(gè)復(fù)合命題是不是等價(jià)，某個(gè)命題是否是若干前提的有效結(jié)論等等。 其次， 在 1969年召開了第一屆國(guó)際人工智能聯(lián)合會(huì)議（每?jī)赡昱e行一次）； 各種學(xué)術(shù)團(tuán)體成立： 美國(guó)人工智能學(xué)會(huì)（ AAAI）、英國(guó)的 AISB， 意大利的 GLIA、 加拿大計(jì)算機(jī)智能研究會(huì)（ CSCSI）、 西德的 KI和中國(guó) AI學(xué)會(huì)（ CAAI） 等； 專門的人工智能雜志和文集： 《人工智能》雜志創(chuàng)刊， 《 IJCAI會(huì)議錄》、《 Machine Intelligence》（ 英國(guó)）、《 Artificial Intelligence》（ 日本）、《計(jì)算機(jī)智能研究學(xué)會(huì)文集》（加拿大）和《 Congnitive Science》（ 美國(guó)）； 學(xué)術(shù)會(huì)議： 國(guó)際自動(dòng)控制協(xié)會(huì)、國(guó)際工業(yè)機(jī)器人協(xié)會(huì)、國(guó)際信息處理聯(lián)合會(huì)和國(guó)際模式識(shí)別會(huì)議等； 學(xué)術(shù)期刊： ACM、 AFIPS、 IEEE等。 (1)、心理學(xué)小組 在 1957年，紐厄爾、肖（ )和西蒙等人的心理學(xué)小組研制了一個(gè)稱為邏輯理論機(jī)（ Logic Theory Machine)的數(shù)學(xué)定理證明程序。該程序模擬了人類用數(shù)理邏輯證明定理時(shí)的思維規(guī)律。紐厄爾用它證明了懷特（ )和羅素（ )的歷史名著《數(shù)學(xué)原理》中的 38條定理，開創(chuàng)了用 計(jì)算機(jī)研究人類思維活動(dòng)規(guī)律的工作。 隨后，在 1960年，又研制了通用問題求解程序，該程序當(dāng)時(shí)可以解決 11種不同類型的問題：如不定積分、三角函數(shù)、代數(shù)方程、猴子與香蕉、河內(nèi)梵塔、人羊過河等。 (2)、 IBM工程課題小組 1956年，塞繆爾在 IBM704計(jì)算機(jī)上研制成功了具有自學(xué)習(xí)、自組織和自適應(yīng)能力的西洋跳棋程序。該程序可以從棋譜中學(xué)習(xí)、也可以在下棋過程中積累經(jīng)驗(yàn)、提高棋藝。通過不斷的學(xué)習(xí)，該程序 1959年擊敗了塞繆爾本人， 1962年又擊敗了一個(gè)州冠軍。 (3)、 MIT小組 1958年，麥卡錫建立了行動(dòng)規(guī)劃咨詢系統(tǒng)； 1960年，麥卡錫又研制了人工智能語(yǔ)言 LISP。該語(yǔ)言不僅可以處理數(shù)值，而且可以方便地處理符號(hào)，作為建造智能系統(tǒng)的重要工具在人工智能領(lǐng)域中得到廣泛的應(yīng)用； 1961年，明斯基發(fā)表了“走向人工智能的步驟”的論文，推動(dòng)了人工智能的發(fā)展； (4)、其他方面 1965年，魯賓遜（ )提出了歸結(jié)（消解）原理。這種與傳統(tǒng)自然演繹完全不同的方法為自動(dòng)定理證明做出了突破性的貢獻(xiàn)。 另外， 1965年美國(guó)斯坦福大學(xué)的費(fèi)根鮑姆()領(lǐng)導(dǎo)的研究小組開始研究化學(xué)專家系統(tǒng) DENDRAL。 該專家系統(tǒng)于 1968年完成并投入使用，它可以根據(jù)質(zhì)譜儀的實(shí)驗(yàn)，通過分析推理決定化合物的分子結(jié)構(gòu)。DENDRAL被稱為專家系統(tǒng)的萌芽，是人工智能研究從一般思維探討到專門知識(shí)應(yīng)用的一次成功的嘗試。 控制論的提出對(duì)人工智能的研究起到很大的作用 控制論的概念跨接了許多領(lǐng)域，它把神經(jīng)系統(tǒng)的工作原理與信息理論、控制理論、邏輯以及早期計(jì)算聯(lián)系起來，為此，控制論成為人工智能工作者的指導(dǎo)思想。 三、知識(shí)形成期（ 1971年 — 1980年代末） 在 70年代 ~80年代，人工智能遭受了嚴(yán)重的挫折。很多預(yù)言未能得以實(shí)現(xiàn)。如：在博奕方面，塞繆爾的下棋程序在與世界冠軍對(duì)奕時(shí)，5局中擊敗了 4局；在定理證明方面，發(fā)現(xiàn)魯賓遜的歸結(jié)原理的能力十分有限，當(dāng)用歸結(jié)原理證明兩個(gè)連續(xù)函數(shù)之和還是連續(xù)函數(shù)時(shí)，推了10萬步也沒有結(jié)果；在問題求解方面，由于過去