人工智能之父

人工智能之父——約翰·麥卡錫人工智能〔AI〕是一門極富挑戰(zhàn)性的科學(xué)，從事這項(xiàng)工作的人必需懂得計(jì)算機(jī)學(xué)問，心視覺等等，總的說來，人工智能的目的就是讓計(jì)算機(jī)這臺(tái)機(jī)器能夠象人一樣思考。1955的時(shí)候，香農(nóng)與人一起開發(fā)了TheLogicTheoriST程序，它是一種承受樹形構(gòu)造帶來的巨大的影響，以至于我們現(xiàn)在所承受的思想方法有很多還是來自于這個(gè)50年月的程序。約翰·麥卡錫1956年，作為人工智能領(lǐng)域另一位著名科學(xué)家的麥卡希召集了一次會(huì)議來爭論人工智并要求系統(tǒng)有自學(xué)習(xí)力量。在1957年，香農(nóng)和另一些人又開發(fā)了一個(gè)程序稱為GeneralProblemSolver(GPS)Wiener的反響理論有一個(gè)擴(kuò)展，并能夠解決一些比較普遍的問理語言LISP，直約翰·麥卡錫到現(xiàn)在很多人工智能程序還在使用這種語言，它幾乎成了人工智能的代名詞，到了今日，LISP仍舊在進(jìn)展。二、二、人工智能的應(yīng)用領(lǐng)域問題求解人工智能的第一大成就是下棋程序，在下棋程度中應(yīng)用的某些技術(shù)，如向前看幾步，把困難的問題分解成一些較簡潔的子問題術(shù)。今日的計(jì)算機(jī)程序已能夠到達(dá)下各種方盤棋和國際象棋的錦標(biāo)賽水平。但是，尚未解決包括人類棋手具有的但尚不能明確表達(dá)的力量。如國際象棋大師們洞察棋局的力量。另們要解決的問題，即搜尋解答空間，查找較優(yōu)解答。規(guī)律推理與定理證明規(guī)律推理是人工智能爭論中最長久的領(lǐng)域之一，其中特別重要的是要找到一些方法，只時(shí)修正這些證明。對(duì)數(shù)學(xué)中臆測(cè)的題。定理查找一個(gè)證明或反證，不僅需要有依據(jù)假設(shè)進(jìn)樣加以形式化，因此，在人工智能方法的爭論中定理證明是一個(gè)極其重要的論題。自然語言處理。自然語言的處理是人工智能技術(shù)應(yīng)用于實(shí)際領(lǐng)域的典型范例，經(jīng)過多年困難努力，這一領(lǐng)域已獲得了大量令人注目的成果。目前該領(lǐng)域的主要課題是：計(jì)算機(jī)系統(tǒng)如何以主題和對(duì)——極其簡單的編碼和解碼問題。智能信息檢索技術(shù)。受“*+(*)計(jì)算機(jī)科學(xué)與技術(shù)爭論應(yīng)用的契機(jī)與突破口。專家系統(tǒng)。域內(nèi)大量學(xué)問與閱歷的程序系統(tǒng)。近年來，在“專家系統(tǒng)”或“學(xué)問工程”的爭論中已消滅了決的問題，而且能幫助人類專家覺察推理過程中消滅的過失，現(xiàn)在這一點(diǎn)已被證明。如在礦物勘測(cè)、化學(xué)分析、規(guī)劃和醫(yī)學(xué)診斷方面，專家系統(tǒng)已經(jīng)到達(dá)了人類專家的水平。成功的例子如：PROSPECTOR系統(tǒng)覺察了一個(gè)鉬礦1DENDRL系統(tǒng)的性能已超過一般專家的水平，可供數(shù)百人在分析方面的使用。MYCIN系統(tǒng)可以方面的診斷和供給治療方案已超過了這方面的專家。個(gè)人經(jīng)受個(gè)人經(jīng)受麥卡錫生于美國波士頓一個(gè)共產(chǎn)黨家庭，父母的工作性質(zhì)打算全家需不斷搬遷，從波士頓遷到紐約，然后又到了洛杉磯。信仰愛爾蘭天主教的父親當(dāng)過木匠、漁夫和工會(huì)組織者，母親是立陶宛，猶太人，在聯(lián)合通訊社〔TheFeder?atedPress〕當(dāng)記者，后來在一家共采訪時(shí)說：“我們確信技術(shù)的進(jìn)步對(duì)人類有利。我記得小時(shí)候讀過《十萬個(gè)為什么30年月蘇聯(lián)作家伊林〔M．Ilin〕撰寫的通俗科技讀物。在美國似乎沒有這樣的書。10至15年前我很快活得知中國有很多格外早熟的兒童，他們都讀過《十萬個(gè)為什么?！?麥卡錫說他的童年平平淡淡，實(shí)際上在讀中學(xué)時(shí)，他就找到加州理工大學(xué)的一份課程清單，自學(xué)了大學(xué)一年和二年的數(shù)學(xué)課程。1944年他真的到了這所大學(xué)，免修頭兩年的數(shù)學(xué)課。1948年9月在讀爭論生時(shí)，他出席了該校主辦的“行為的大腦機(jī)制西克森研討會(huì)”〔HixonSymposiumonCerebralMechanisminBehavioratCalTec大數(shù)學(xué)家計(jì)算機(jī)設(shè)計(jì)大師·諾伊曼在會(huì)上散發(fā)了關(guān)于自復(fù)制自動(dòng)機(jī)的論文。盡管當(dāng)時(shí)還沒有人準(zhǔn)確地將機(jī)器智能與人的智能聯(lián)系起來，但諾伊曼的報(bào)告卻激發(fā)了麥卡錫的古怪心。1949年在普林斯頓大學(xué)數(shù)學(xué)系作博士論文時(shí)，他打算嘗試在機(jī)器上模擬人的智能1955年他聯(lián)合申農(nóng)〔信息論創(chuàng)立者、明斯基〔人工智能大師《心智社會(huì)》的作者羅徹斯特〔IBM計(jì)算機(jī)設(shè)計(jì)者之一，發(fā)起了達(dá)特茅斯工程〔DartmouthProject，其次年正式啟動(dòng)，洛克菲勒基金會(huì)供給了極有限的資助。現(xiàn)在看來，這個(gè)工程不但是人工智能進(jìn)展史的一個(gè)重要大事，也是計(jì)算機(jī)科學(xué)的一個(gè)里程碑正是在1956年麥卡錫首次提出“人工智能”〔artificialintelligence〕這一概念?，F(xiàn)在看來，那次爭論并沒有實(shí)質(zhì)上解決有關(guān)智能機(jī)的任何具體問題，但它確立了爭論目標(biāo)，使人工智能成為計(jì)算機(jī)科學(xué)中一門獨(dú)立的閱歷科學(xué)。 1957年巴庫斯〔JohnBarkus〕及其IBM小組公布了Fortran語言，這是第一個(gè)成功的高級(jí)語言，使程序設(shè)計(jì)者從繁瑣的匯編語言中解脫出來卡內(nèi)基梅龍大學(xué)的紐維爾Newel、馬赫Simo〕等提出信息處理語言IPL，麥卡錫則提出表處理語言Lisp。在Fortran 中不允許有遞歸，麥卡錫期望改進(jìn)它。1960年巴黎會(huì)議大家爭論了Algol語言，承受了麥卡錫的建議，增加了遞歸和條件表達(dá)式。Algol最早承受了Lisp的觀念，但不是最終一個(gè)。如今的Pascal、C、Ada等都承受了Lisp的創(chuàng)。但至今，主流程序設(shè)計(jì)語言仍舊沒有吸取麥卡錫建議的“評(píng)價(jià)函〔eval，認(rèn)為它很危急。麥卡錫制造Lisp語言，只是把它作為工具，他的目標(biāo)是制造具有人類智能的機(jī)器Lisp自制造以后像其他語言一樣制造人失去了對(duì)其的掌握力量，馬庫斯和凱〔A．Kay，“面對(duì)對(duì)象程序設(shè)計(jì)”的創(chuàng)始人〕也一樣。 1959年麥卡錫發(fā)表《具有常識(shí)的程序》一文，標(biāo)志著他向“常識(shí)規(guī)律推理”難題開頭宣戰(zhàn)。“與全部特地化的理論一樣全部科學(xué)也都表達(dá)于常識(shí)中當(dāng)你試圖證明這些理論時(shí)你就回到了常識(shí)推理，由于常識(shí)指導(dǎo)著你的試驗(yàn)?！痹O(shè)想一個(gè)旅行者從英國格拉斯哥經(jīng)過倫敦去莫斯科，計(jì)算機(jī)程序可以分段處理：從格拉斯哥到倫敦，再從倫敦到莫斯科。但是假設(shè)假設(shè)此人不幸在倫敦喪失了機(jī)票怎么辦？固然現(xiàn)實(shí)中此人一般不會(huì)因此取消原來去莫斯科的打算他可能會(huì)再買一張票但是預(yù)先設(shè)計(jì)好的模擬程序卻不允許如此敏捷因此要進(jìn)展一種具有常識(shí)推理能力的規(guī)律。 麥卡錫制造了LISP并于1960年將其設(shè)計(jì)發(fā)表在《美國計(jì)算機(jī)學(xué)會(huì)通訊》人工智能之父〔en:CommunicationsoftheACM麻省理工學(xué)院MAC〔en:ProjectMA。然而，他在1962坦福人工智能試驗(yàn)室en:StanfordArtificialIntelligenceLaborator，成為MAC工程多年人工智能之父[1][1]來的一個(gè)友好的競爭對(duì)手。 1964年麥卡錫已是斯坦福大學(xué)人工智能試驗(yàn)室的主任，他提出了一種稱之為“情景演算”〔situationalcalculus〕的理論，其中“情景”表示世界的一種狀態(tài)。當(dāng)主體〔agent〕行動(dòng)時(shí)，情景發(fā)生變化。主體下一步如何行動(dòng)取決于他所知道的情景情景演算的思想吸取了有窮自動(dòng)機(jī)狀態(tài)轉(zhuǎn)移的概念在情景演算中推理不但取決于狀單調(diào)性態(tài)，而且取決于主體關(guān)于狀態(tài)知道些什么。主體知道得越多了解得越具體，他就會(huì)更好地作出決策這種情景演算理論吸引了很多爭論者但它本身也引起一種問題在多主體的世界中與一個(gè)主體有關(guān)的情景的變化可能還取決于其他主體的行動(dòng)這樣處理起來格外困難。在常識(shí)世界中我們的決策可能不大受其他主體的影響固然有時(shí)也受很難說麥卡錫的努力最終是否成功了，但他向通常的 “演繹推理”挑戰(zhàn)，強(qiáng)調(diào)人類智能推理的非單調(diào)性nonmonotonicit描述法，在人工智能爭論中具有重要意義。麥卡錫試圖讓機(jī)·麥卡錫JohnMcCarth人。194195位。在普林斯頓大學(xué)，他和被認(rèn)為是有著傳奇人生的數(shù)學(xué)天才、諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)獲得者約翰·納什做過同事。數(shù)學(xué)上的深厚造詣使他對(duì)當(dāng)時(shí)計(jì)算機(jī)領(lǐng)域的進(jìn)展起著至關(guān)重要的作用“計(jì)算機(jī)分時(shí)系統(tǒng)之父”，這一系統(tǒng)是1960使用同一臺(tái)計(jì)算機(jī)。這一技術(shù)降低了本錢，讓更多的人使用上了計(jì)算機(jī)。盡管他本人未能預(yù)見隨后個(gè)人計(jì)算機(jī)的普及和興盛群眾所習(xí)用時(shí)，做出了精準(zhǔn)的預(yù)言?！霸?970年月早期，他在法國公開了一篇關(guān)于利用計(jì)算”互聯(lián)網(wǎng)安全專家惠特菲爾德·迪菲說，他也是麥卡錫在斯坦福人工智能試驗(yàn)室的爭論員。而在爭論人工智能方面，“沒人比約翰更有影響力。”迪菲評(píng)價(jià)。即便是1956“人工智能”1956年的達(dá)特茅斯會(huì)議上提出了“人工智能”這一概念，并定義它為“制造出智能機(jī)器的科學(xué)和工程”。達(dá)特茅斯會(huì)議聚攏了參與者息息相關(guān)。1958年，麥卡錫來到麻省理工學(xué)院，在這里，他與馬文·明斯基一同創(chuàng)立了人工智能試驗(yàn)室。麥卡錫還爭論起被他稱為表處理語言〔Lisp〕智能爭論和設(shè)計(jì)的標(biāo)準(zhǔn)工具?！袄占钡木幋a自動(dòng)從隨機(jī)存儲(chǔ)器中抹去。在1959年，他進(jìn)一步進(jìn)展了這一技術(shù)，并將其參加Lisp語言中。Java成了麥卡錫的世界觀，以至于1970年月當(dāng)首臺(tái)擁有本地計(jì)算和儲(chǔ)存力量的個(gè)人計(jì)算機(jī)消滅時(shí)，他只是戲稱其為“玩具”。所以，麥卡錫錯(cuò)誤地推測(cè)，在將來，每個(gè)人在家中都要配備一聞和消遣媒體的電子入口。在19501962年和1964年返回這觀地給自己設(shè)定了一個(gè)有野心的目標(biāo)：在10年內(nèi)建立一個(gè)可運(yùn)作的人工智能系統(tǒng)?！鞍部档男膽B(tài)”，笑稱要制造出這么一臺(tái)“會(huì)思考的機(jī)器”，需要“1.8個(gè)愛因斯坦和曼哈頓打算所擁有的格外之一的資源”。曼哈頓打算是二戰(zhàn)期間美國陸軍自1942年起，爭論核武器打算的代號(hào)。整個(gè)打算的經(jīng)費(fèi)是20億美元，此打算獲得美國總統(tǒng)富蘭克林·羅斯福的批準(zhǔn)。1960年月中期到1970算機(jī)視覺和自然語言處理的力量。到了1972年，斯坦福試驗(yàn)室得到全美國的關(guān)注。當(dāng)時(shí)特·布蘭德在《滾石》雜志的一篇題為“太空大戰(zhàn)：計(jì)算機(jī)迷狂熱的生活和象征性死亡”〔SPACEWAR:FanaticLifeandSymbolicDeathAmongtheComputerBums〕的文章中，就寫了斯坦福試驗(yàn)室。這篇文章激發(fā)了一群計(jì)算機(jī)科學(xué)家創(chuàng)立自己設(shè)想的虛擬世界的激情，也預(yù)示了將來網(wǎng)絡(luò)的消滅?！盁o論是否已經(jīng)預(yù)備好，電腦都會(huì)來到人們身邊?！辈继m德寫道。銀行和電子商業(yè)得以進(jìn)展的根底，能確保消費(fèi)者和商家的安全互動(dòng)。1950年月在達(dá)特茅斯大學(xué)研發(fā)下國際象棋的計(jì)算機(jī)賽總共進(jìn)展了4局，持續(xù)了整整一年。不過，蘇聯(lián)科學(xué)家最終獲勝。1971年，麥卡錫因在人工智能上的奉獻(xiàn)獲得了圖靈獎(jiǎng)，這一獎(jiǎng)項(xiàng)是計(jì)算機(jī)協(xié)會(huì)〔ACM〕于1966年設(shè)立的，特地嘉獎(jiǎng)那些對(duì)計(jì)算機(jī)事業(yè)作出重要奉獻(xiàn)的個(gè)人。圖靈獎(jiǎng)也有“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱。終其一生，麥卡錫始終都是一個(gè)獨(dú)立思考者。麥卡錫的成名還有其他緣由。他制造了人工智能領(lǐng)域的首要語言Lisp〔listprocessing，表處理名教師和難題設(shè)計(jì)師，他在密碼學(xué)和平面性檢驗(yàn)等亞學(xué)科領(lǐng)域激發(fā)了眾多計(jì)算機(jī)科學(xué)家的靈感1948年，麥卡錫開頭攻讀數(shù)學(xué)系的碩士學(xué)位。同年9月他參與了加州理工主辦的?？松X行為機(jī)制研討會(huì)，大數(shù)學(xué)家、計(jì)算機(jī)設(shè)計(jì)大師約翰·馮·諾依曼在會(huì)上演講了一篇關(guān)于自復(fù)制自動(dòng)機(jī)〔self-replicatingautomata〕的論文，這是一種可以對(duì)自身進(jìn)展復(fù)制的機(jī)器。盡管當(dāng)時(shí)的與會(huì)人員并沒有明確地將機(jī)器智能與人類智能聯(lián)系起來，但馮·諾依曼的講話卻激發(fā)了麥卡錫的古怪心。1949年在普林斯頓大學(xué)數(shù)學(xué)系作博士論文時(shí)，麥卡錫首次開頭嘗試在機(jī)器上模擬人類智能。約翰·馮·諾依曼見了面，他對(duì)此格外贊成，敦促我肯定要把這篇論文寫出來。但最終我并沒有寫出來，由于我認(rèn)為它還不夠成熟?！白詣?dòng)機(jī)”動(dòng)變速箱汽車在駕駛員點(diǎn)火啟動(dòng)之后會(huì)從“熄火”狀態(tài)轉(zhuǎn)入“空擋但啟動(dòng)”狀態(tài)。假設(shè)駕駛員掛擋前進(jìn)則轉(zhuǎn)入“啟動(dòng)且掛一擋”狀態(tài)。而“交互式自動(dòng)機(jī)”〔interactingautomaton〕則是依據(jù)其自身的狀態(tài)以及它所觀看到的其他自動(dòng)機(jī)的狀態(tài)打算從某個(gè)狀態(tài)轉(zhuǎn)入另一狀態(tài)。有些自動(dòng)機(jī)是智能的〔可看做是自帶駕駛員，但并不是必需智能。交互式自動(dòng)機(jī)試圖在這兩種類型之間建立一種連續(xù)性的統(tǒng)一體。從事情境演算〔situationalcalculus〕方面的工作時(shí)，關(guān)于狀態(tài)和狀態(tài)轉(zhuǎn)換的思想將重浮出水面。在這段時(shí)間中，麥卡錫始終沒有放棄制造一臺(tái)像人類那樣智能的機(jī)器這一想法。1952年夏，普林斯頓大學(xué)的一個(gè)爭論生杰里·雷納〔JerryRayna〕向麥卡錫建議，可以找一些對(duì)機(jī)器智能感興趣的人去收集一些該領(lǐng)域的文章。麥卡錫找的第一批人就有克勞德·香農(nóng)，“信息論”亦即通信數(shù)學(xué)理論的制造者。香農(nóng)的理論最初用于遠(yuǎn)程通信，后被廣泛用于語言學(xué)、數(shù)學(xué)以及計(jì)算機(jī)科學(xué)等領(lǐng)域?！睞utomataStudie。而其中收集到的文章讓我很無望，里面有關(guān)智能的內(nèi)容并不多。所以在1955“人工智能”這一術(shù)語，目的是讓參與者們弄清楚我們是在干什么。1956年在達(dá)特茅斯學(xué)院舉辦的夏季人工智能研討會(huì)是計(jì)算機(jī)科學(xué)史上的一座里程碑。這項(xiàng)涉及10人、耗時(shí)2“基于?我們能夠準(zhǔn)確、?這一設(shè)想，連續(xù)闊步前進(jìn)”〔引。研討會(huì)的四位組織者——·〔當(dāng)時(shí)還在哈佛大學(xué)、納撒尼爾·羅切斯特〔IBM的出色計(jì)算機(jī)設(shè)計(jì)師〕和香農(nóng)——向洛克菲勒基金會(huì)申請(qǐng)了一筆資金支持，金額在今日看來幾乎少得可憐：主要組織者每人1200美元，再加上“外地與會(huì)人員的火車票”7500美元。能“進(jìn)展棋類玩耍并完成其他任務(wù)”。時(shí)隔40直率形容了自己當(dāng)時(shí)的愿景和期望。1956年，約翰·巴科斯和他在IBM的團(tuán)隊(duì)公布了首個(gè)高級(jí)編程語言Fortran，將從事數(shù)字運(yùn)算的程序員從為每一臺(tái)計(jì)算機(jī)寫匯編語言中解放出來。直到今日，F(xiàn)ortran仍舊是科學(xué)和工程計(jì)算中的通用語言。FLPL首次嘗試了擴(kuò)展Fortran的符號(hào)操作力量。1958年夏天在IBM工作時(shí)，麥卡錫試圖用FLPL為自己在高中時(shí)常用的代數(shù)微分應(yīng)用寫一個(gè)表程序，但很快覺察需要用到遞歸條件表達(dá)式，而Fortran卻不支持遞歸。假設(shè)Fortran支持遞歸，我就能用FLPL做下去。我甚至也考慮了如何往Fortran中參加遞歸的問題，但是那樣做過于簡單。事實(shí)證明，IBM很快就失去了對(duì)人工智能的興趣。一些客戶認(rèn)為智能機(jī)器可能會(huì)20世紀(jì)60年月初期的IBM市場(chǎng)營銷都把計(jì)算機(jī)說成是非智能的快速運(yùn)算設(shè)備，百依百順、只按要求行事。FortranLisp。紐厄爾、肖和西蒙后來IPLLisp形容為一種越變?cè)胶啙嵉恼Z言?！癓isp”是“l(fā)istprocessinglanguage”〔表處理語言〕的縮寫。確如其名，Lisp中全部示Lisp“求值”〔eval〕“求值”〔procedur語言在執(zhí)行函數(shù)之前都會(huì)強(qiáng)制程序中止運(yùn)行，并且“重編譯”。Lisp中蘊(yùn)含的思想吸引了負(fù)責(zé)設(shè)計(jì)Algol語言〔巴科斯和諾爾為其制造了巴科斯-諾爾范式〕1960年，在該委員會(huì)于巴黎召開的會(huì)議上，麥卡錫正式提出了遞歸和條件表達(dá)式這兩個(gè)概念。在標(biāo)記方法上，委員會(huì)有了些爭論，但最終仍舊承受了他的思想。AlgolLisp創(chuàng)的語言，但確定不是最終一個(gè)。Algol的后繼語言能可能會(huì)很危急。不過如今的很多程序都必需每周7天、每天24小時(shí)地連續(xù)運(yùn)行，人們對(duì)求值這種特性的需求越來越迫切能。近50年來，Lisp始終是人工智能領(lǐng)域的標(biāo)準(zhǔn)語言。麥卡錫并未預(yù)料到它會(huì)有如此長的壽命，甚至曾建議將其修改成類似Algol那樣。然而該領(lǐng)域的編程人員仍舊寵愛Lisp·C.凱一樣，最終已無法掌握自己制造的語言的進(jìn)展方向。1948年9“腦行為機(jī)制”·諾伊曼發(fā)表了一篇關(guān)于自復(fù)制自動(dòng)機(jī)的論文，提出了可以復(fù)制人的智能。1949年他向馮·諾伊曼談了自己的想法，后者極表贊成和支持，鼓舞他搞下去。少計(jì)算機(jī)需要考慮的棋步。麥卡錫經(jīng)過困難探究，最終制造了著名的α-β搜尋法，使搜尋能有效進(jìn)展。在。-p(或稱返上值或倒推值)兩者奇異地結(jié)合起來，從而使某些子樹結(jié)點(diǎn)根本不必產(chǎn)生與搜尋。3個(gè)發(fā)起人是當(dāng)時(shí)在哈佛大學(xué)的明斯基(1969年圖靈獎(jiǎng)獲得者)，IBM公司的羅杰斯特，信息論的創(chuàng)始人香農(nóng)。麥卡錫發(fā)起這個(gè)會(huì)議時(shí)的目標(biāo)格外雄偉，是想通過10來個(gè)人2個(gè)月的共同努力設(shè)計(jì)出一臺(tái)具有真正智能的機(jī)器。會(huì)議的經(jīng)費(fèi)是洛克菲勒基金會(huì)資助的，包括每個(gè)代表1200美元加上外地代表的是α—β搜尋法上所取得的成功，以及卡內(nèi)基—梅隆大學(xué)的西蒙和紐厄爾這兩人是1975年圖靈獎(jiǎng)獲得者帶來了已能證明數(shù)學(xué)名著《數(shù)學(xué)原理》一書其次章52個(gè)定理中的38個(gè)定理的啟發(fā)式程序“規(guī)律理論家”LT，明斯基帶來的名為Snarc的學(xué)習(xí)機(jī)的雛形(主要學(xué)習(xí)如何通過迷宮)，這使會(huì)議參與者仍能布滿信念地宣布“人工智能”這一嶄學(xué)科的誕生LISPLISP語言約翰·麥卡錫[2][2]1959年，麥卡錫基于阿隆索·邱奇的l-演算和西蒙、紐厄爾首創(chuàng)的“表構(gòu)造”，開發(fā)了著名的LISPLISP是一種函數(shù)式的符號(hào)處理類似，即從幾個(gè)根本函數(shù)動(dòng)身，通過肯定的手段構(gòu)成的函數(shù)。LISP語言還具有自編譯力量LISP有以下幾個(gè)主要特點(diǎn)：1.計(jì)算用的是符號(hào)表達(dá)式而不是數(shù)；2．具有表處理力量，即用鏈表形式表示全部的數(shù)據(jù)； 3．掌握構(gòu)造基于函數(shù)的復(fù)合，以形成更簡單的函數(shù)； 4．用遞歸作為描述問題和過程的方法； 5．用LISP語言書寫的EVAL函數(shù)既可作為LISP語言的解釋程序，又可以作為語言本身的形式定義；主要著作6．程序本身也同全部其