【文章內容簡介】 這里的難題 ， 主要指那些沒有算法解 ， 或雖有算法解但在現(xiàn)有機器上無法實施或無法完成的困難問題 。例如：路徑規(guī)劃 、 運輸調度 、 電力調度 、 地質分析 、測量數(shù)據(jù)解釋 、 天氣預報 、 市場預測 、 股市分析 、 疾病診斷 、 故障診斷 、 軍事指揮 、 機器人行動規(guī)劃 、 機器博弈等等 。 第 1章 人工智能概述 2. 自動定理證明 自動定理證明就是機器定理證明 ， 這也是人工智能的一個重要的研究領域 ， 也是最早的研究領域之一 。定理證明是最典型的邏輯推理問題之一 ， 它在發(fā)展人工智能方法上起過重大作用 。 第 1章 人工智能概述 自動定理證明的方法主要有四類： (1)自然演繹法 。 它的基本思想是依據(jù)推理規(guī)則 ，從前提和公理中可以推出許多定理 ， 如果待證的定理恰在其中 ， 則定理得證 。 (2)判定法 。 即對一類問題找出統(tǒng)一的計算機上可實現(xiàn)的算法解 。 在這方面一個著名的成果是我國數(shù)學家吳文俊教授 1977年提出的初等幾何定理證明方法 。 第 1章 人工智能概述 (3)定理證明器 。 它研究一切可判定問題的證明方法 。 (4)計算機輔助證明 。 它是以計算機為輔助工具 ， 利用機器的高速度和大容量 ， 幫助人完成手工證明中難以完成的大量計算 、 推理和窮舉 。 第 1章 人工智能概述 自動程序設計就是讓計算機設計程序 。 具體來講 ，就是人只要給出關于某程序要求的非常高級的描述 ，計算機就會自動生成一個能完成這個要求目標的具體程序 。 所以 ， 這相當于給機器配置了一個 “ 超級編譯系統(tǒng) ” ， 它能夠對高級描述進行處理 ， 通過規(guī)劃過程 ，生成所需的程序 。 但這只是自動程序設計的主要內容 ，它實際是程序的自動綜合 。 自動程序設計還包括程序自動驗證 ， 即自動證明所設計程序的正確性 。 第 1章 人工智能概述 4. 自動翻譯 自動翻譯即機器翻譯 ， 就是完全用計算機作為兩種語言之間的翻譯 。 機器翻譯由來已久 。 早在電子計算機問世不久 ， 就有人提出了機器翻譯的設想 。 隨后就開始了這方面的研究 。 當時人們總以為只要用一部雙向詞典及一些語法知識就可以實現(xiàn)兩種語言文字間的機器互譯 ， 結果遇到了挫折 。 第 1章 人工智能概述 智能控制就是把人工智能技術引入控制領域 ， 建立智能控制系統(tǒng) 。 自從國際知名美籍華裔科學家傅京孫 ()在 1965年首先提出把人工智能的啟發(fā)式推理規(guī)則用于學習控制系統(tǒng)以來 ， 國內外眾多的研究者投身于智能控制研究 ， 并取得一些成果 。 第 1章 人工智能概述 智能控制系統(tǒng)的智能可歸納為以下幾方面： (1)先驗智能：有關控制對象及干擾的先驗知識 ，可以從一開始就考慮到控制系統(tǒng)的設計中 。 (2)反應性智能：在實時監(jiān)控 、 辨識及診斷的基礎上 ， 對系統(tǒng)及環(huán)境變化的正確反應能力 。 (3)優(yōu)化智能：包括對系統(tǒng)性能的先驗性優(yōu)化及反應性優(yōu)化 。 (4)組織與協(xié)調智能：表現(xiàn)為對并行耦合任務或子系統(tǒng)之間的有效管理與協(xié)調。 第 1章 人工智能概述 智能管理就是把人工智能技術引入管理領域 ， 建立智能管理系統(tǒng) 。 智能管理是現(xiàn)代管理科學技術發(fā)展的新動向 。 智能管理是人工智能與管理科學 、 系統(tǒng)工程 、 計算機技術及通信技術等多學科 、 多技術互相結合 、 互相滲透而產(chǎn)生的一門新技術 、 新學科 。 它研究如何提高計算機管理系統(tǒng)的智能水平 ， 以及智能管理系統(tǒng)的設計理論 、 方法與實現(xiàn)技術 。 第 1章 人工智能概述 智能決策就是把人工智能技術引入決策過程 ， 建立智能決策支持系統(tǒng) 。 智能決策支持系統(tǒng)是在 20世紀80年代初提出來的 。 它是決策支持系統(tǒng)與人工智能 ，特別是專家系統(tǒng)相結合的產(chǎn)物 。 第 1章 人工智能概述 一般來說 ， 智能部件中可以包含如下一些知識： (1)建立決策模型和評價模型的知識 。 (2)如何形成候選方案的知識 。 (3)建立評價標準的知識 。 (4)如何修正候選方案 ， 從而得到更好候選方案的知識 。 (5)完善數(shù)據(jù)庫，改進對它的操作及維護的知識。 第 1章 人工智能概述 智能通信就是把人工智能技術引入通信領域 ， 建立智能通信系統(tǒng) 。 智能通信就是在通信系統(tǒng)的各個層次和環(huán)節(jié)上實現(xiàn)智能化 。 例如在通信網(wǎng)的構建 、 網(wǎng)管與網(wǎng)控 、 轉接 、 信息傳輸與轉換等環(huán)節(jié) ， 都可實現(xiàn)智能化 。 這樣 ， 網(wǎng)絡就可運行在最佳狀態(tài) ， 使呆板的網(wǎng)變成活化的網(wǎng) ， 使其具有自適應 、 自組織 、 自學習 、自修復等功能 。 第 1章 人工智能概述 9. 智能仿真 智能仿真就是將人工智能技術引入仿真領域 ， 建立智能仿真系統(tǒng) 。 我們知道 ， 仿真是對動態(tài)模型的實驗 ， 即行為產(chǎn)生器在規(guī)定的實驗條件下驅動模型 ， 從而產(chǎn)生模型行為 。 第 1章 人工智能概述 CAD 智能 CAD（ 簡稱 ICAD） 就是把人工智能技術引入計算機輔助設計領域 ， 建立智能 CAD系統(tǒng) 。 事實上 ，AI幾乎可以應用到 CAD技術的各個方面 。 從目前發(fā)展的趨勢來看 ， 至少有下述四個方面： (1)設計自動化 。 (2)智能交互 。 (3)智能圖形學 。 (4)自動數(shù)據(jù)采集 。 第 1章 人工智能概述 從具體技術來看 ， ICAD技術大致可分為如下幾種方法： (1)規(guī)則生成法 。 (2)約束滿足方法 。 (3)搜索法 。 (4)知識工程方法 。 (5)形象思維方法。 第 1章 人工智能概述 CAI 智能 CAI就是把人工智能技術引入計算機輔助教學領域 ， 建立智能 CAI系統(tǒng) ， 即