Artificial Intelligence 人工智慧 - 计算理论实验室.DOC

Artificial Intelligence 人工智慧 電機三 朱浩瑋Herbert Simon: We call programs intelligent if they exhibit behaviors that would be regarded intelligent if they were exhibited by human beings. Elaine Rich: AI is the study of techniques for solving exponentially hard problems in polynomial time by exploiting knowledge about the problem domain. Elaine Rich and Kevin Knight: AI is the study of how to make computers do things at which, at the moment, people are better. Avron Barr and Edward Feigenbaum: Physicists ask what kind of place this universe is and seek to characterize its behavior systematically. Biologists ask what it means for a physical system to be living. We in AI wonder what kind of information-processing system can ask such questions. Douglas Baker: AI is the attempt to make computers do what people think computers cannot do. Astro Teller: AI is the attempt to make computers do what they do in the movies. 精確的來說，人工智慧是利用電腦技術去模擬人類腦部的思考運作，使電腦能夠有智慧地瞭解(Understand)與理解(Perceive)事物，並經由推理過程而導出結果的一種科技應用技術。 人工智慧的研究途徑主要有三條。第一，生理學途徑，採用仿生學的方法，模擬動物和人的感官以及大腦的結構和機能，製成神經元模型和腦模型；第二，心理學途徑，應用實驗心理學方法，總結人們思維活動的規律，用電腦進行心理類比；第三，工程技術途徑，研究怎樣用電腦從功能上類比人的智慧行為。目前，第三種研究方法發展較快。它也從前兩種方法中吸收新的思想，依靠新的啟示擴大自己的成果。 The history of AI 一般認為，人工智慧的思想萌芽可以追溯到德國著名數學家和哲學家萊布尼茲(Leibnitz，1646-1716)提出的通用語言設想。這一設 想的要點是：建立一種通用的符號語言，用這個語言中的符號表達“思想內容”，用符號之間的形式關係表達“思想內容”之間的邏輯關係。於是，在“通用語言” 中可以實現“思維的機械化”這一設想可以看成是對人工智慧的最早描述。 電腦科學的創始人圖靈被認為是“人工智慧之父”，他著重研究了一台電腦應滿足怎樣的條件才能稱為是“有智慧的”。1950年他提出了著名的“圖靈實驗”：讓一個人和一台電腦分別處於兩個房間裏，與外界的聯繫僅僅通過鍵盤和印表機。由人類裁判員向房間裏的人和電腦提問，並通過人和電腦的回答來判斷哪個房間裏是人、哪個房間裏是電腦。圖靈認為，如果“中等程度”的裁判員不能正確 地區分，則這樣的電腦可以稱為是有智慧的。“圖靈實驗”是關於智慧標準的一個明確定義。 幾乎在圖靈上述工作的同時，馮·諾依曼從生物學角度研究了人工智慧。從生物學的觀點看，智慧是進化的結果，而進化的基本條件之一是“繁殖”。為此， 馮·諾依曼構造了“自再生自動機”，這是一種有“繁殖”能力的數學模型。馮·諾依曼的工作為後來人工智慧中的一條研究路線(人工生命)提供了重要的基礎。圖靈和馮·諾依曼的上述工作，以及麥克考洛和匹茨對神經元網的數學模型的研究，構成了人工智慧的初創階段。 　 1956年夏天舉行的達德茅斯研討會，被認為是人工智慧作為一門獨立學科正式誕生的標誌。這次研討會聚集了來自數學、資訊科學、心理學、神經生理學和計算 機科學等不同領域的領導者，包括Minsky，Rochester， Simon， Solonio和Mccarthy等。其中，Miusky，Mccarthy，Newell和Simon後來被認為是美國人工智慧界的“四大領袖”。達