麥卡錫 - 簡(jiǎn)介
麥卡錫從小把自己對(duì)科學(xué)的興趣與家庭的政治傾向結(jié)合起來(lái)。麥卡錫在接受采訪時(shí)說(shuō)：“我們確信技術(shù)的進(jìn)步對(duì)人類有利。我記得小時(shí)候讀過(guò)《十萬(wàn)個(gè)為什么》，這是30年代蘇聯(lián)作家伊林（M．Ilin）撰寫的通俗科技讀物。在美國(guó)好像沒(méi)有這樣的書。10至15年前我很高興得知中國(guó)有許多非常早熟的兒童，他們都讀過(guò)《十萬(wàn)個(gè)為什么》�！�麥卡錫說(shuō)他的童年平平淡淡，實(shí)際上在讀中學(xué)時(shí)，他就找到加州理工大學(xué)的一份課程清單，自學(xué)了大學(xué)一年和二年的數(shù)學(xué)課程。1944年他真的到了這所大學(xué)，免修頭兩年的數(shù)學(xué)課。1948年9月在讀研究生時(shí)，他出席了該校主辦的“行為的大腦機(jī)制西克森研討會(huì)”（Hixon Symposiumon Cerebral Mechanism in Behavior at CalTech）。大數(shù)學(xué)家、計(jì)算機(jī)設(shè)計(jì)大師馮·諾伊曼在會(huì)上散發(fā)了關(guān)于自復(fù)制自動(dòng)機(jī)的論文。盡管當(dāng)時(shí)還沒(méi)有人精確地將機(jī)器智能與人的智能聯(lián)系起來(lái)，但諾伊曼的報(bào)告卻激發(fā)了麥卡錫的好奇心。1949年在普林斯頓大學(xué)數(shù)學(xué)系作博士論文時(shí)，他決定嘗試在機(jī)器上模擬人的智能。1955年他聯(lián)合申農(nóng)（信息論創(chuàng)立者）、明斯基（人工智能大師，《心智社會(huì)》的作者）、羅徹斯特（IBM計(jì)算機(jī)設(shè)計(jì)者之一），發(fā)起了達(dá)特茅斯項(xiàng)目（Dartmouth Project），第二年正式啟動(dòng)，洛克菲勒基金會(huì)提供了極有限的資助。現(xiàn)在看來(lái)，這個(gè)項(xiàng)目不但是人工智能發(fā)展史的一個(gè)重要事件，也是計(jì)算機(jī)科學(xué)的一個(gè)里程碑。正是在1956年，麥卡錫首次提出“人工智能”（artificial intelligence）這一概念�，F(xiàn)在看來(lái)，那次討論并沒(méi)有實(shí)質(zhì)上解決有關(guān)智能機(jī)的任何具體問(wèn)題，但它確立了研究目標(biāo)，使人工智能成為計(jì)算機(jī)科學(xué)中一門獨(dú)立的經(jīng)驗(yàn)科學(xué)。
1957年巴庫(kù)斯（John Barkus）及其IBM小組發(fā)布了Fortran語(yǔ)言，這是第一個(gè)成功的高級(jí)語(yǔ)言，使程序設(shè)計(jì)者從繁瑣的匯編語(yǔ)言中解脫出來(lái)�？▋�(nèi)基梅龍大學(xué)的紐維爾（A．Newell）、司馬赫（H．Simon）等提出信息處理語(yǔ)言IPL，麥卡錫則提出表處理語(yǔ)言Lisp。在Fortran中不允許有遞歸，麥卡錫希望改進(jìn)它。1960年巴黎會(huì)議大家討論了Algol語(yǔ)言，采納了麥卡錫的建議，增加了遞歸和條件表達(dá)式。Algol最早接受了Lisp的觀念，但不是最后一個(gè)。如今的Pascal、C、Ada等都接受了Lisp的創(chuàng)新。但至今，主流程序設(shè)計(jì)語(yǔ)言仍然沒(méi)有吸收麥卡錫建議的“評(píng)價(jià)函數(shù)”（eval），認(rèn)為它很危險(xiǎn)。麥卡錫發(fā)明Lisp語(yǔ)言，只是把它作為工具，他的目標(biāo)是制造具有人類智能的機(jī)器。Lisp自發(fā)明以后，像其他語(yǔ)言一樣，發(fā)明人失去了對(duì)其的控制能力，馬庫(kù)斯和凱（A．Kay，“面向?qū)ο蟪绦蛟O(shè)計(jì)”的創(chuàng)始人）也一樣。
1959年麥卡錫發(fā)表《具有常識(shí)的程序》一文，標(biāo)志著他向“常識(shí)邏輯推理”難題開(kāi)始宣戰(zhàn)�！芭c所有專門化的理論一樣，所有科學(xué)也都體現(xiàn)于常識(shí)中。當(dāng)你試圖證明這些理論時(shí)，你就回到了常識(shí)推理，因?yàn)槌ＷR(shí)指導(dǎo)著你的實(shí)驗(yàn)�！痹O(shè)想一個(gè)旅行者從英國(guó)格拉斯哥經(jīng)過(guò)倫敦去莫斯科，計(jì)算機(jī)程序可以分段處理：從格拉斯哥到倫敦，再?gòu)膫惗氐侥箍�。但是如果假設(shè)此人不幸在倫敦丟失了機(jī)票怎么辦？當(dāng)然現(xiàn)實(shí)中此人一般不會(huì)因此取消原來(lái)去莫斯科的計(jì)劃，他可能會(huì)再買一張票。但是預(yù)先設(shè)計(jì)好的模擬程序卻不允許如此靈活。因此要發(fā)展一種具有常識(shí)推理能力的邏輯。
1964年麥卡錫已是斯坦福大學(xué)人工智能實(shí)驗(yàn)室的主任，他提出了一種稱之為“情景演算”（situational calculus）的理論，其中“情景”表示世界的一種狀態(tài)。當(dāng)主體（agent）行動(dòng)時(shí)，情景發(fā)生變化。主體下一步如何行動(dòng)取決于他所知道的情景。情景演算的思想吸收了有窮自動(dòng)機(jī)狀態(tài)轉(zhuǎn)移的概念。在情景演算中，推理不但取決于狀態(tài)，而且取決于主體關(guān)于狀態(tài)知道些什么。主體知道得越多，了解得越詳細(xì)，他就會(huì)更好地作出決策。這種情景演算理論吸引了許多研究者，但它本身也引起一種問(wèn)題。在多主體的世界中，與一個(gè)主體有關(guān)的情景的變化可能還取決于其他主體的行動(dòng)。這樣處理起來(lái)十分困難。在常識(shí)世界中，我們的決策可能不大受其他主體的影響，當(dāng)然有時(shí)也受。很難說(shuō)麥卡錫的努力最終是否成功了，但他向通常的“演繹推理”挑戰(zhàn)，強(qiáng)調(diào)人類智能推理的非單調(diào)性（nonmonotonicity），發(fā)展?fàn)顟B(tài)描述法，在人工智能研究中具有重要意義。麥卡錫試圖讓機(jī)器能像人一樣，在某種語(yǔ)境下，進(jìn)行基本的猜測(cè)。但這很難做，即使是人，也常常誤解語(yǔ)境。一個(gè)有趣的例子是：白宮發(fā)言人奧涅爾歡迎新當(dāng)選的里根總統(tǒng)時(shí)說(shuō)：“您成了Grover Cleveland”（他指的是美國(guó)的一個(gè)總統(tǒng)）。而里根卻微笑著說(shuō)：“我只在電影中扮演過(guò)一次Cleveland�！保ɡ锔傅氖前羟蚴諫rover Cleveland Alexander）
不管人們對(duì)人工智能還有什么偏見(jiàn)，它現(xiàn)在已成為嚴(yán)肅的經(jīng)驗(yàn)科學(xué)，而麥卡錫為這一領(lǐng)域培養(yǎng)了大量人才，他的學(xué)生遍及世界。關(guān)于人工智能，想了解更多的東西可以直接訪問(wèn)麥卡錫的網(wǎng)頁(yè)，從“公眾理解科學(xué)的角度”看，他的網(wǎng)頁(yè)做得非常棒。他討論了人工智能與哲學(xué)的關(guān)系，人工智能的分類及應(yīng)用領(lǐng)域等。還詳細(xì)回答了有關(guān)人類“可持續(xù)發(fā)展”的問(wèn)題。他是技術(shù)樂(lè)觀派，相信人類會(huì)有一個(gè)美好的未來(lái)（他提供了許多論據(jù)，可從網(wǎng)上看到）。
麥卡錫 - 相關(guān)條目
科技 生活 法律 人物
