【正文】 相對(duì)于美國(guó)很多探礦、化學(xué)等專家系統(tǒng)來(lái)說(shuō)，我國(guó)的醫(yī)療診斷專家系統(tǒng)也是相當(dāng)成功的，但是由于醫(yī)療風(fēng)險(xiǎn)等問(wèn)題，投入實(shí)際使用的難度比較大。 ? 在我國(guó)公元前 900多年，也有歌舞機(jī)器人傳說(shuō)的記載，這說(shuō)明古代人就有人工智能的幻想。視覺(jué)和聽(tīng)覺(jué)都是感知問(wèn)題，都涉及到要對(duì)復(fù)雜的輸入數(shù)據(jù)進(jìn)行處理。編譯程序接受一段有關(guān)干某件事情的源碼說(shuō)明（源程序），然后轉(zhuǎn)換成一個(gè)目標(biāo)碼程序（目的程序）去完成這件事情。因此人工智能研究中機(jī)器定理證明很早就受到注視，并取得不少成果。 目前計(jì)算機(jī)系統(tǒng)和人類之間的交互幾乎還只能使用嚴(yán)格限制的各種非自然語(yǔ)言，因此解決計(jì)算機(jī)系統(tǒng)能理解自然語(yǔ)言的問(wèn)題，引起人們的興趣和重視，一直是人工智能領(lǐng)域的重要研究課題之一。 定義 ? 人工智能研究如何通過(guò)使 計(jì)算機(jī)做事 而讓人過(guò)得更好。 定義 ? 人工智能是用計(jì)算模型進(jìn)行研究的 智力行為。 1959年， IBM公司的 Gelernter(格倫特爾 )研制出平面幾何證明程序。 主要的應(yīng)用領(lǐng)域 ? 4. 定理證明（ Theorem Proving） 數(shù)學(xué)領(lǐng)域中對(duì)臆測(cè)的定理尋求一個(gè)證明，一直被認(rèn)為是一項(xiàng)需要智能才能完成的任務(wù)?？梢钥闯鲞@是一個(gè)涉及精密機(jī)械、信息傳感技術(shù)、人工智能方法、智能控制以及生物工程等學(xué)科的綜合技術(shù)。人工智能學(xué)者們?cè)?jīng)研究過(guò)若干種組合問(wèn)題的求解方法，他們的努力主要集中在使 時(shí)間 問(wèn)題大小 曲線的變化盡可能地緩慢，即使它必須按指數(shù)方式增長(zhǎng)。 ? 1956年夏季，在美國(guó) Dartmouth大學(xué)，由年青數(shù)學(xué)助教（現(xiàn)斯坦福大學(xué)教授）和他的三位朋友 （哈佛大學(xué)年青數(shù)學(xué)和神經(jīng)學(xué)家，現(xiàn) MIT教授）、 （ IBM公司信息研究中心負(fù)責(zé)人）和 （貝爾實(shí)驗(yàn)室信息部數(shù)學(xué)研究員）共同發(fā)起，邀請(qǐng) IBM公司的 、 MIT的 RAND公司和 Carnagie工科大學(xué)的 （均為 CMU教授）等人參加夏季學(xué)術(shù)討論班，歷時(shí)兩個(gè)月。 ? 從 80年代中期開(kāi)始，經(jīng)歷了 10多年的低潮之后，有關(guān)人工神經(jīng)元網(wǎng)絡(luò)的研究取得了突破性的進(jìn)展。 80－ 90 年代，我國(guó)高等院校和研究機(jī)構(gòu)在智能控制與智能機(jī)器人的研究開(kāi)發(fā)方面，取得了豐碩的成果。 ? 隨后德國(guó)數(shù)學(xué)家和哲學(xué)家 行全部四則運(yùn)算的計(jì)算器。這些成份又被處理以便根據(jù)景物的表面和形狀來(lái)推測(cè)有關(guān)景物三維特征的信息，其最終目標(biāo)則是利用某個(gè)適當(dāng)?shù)哪Ｐ蛠?lái)表示該景物。 自動(dòng)編制出一份程序來(lái)獲得某種指定結(jié)果的任務(wù)同論證一份給定的程序?qū)@得某種指定結(jié)果的任務(wù)是緊密相關(guān)的，前者也稱程序綜合，后者稱為程序驗(yàn)證。 主要的應(yīng)用領(lǐng)域 ? 5. 博弈（ Game Playing） 博弈被認(rèn)為是智能的活動(dòng)，人工智能中主要是研究下棋程序，在六十年代就出現(xiàn)了很有名的西洋跳棋和國(guó)際象棋的程序，并達(dá)到了大師的水平。 主要的應(yīng)用領(lǐng)域 ? 2. 數(shù)據(jù)庫(kù)的智能檢索（ Intelligent Retrieval from Database） 數(shù)據(jù)庫(kù)系統(tǒng)是存儲(chǔ)某個(gè)學(xué)科大量事實(shí)的計(jì)算機(jī)系統(tǒng)，隨著應(yīng)用的進(jìn)一步發(fā)展，存儲(chǔ)信息量愈來(lái)愈龐大，因此解決智能檢索的問(wèn)題便具有實(shí)際意義。 圖靈測(cè)試 ? 當(dāng)一個(gè)人與一個(gè)封閉房間里的人或者機(jī)器交談時(shí)，如果他不能分辨自己?jiǎn)栴}的回答是計(jì)算機(jī)還是人給出時(shí)，則稱該機(jī)器是具有智能的。 定義 人工智能（能力） ? 人工智能（能力）是智能機(jī)器所執(zhí)行的通暢與人類智能有關(guān)的 智能行為 ，如判斷、推理、證明、識(shí)別、感知、理解、通信、設(shè)計(jì)、思考、規(guī)劃、學(xué)習(xí)和問(wèn)題求解等思維活動(dòng)。 1954年 7月， IBM公司在 701計(jì)算機(jī)上做了俄譯英的公開(kāi)表演。已開(kāi)發(fā)的系統(tǒng)數(shù)以百計(jì)，應(yīng)用領(lǐng)域涉及化學(xué)、醫(yī)療、地質(zhì)、氣象、交通、教育、軍事等，可以說(shuō)只要有專家工作的場(chǎng)合，就可以開(kāi)發(fā)專家系統(tǒng)。 機(jī)器人學(xué)的研究推動(dòng)了許多人工智能思想的發(fā)展，有一些技術(shù)可在人工智能研究中用來(lái)建立世界狀態(tài)模型和描述世界狀態(tài)變化的過(guò)程。 在大多數(shù)的這類問(wèn)題中，隨著求解問(wèn)題規(guī)模的增大，求解程序都面臨著組合爆炸問(wèn)題。此外假設(shè)的建立過(guò)程還要求大量有關(guān)感知對(duì)象的知識(shí)。 1958年McCarthy建立的行動(dòng)計(jì)劃咨詢系統(tǒng)以及 1960年 Minsky的論文 走向人工智能的步驟 ，對(duì)人工智能的發(fā)展都起了積極的作用。 小