【正文】 1960年，麥卡錫又研制了人工智能語言 LISP。 隨后，在 1960年，又研制了通用問題求解程序，該程序當(dāng)時(shí)可以解決 11種不同類型的問題：如不定積分、三角函數(shù)、代數(shù)方程、猴子與香蕉、河內(nèi)梵塔、人羊過河等。 其次， 在 1969年召開了第一屆國際人工智能聯(lián)合會議（每兩年舉行一次）； 各種學(xué)術(shù)團(tuán)體成立： 美國人工智能學(xué)會（ AAAI）、英國的 AISB， 意大利的 GLIA、 加拿大計(jì)算機(jī)智能研究會（ CSCSI）、 西德的 KI和中國 AI學(xué)會（ CAAI） 等； 專門的人工智能雜志和文集： 《人工智能》雜志創(chuàng)刊， 《 IJCAI會議錄》、《 Machine Intelligence》（ 英國）、《 Artificial Intelligence》（ 日本）、《計(jì)算機(jī)智能研究學(xué)會文集》（加拿大）和《 Congnitive Science》（ 美國）； 學(xué)術(shù)會議： 國際自動(dòng)控制協(xié)會、國際工業(yè)機(jī)器人協(xié)會、國際信息處理聯(lián)合會和國際模式識別會議等； 學(xué)術(shù)期刊： ACM、 AFIPS、 IEEE等。 如果我們把命題看作運(yùn)算的對象，如同代數(shù)中的數(shù)字、字母或代數(shù)式，而把邏輯聯(lián)結(jié)詞看作代數(shù)中的“加、減、乘、除”那樣的運(yùn)算，那么由簡單命題組成復(fù)合命題的過程，就可以當(dāng)作邏輯運(yùn)算的過程，從而實(shí)現(xiàn)命題的演算。在 20世紀(jì) 30年代~40年代，又形成了數(shù)學(xué)邏輯，并在計(jì)算機(jī)上得以實(shí)現(xiàn)，它為人們建立了計(jì)算與智能之間的關(guān)系。主講教師：吳 斌 EMALL: 西南科技大學(xué)信息工程學(xué)院 2023年 9月 總學(xué)時(shí)： 45學(xué)時(shí) 學(xué)時(shí)安排： 緒論 2學(xué)時(shí) 知識表示 8學(xué)時(shí) 確定性推理 10學(xué)時(shí) 不確定性推理 7學(xué)時(shí) 狀態(tài)空間搜索 6學(xué)時(shí) 機(jī)器學(xué)習(xí) 4學(xué)時(shí) 自然語言理解 4學(xué)時(shí) 課堂討論 4學(xué)時(shí) 成績構(gòu)成： 平時(shí)成績（寫一篇綜述性論文） 30分 期末考試 70分。 二、形成期（ 1956年 ~1970年） 首先， 在 1956年在美國舉行了長達(dá) 2個(gè)月的研討會，討論了機(jī)器模擬人類智能的問題。 這樣的邏輯運(yùn)算也同代數(shù)運(yùn)算一樣具有一定的性質(zhì)，滿足一定的運(yùn)算規(guī)律。 (1)、心理學(xué)小組 在 1957年，紐厄爾、肖（ )和西蒙等人的心理學(xué)小組研制了一個(gè)稱為邏輯理論機(jī)（ Logic Theory Machine)的數(shù)學(xué)定理證明程序。 (2)、 IBM工程課題小組 1956年，塞繆爾在 IBM704計(jì)算機(jī)上研制成功了具有自學(xué)習(xí)、自組織和自適應(yīng)能力的西洋跳棋程序。該語言不僅可以處理數(shù)值，而且可以方便地處理符號，作為建造智能系統(tǒng)的重要工具在人工智能領(lǐng)域中得到廣泛的應(yīng)用； 1961年，明斯基發(fā)表了“走向人工智能的步驟”的論文，推動(dòng)了人工智能的發(fā)展； (4)、其他方面 1965年，魯賓遜（ )提出了歸結(jié)（消解）原理。DENDRAL被稱為專家系統(tǒng)的萌芽，是人工智能研究從一般思維探討到專門知識應(yīng)用的一次成功的嘗試。如：在博奕方面，塞繆爾的下棋程序在與世界冠軍對奕時(shí)，5局中擊敗了 4局；在定理證明方面，發(fā)現(xiàn)魯賓遜的歸結(jié)原理的能力十分有限，當(dāng)用歸結(jié)原理證明兩個(gè)連續(xù)函數(shù)之和還是連續(xù)函數(shù)時(shí)，推了10萬步也沒有結(jié)果；在問題求解方面，由于過去研究的多是良結(jié)構(gòu)問題，而現(xiàn)實(shí)世界中的問題又多是不良結(jié)構(gòu)，如果仍用那些方法去處理，將會產(chǎn)生組合爆炸。 MYCIN是一個(gè)用于細(xì)菌感染患者的診斷和治療醫(yī)學(xué)專家系統(tǒng)。 1977年，在第五屆國際人工智能聯(lián)合會上正式提出了知識工程的概念。 總結(jié)： 20世紀(jì) 50年代： 主要是以游戲、博弈為研究對象； 20世紀(jì) 60年代前期： 主要是以搜索方法和一般問題的求 解為主要研究內(nèi)容； 20世紀(jì) 70年代： 主要是以專家系統(tǒng)和知識工程為主要的研究對象； 20世紀(jì) 80年代： 主要是以推理技術(shù)作為主要的研究內(nèi)容； 20世紀(jì) 90年代以來： 主要是以機(jī)器學(xué)習(xí)和人工神經(jīng)網(wǎng)絡(luò)為主要的研究內(nèi)容。 二、人工智能的定義 廣義的講：用計(jì)算機(jī)來表示和執(zhí)行人類的智能活動(dòng)，就是人工智能。 總之：人工智能也稱為機(jī)器智能，就是讓機(jī)器更“聰明”，更具有類似人的智能，同時(shí)又與人的智能互為補(bǔ)充、互相促進(jìn)。上述三個(gè)層次是相互關(guān)聯(lián)的，原理在理論基礎(chǔ)上建立，技術(shù)是原理的工程應(yīng)用。 這種方法從 1943年由麥克卡烙克（ )和比托斯（ )提出第一個(gè)神經(jīng)網(wǎng)絡(luò)模型以來，至今已建立了幾百多種神經(jīng)網(wǎng)絡(luò)模型。 算法： 求解某類問題時(shí)，確定的可被機(jī)械執(zhí)行的有窮步驟。 (2)、有些問題雖有算法，但實(shí)際是不可計(jì)算的。 依靠啟發(fā)，只須事先掌握把前提和結(jié)論聯(lián)系起來的部分先驗(yàn)信息，一般求解問題比較簡捷，在求解復(fù)雜問題時(shí)，可以更好地表現(xiàn)出人類智慧的特征。計(jì)算機(jī)科學(xué)與心理學(xué)的相互滲透，相互促進(jìn)，是人工智能今后發(fā)展的途徑。 第四節(jié) 人工智能的研究領(lǐng)域與方向 一、人工智能的研究領(lǐng)域 ? 數(shù)學(xué)理論（離散數(shù)學(xué)、模糊數(shù)學(xué)）； ? 思維科學(xué)理論（認(rèn)知心理學(xué)、邏輯抽象思 維學(xué)、形象或直感思維學(xué)等）； ? 計(jì)算機(jī)工程技術(shù)（硬件與軟件技術(shù)）； ? 知識的模型化和表示； ? 問題求解 (常識性推理、演繹、啟發(fā)式搜索 )； ? 機(jī)器學(xué)習(xí)； ? 人工智能系統(tǒng)和語言。 1991年 8月 IBM公