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