當前位置 主頁 > 站長資源大全 > iis7百科 > 最大化 縮小

    約翰·麥卡錫——lisp語言發明人

    欄目:iis7百科 時間:2019-11-08 10:03

      程序員知道如何讓計算機進行演繹推理,因為計算機能夠理解其中涉及的數學。但如果想讓計算機進行人類賴以生存的這種推測性的(而又常常是正確的)常識推理,就得發明一種全新的數理邏輯。而這正是約翰·麥卡錫為自己設立的目標之一。
      麥卡錫的成名還有其他原因。他發明了人工智能領域的首要語言Lisp (list processing,表處理),而且自其誕生之日起,就為編程語言設計提供了豐饒的思想源泉。同時,作為一名教師和難題設計師,他在密碼學和平面性檢驗等亞學科領域激發了眾多計算機科學家的靈感。我們將在拉賓和陶爾揚的章節中再行描述。
      約翰·麥卡錫1927年出生于波士頓一個共產黨積極分子家庭,童年在四處奔波中度過。他的父親是一名愛爾蘭天主教徒,先后做過木匠、漁民和工會組織者,全家一直馬不停蹄地奔波,從波士頓搬到紐約,然后又搬到洛杉磯。他的母親是立陶宛猶太人,最初在聯邦通訊社當新聞記者,后來就職于一家共產主義報刊,最后成為了一名社會工作者。麥卡錫早年對科學的興趣與家庭的政治信仰密不可分。
      當時普遍相信技術對人類必將有利無害。我記得還是小孩的時候,曾讀過一本書叫做《十萬個為什么》,是前蘇聯作家米·伊林在20世紀30年代早期寫的一套通俗科普書。在美國好像沒有這樣的書。有趣的是,十幾年前我在報上看到過報道一個特別早熟的中國孩子,而他也讀過《十萬個為什么》。
      麥卡錫認為自己的青少年時期平淡無奇,但事實證明并非如此。在上高三時,他得到了一份加州理工學院的課程目錄,上面列出了該校一年級和二年級的微積分課本。他買了這些書,完成了所有的練習題目。這使得他最終在1944年進入加州理工后得以免修頭兩年的數學課程。
      1959年,麥卡錫基于阿隆索·邱奇的l-演算和西蒙、紐厄爾首創的“表結構”,開發了著名的LISP語言,成為人工智能界第一個最廣泛流行的語言。LISP是一種函數式的符號處理語言,其程序由一些函數子程序組成。在函數的構造上,和數學上遞歸函數的構造方法十分類似,即從幾個基本函數出發,通過一定的手段構成新的函數。LISP語言還具有自編譯能力。具體說來,LISP有以下幾個主要特點:
      1. 計算用的是符號表達式而不是數;
      2.具有表處理能力,即用鏈表形式表示所有的數據;
      3.控制結構基于函數的復合,以形成更復雜的函數;
      4.用遞歸作為描述問題和過程的方法;
      5.用LISP語言書寫的EVAL函數既可作為LISP語言的解釋程序,又可以作為語言本身的形式定義;
      6.程序本身也同所有其他數據一樣用表結構形式表示。
      已經證明,LISP的這些特點是解決人工智能核心問題的關鍵。此外,精巧的表機制也是進一步簡化LISP程序設計的方便而有力的工具,因此,LISP自發明以來,已經被廣泛用于數學中的符號微積分計算,定理證明,謂詞演算,博奕論等領域。它和后來由英國倫敦大學的青年學生柯瓦提出、由法國馬賽大學的考爾麥勞厄所領導的研究小組于1973年首先實現的邏輯式語言PROLOG并稱為人工智能的兩大語言,對人工智能的發展起了十分深遠的影響。LISP所蘊含的豐富的思想和深刻的意義也吸引了負責設計Algol語言的國際委員會,麥卡錫因此而被吸收為該委員會的成員。Algol中后來采納了LISP關于遞歸和條件表達式這些思想。
教我怎样炒股