【文章內(nèi)容簡(jiǎn)介】 具有對(duì)所給材料進(jìn)行摘要的功能； (3)能用不同的詞語(yǔ)敘述所給材料； (4)具有從一種語(yǔ)言轉(zhuǎn)譯成另一種語(yǔ)言的能力 。 第 1章 人工智能概述 機(jī)器行為主要指機(jī)器人行動(dòng)規(guī)劃 。 它是智能機(jī)器人的核心技術(shù) ， 規(guī)劃功能的強(qiáng)弱反映了智能機(jī)器人的智能水平 。 因?yàn)?， 雖然感知能力可使機(jī)器人認(rèn)識(shí)對(duì)象和環(huán)境 ， 但解決問(wèn)題 ， 還要依靠規(guī)劃功能擬定行動(dòng)步驟和動(dòng)作序列 。 例如：迷宮 /機(jī)器人足球 /機(jī)器人滅火：路徑規(guī)劃 第 1章 人工智能概述 基于研究途徑與實(shí)現(xiàn)技術(shù)的領(lǐng)域劃分 符號(hào)智能就是以符號(hào)知識(shí)為基礎(chǔ) ， 通過(guò)符號(hào)推理進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能 。 這也就是所說(shuō)的傳統(tǒng)人工智能或經(jīng)典人工智能 。 符號(hào)智能研究的主要內(nèi)容包括知識(shí)工程和符號(hào)處理技術(shù) 。 知識(shí)工程涉及知識(shí)獲取 、 知識(shí)表示 、 知識(shí)管理 、 知識(shí)運(yùn)用以及知識(shí)庫(kù)系統(tǒng)等一系列知識(shí)處理技術(shù) 。 符號(hào)處理技術(shù)指基于符號(hào)的推理和學(xué)習(xí)技術(shù) ， 它主要研究經(jīng)典邏輯和非經(jīng)典邏輯理論以及相關(guān)的程序設(shè)計(jì)技術(shù) 。 簡(jiǎn)而言之 ， 符號(hào)智能就是基于人腦的心理模型 ， 運(yùn)用傳統(tǒng)的程序設(shè)計(jì)方法實(shí)現(xiàn)的人工智能 。 第 1章 人工智能概述 2. 計(jì)算智能 計(jì)算智能是以數(shù)據(jù)為基礎(chǔ) ， 通過(guò)數(shù)值計(jì)算進(jìn)行問(wèn)題求解而實(shí)現(xiàn)的智能 。 計(jì)算智能研究的主要內(nèi)容包括人工神經(jīng)網(wǎng)絡(luò) 、 進(jìn)化計(jì)算 (包括遺傳算法 、 遺傳程序設(shè)計(jì) 、 進(jìn)化規(guī)劃 、 進(jìn)化策略等 )、 模糊算法等 。 計(jì)算智能主要模擬自然智能系統(tǒng) ， 研究其數(shù)學(xué)模型和相關(guān)算法 ， 并實(shí)現(xiàn)人工智能 。 計(jì)算智能是當(dāng)前人工智能學(xué)科中一個(gè)十分活躍的分支領(lǐng)域 。 第 1章 人工智能概述 1. 難題求解 這里的難題 ， 主要指那些沒(méi)有算法解 ， 或雖有算法解但在現(xiàn)有機(jī)器上無(wú)法實(shí)施或無(wú)法完成的困難問(wèn)題 。 根據(jù)可計(jì)算理論 ， 所謂難解問(wèn)題有： NP( Nondeterministic Polynomial)：即不能證明算法復(fù)雜性超越多項(xiàng)式界 ，又沒(méi)有找到有效算法的問(wèn)題 NPC( Nondeterministic Polynomial Complete)： NP問(wèn)題中最困難的子類 智能游戲：梵塔問(wèn)題 ， 農(nóng)夫過(guò)河 ， 8數(shù)碼 （ 九宮圖 ） ， 8皇后 ， 騎士巡游 ，魔方 … 應(yīng)用問(wèn)題：路徑規(guī)劃 、 運(yùn)輸調(diào)度 、 電力調(diào)度 、 地質(zhì)分析 、 測(cè)量數(shù)據(jù)解釋 、天氣預(yù)報(bào) 、 市場(chǎng)預(yù)測(cè) 、 股市分析 、 疾病診斷 、 故障診斷 、 軍事指揮 、 機(jī)器人行動(dòng)規(guī)劃 、 機(jī)器博弈等等 。 第 1章 人工智能概述 2. 自動(dòng)定理證明 自動(dòng)定理證明就是機(jī)器定理證明 ， 這也是人工智能的一個(gè)重要的研究領(lǐng)域 ， 也是最早的研究領(lǐng)域之一 。 定理證明是最典型的邏輯推理問(wèn)題之一 ， 它在發(fā)展人工智能方法上起過(guò)重大作用 。 自動(dòng)定理證明的方法主要有四類： (1)自然演繹法 。 它的基本思想是依據(jù)推理規(guī)則 ， 從前提和公理中可以推出許多定理 ， 如果待證的定理恰在其中 ， 則定理得證 。 (2)判定法 。 即對(duì)一類問(wèn)題找出統(tǒng)一的計(jì)算機(jī)上可實(shí)現(xiàn)的算法解 。 在這方面一個(gè)著名的成果是我國(guó)數(shù)學(xué)家吳文俊教授 1977年提出的初等幾何定理證明方法 。 (3)定理證明器 。 它研究一切可判定問(wèn)題的證明方法 。 (4)計(jì)算機(jī)輔助證明 。 它是以計(jì)算機(jī)為輔助工具 ， 利用機(jī)器的高速度和大容量 ， 幫助人完成手工證明中難以完成的大量計(jì)算 、推理和窮舉 。 第 1章 人工智能概述 自動(dòng)程序設(shè)計(jì)就是讓程序代碼自動(dòng)生成 。 具體來(lái)講 ， 就是人只要給出關(guān)于某程序要求的非常高級(jí)的描述 ， 計(jì)算機(jī)就會(huì)自動(dòng)生成一個(gè)能完成這個(gè)要求目標(biāo)的具體程序 。 這相當(dāng)于給機(jī)器配置了一個(gè) “ 超級(jí)編譯系統(tǒng) ” ， 它能夠?qū)Ω呒?jí)描述進(jìn)行處理 ， 通過(guò)規(guī)劃過(guò)程 ， 生成所需的程序 。 但這只是自動(dòng)程序設(shè)計(jì)的主要內(nèi)容 ， 它實(shí)際是程序的自動(dòng)綜合 。 自動(dòng)程序設(shè)計(jì)還包括程序自動(dòng)驗(yàn)證 ， 即自動(dòng)證明所設(shè)計(jì)程序的正確性 。 第 1章 人工智能概述 4. 自動(dòng)翻譯 自動(dòng)翻譯即機(jī)器翻譯 ， 就是完全用計(jì)算機(jī)作為兩種語(yǔ)言之間的翻譯 。 機(jī)器翻譯由來(lái)已久 。 早在電子計(jì)算機(jī)問(wèn)世不久 ， 就有人提出了機(jī)器翻譯的設(shè)想 。 隨后就開(kāi)始了這方面的研究 。 當(dāng)時(shí)人們總以為只要用一部雙向詞典及一些語(yǔ)法知識(shí)就可以實(shí)現(xiàn)兩種語(yǔ)言文字間的機(jī)器互譯 ， 結(jié)果遇到了挫折 。 “ The spirit is willing but the flesh is weak”(心有余而力不足 ） 英 =俄語(yǔ) =英： “ The win is good but the meat is spoiled”(酒是好的但肉變質(zhì)了 ） 第 1章 人工智能概述 智能控制就是把人工智能技術(shù)引入控制領(lǐng)域 ， 建立智能控制系統(tǒng) 。 美籍華裔科學(xué)家傅京孫 ()1965年首先提出把人工智能的啟發(fā)式推理規(guī)則用于學(xué)習(xí)控制系統(tǒng)以來(lái) ， 國(guó)內(nèi)外眾多的研究者投身于智能控制研究 ， 并取得一些成果 。 智能控制系統(tǒng)的智能可歸納為以下幾方面： (1)先驗(yàn)智能：有關(guān)控制對(duì)象及干擾的先驗(yàn)知識(shí) ， 可以從一開(kāi)始就考慮到控制系統(tǒng)的設(shè)計(jì)中 。 (2)反應(yīng)性智能：在實(shí)時(shí)監(jiān)控 、 辨識(shí)及診斷的基礎(chǔ)上 ， 對(duì)系統(tǒng)及環(huán)境變化的正確反應(yīng)能力 。 (3)優(yōu)化智能：包括對(duì)系統(tǒng)性能的先驗(yàn)性優(yōu)化及反應(yīng)性優(yōu)化 。 (4)組織與協(xié)調(diào)智能：表現(xiàn)為對(duì)并行耦合任務(wù)或子系統(tǒng)之間的有效管理與協(xié)調(diào)。 第 1章 人工智能概述 智能決策就是把人工智能技術(shù)引入決策過(guò)程 ， 建立智能決策支持系統(tǒng) 。 智能決策支持系統(tǒng)是在 20世紀(jì) 80年代初提出來(lái)的 。 它是決策支持系統(tǒng)與人工智能 ， 特別是專家系統(tǒng)相結(jié)合的產(chǎn)物 傳統(tǒng)決策支持系統(tǒng) +智能決策部件 一般來(lái)說(shuō) ， 智能部件中可以包含如下一些知識(shí)： (1)建立決策模型和評(píng)價(jià)模型的知識(shí) 。 (