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