一、圖靈測(cè)試的提出
英國(guó)科學(xué)家圖靈(Alan Turing)曾首先提出現(xiàn)代計(jì)算機(jī)的數(shù)學(xué)模型——圖靈機(jī)。這個(gè)模型對(duì)后世計(jì)算機(jī)和計(jì)算機(jī)科學(xué)的發(fā)展有深遠(yuǎn)的影響。圖靈因此而獲得了極大的榮譽(yù)。目前世界上計(jì)算機(jī)科學(xué)的最高獎(jiǎng)就是圖靈獎(jiǎng)。
圖靈還有一項(xiàng)重要貢獻(xiàn)。這項(xiàng)貢獻(xiàn)也許不像圖靈機(jī)的貢獻(xiàn)那么大,但是也涉及計(jì)算機(jī)科學(xué)的一個(gè)根本性問(wèn)題,對(duì)后來(lái)人工智能的研究有重大意義。這就是圖靈測(cè)試的思想。自從計(jì)算機(jī)誕生以后,人們對(duì)計(jì)算機(jī)是否具有智能進(jìn)行了長(zhǎng)期的爭(zhēng)論。圖靈在1950年發(fā)表于《哲學(xué)》雜志的一篇文章認(rèn)為,(關(guān)于機(jī)器智能的)爭(zhēng)論無(wú)法解決,是由于我們沒(méi)有一個(gè)關(guān)于“機(jī)器”和“思維”(智能)的明確定義。他說(shuō):“首先,我們必須考慮如何給‘機(jī)器’和‘思維’下定義……然而這種想法是很危險(xiǎn)的……我不打算去想出一個(gè)定義,而是用另一個(gè)問(wèn)題來(lái)代替這個(gè)問(wèn)題,這個(gè)新問(wèn)題與那個(gè)老問(wèn)題緊密相連,并且相對(duì)來(lái)說(shuō)又不那么模棱兩可。”為此,圖靈設(shè)計(jì)了一種實(shí)驗(yàn)的方法,來(lái)判定機(jī)器是否能夠思維〈即機(jī)器是否具有智能)。這就是著名的圖靈測(cè)試。其方案為z由測(cè)試人A與另一房間中的兩個(gè)對(duì)象B和C對(duì)話(huà),B和C中有一個(gè)是人,另一個(gè)是計(jì)算機(jī)。如果經(jīng)過(guò)一段時(shí)間的對(duì)話(huà)以后,A不能斷定B和C中誰(shuí)是人,誰(shuí)是計(jì)算機(jī),則認(rèn)為計(jì)算機(jī)己具備了智能。
圖靈測(cè)試是有其特定含義的,即指通過(guò)人-機(jī)對(duì)話(huà)來(lái)判斷機(jī)器是否具有智能的方法。有人認(rèn)為只要計(jì)算機(jī)在某些方面做得很好,甚至于讓人看不出來(lái)這是計(jì)算機(jī)做的,就算是通過(guò)了圖靈測(cè)試,這是一種誤解。我們認(rèn)為這種看法是不符合圖靈的原意的。實(shí)際上,計(jì)算機(jī)在計(jì)算速度方面早就做得比人強(qiáng)了。計(jì)算機(jī)在藝術(shù)方面已經(jīng)可以創(chuàng)造出能夠亂真的作品。人們也并沒(méi)有因之說(shuō)計(jì)算機(jī)通過(guò)了圖靈測(cè)試。圖靈測(cè)試就其本質(zhì)來(lái)說(shuō),測(cè)試的是一種特定的智能,我們稱(chēng)之為言語(yǔ)智能。
很多人對(duì)圖靈的觀(guān)點(diǎn)是持贊同意見(jiàn)的,當(dāng)然,他們對(duì)圖靈測(cè)試中的具體測(cè)試方法作了很多改進(jìn)和推廣。米奇(Donald Michie)指出,因靈的僅僅依據(jù)被試的言語(yǔ)表達(dá)來(lái)判定機(jī)器是否具有智能,失掉了人類(lèi)在思維過(guò)程中的某些重要部分,因此對(duì)圖靈測(cè)試應(yīng)該進(jìn)行推廣。米奇同時(shí)提醒人們,不要將圖靈的原意扭曲,那就是,圖靈提出這個(gè)測(cè)試方法,并不是為了驗(yàn)證機(jī)器是否具有與人一樣的思維能力,而是為了驗(yàn)證機(jī)器是否有思維能力。米奇對(duì)圖靈測(cè)試應(yīng)該被推廣的觀(guān)點(diǎn),是基于這樣一個(gè)事實(shí):很多具有特定技能的人,并不能很好地用語(yǔ)言表達(dá)他們是如何運(yùn)用這些技能的。因此,如果圖靈測(cè)試用來(lái)測(cè)試對(duì)方是不是某一方面的專(zhuān)家,而且僅僅通過(guò)終端文字的形式來(lái)進(jìn)行柵試,人們有時(shí)是無(wú)法正確分辨的。
哈納(Stevan Harriad)還提出了完全圖靈測(cè)試(total turing test)的觀(guān)點(diǎn)。他認(rèn)為,非語(yǔ)言行為同語(yǔ)言行為在表達(dá)人類(lèi)的思維方面至少具有同等重要的作用。因此他指出,圖靈測(cè)試不應(yīng)被簡(jiǎn)單地看作是一個(gè)測(cè)試過(guò)程,而應(yīng)該把它當(dāng)作一個(gè)科學(xué)準(zhǔn)則。一個(gè)完全圖靈測(cè)試除了包括圖靈所說(shuō)的語(yǔ)言行為之外,還應(yīng)該包括機(jī)器的非語(yǔ)言行為在內(nèi)。而且這種測(cè)試不應(yīng)該被限制在短短的5分鐘之內(nèi),而是應(yīng)該在很長(zhǎng)的時(shí)間內(nèi)(lifetime)進(jìn)行。
在哈納的基礎(chǔ)上費(fèi)徹(James H Fetzer)還進(jìn)一步分析了圖靈測(cè)試(TT)與完全圖靈測(cè)試(TTT)之間的關(guān)系。他認(rèn)為T(mén)T與TTT至少有兩點(diǎn)不一樣:TT認(rèn)為凡是通過(guò)測(cè)試的機(jī)器都具有智能,它是“具有智能”的充分條件,而TTT則認(rèn)為凡是通不過(guò)測(cè)試的機(jī)器都不具有智能,它只是
“具有智能”的必要條件;另一個(gè)區(qū)別是它們?cè)跍y(cè)試時(shí)采用的形式不同,TT僅僅依據(jù)語(yǔ)言行為來(lái)進(jìn)行判斷,而TTT則綜合了非語(yǔ)言行為。
二、對(duì)哲學(xué)家和認(rèn)知科學(xué)家的挑戰(zhàn)——機(jī)器能否具有智能
關(guān)于計(jì)算機(jī)是否和如何才能具有智能的問(wèn)題首先是一個(gè)哲學(xué)問(wèn)題,因此引起了哲學(xué)家的極大關(guān)心,歷來(lái)爭(zhēng)論激烈。
圖靈在這篇文章里,已經(jīng)預(yù)見(jiàn)到會(huì)有很多人反對(duì)他的這個(gè)觀(guān)點(diǎn)。為此,他分別就這些反對(duì)者的觀(guān)點(diǎn)作了解釋。
(1)來(lái)自神學(xué)的反對(duì)意見(jiàn):“思維是人的不朽靈魂的一種功能。上帝賦予每一個(gè)男人和女人以一顆不朽的靈魂,但從未將它賦予任何其他的動(dòng)物或機(jī)器。因此,動(dòng)物或者機(jī)器不能思維。”
(2)所謂駝鳥(niǎo)政策式的異議:“機(jī)器思維后果太令人恐懼了。但愿機(jī)器永遠(yuǎn)也不會(huì)有思維。”
這兩種反駁在圖靈看來(lái),并不是很有力的,因此我們這里不做更多的解釋。
(3)來(lái)自數(shù)學(xué)的異議:“根據(jù)哥德?tīng)柖ɡ?,機(jī)器能力有限,而人類(lèi)智能則沒(méi)有這種局限性?!眻D靈認(rèn)為,盡管己經(jīng)證明任何一臺(tái)特定的機(jī)器都是能力有限的,但并沒(méi)有任何證據(jù)說(shuō),人類(lèi)智能就沒(méi)有這種局限性。
(4)來(lái)自意識(shí)的論點(diǎn):“機(jī)器只能機(jī)械地執(zhí)行事先編好的程序,而不能感受到它究竟在做什么,機(jī)器是沒(méi)有意識(shí)的”。圖靈認(rèn)為這是一種唯我論的表現(xiàn)。按照這種觀(guān)點(diǎn),最極端的形式就是:若要肯定一臺(tái)機(jī)器是否能思維,唯一的途徑就是成為那臺(tái)機(jī)器,并且去感受它的思維活動(dòng)。同樣,若要知道某人是否在思維,唯一的途徑就是成為那個(gè)特定的人。但這顯然是不可行的。
(5)來(lái)自種種能力限制的論據(jù):“現(xiàn)在的機(jī)器雖然可以干很多事情,但有些事情是機(jī)器永遠(yuǎn)也不能做到的,比如:和藹,機(jī)靈,美麗,富于首創(chuàng)精神,有幽默感等等?!眻D靈認(rèn)為這是一種基于歸納得到的結(jié)果,因?yàn)槿藗冞€沒(méi)有看到能夠做到這些事情的機(jī)器,所以就認(rèn)為機(jī)器永遠(yuǎn)也不可能做到,這是缺乏根據(jù)的。更激進(jìn)的反對(duì)觀(guān)點(diǎn)認(rèn)為只要做某件事的方法能夠用機(jī)器所能采用的方法進(jìn)行描述,那么人們就會(huì)認(rèn)為這種方法實(shí)在是太低級(jí)了,稱(chēng)不上是智能行為。這種觀(guān)點(diǎn)顯然有失偏頗。
(6)拉芙菜絲(Lovelace)夫人[即Ada,英國(guó)著名詩(shī)人拜倫的女兒,為貝貝奇(Babage)編過(guò)程序]的異議。拉芙萊絲夫人的回憶錄中曾對(duì)貝貝奇的分析機(jī)做過(guò)詳盡的記述。她寫(xiě)道:“分析機(jī)沒(méi)有任何意圈要想創(chuàng)作什么東西。它只能做我們知道該怎樣去指揮它做的任何事?!边€有另一種說(shuō)法,即“機(jī)器永遠(yuǎn)也不能創(chuàng)新”。圖靈對(duì)這個(gè)觀(guān)點(diǎn)的態(tài)度是,如果認(rèn)真地分析世上的每件事,誰(shuí)能說(shuō)某種“創(chuàng)新”就真的是“創(chuàng)新”,而不是接受教育,因循著名的普遍原則的結(jié)果?
(7)來(lái)自神經(jīng)系統(tǒng)連續(xù)性的論證:“神經(jīng)系統(tǒng)不像離散狀態(tài)的機(jī)器,所以不能用一個(gè)離散狀態(tài)系統(tǒng)去模仿神經(jīng)系統(tǒng)的行為?!眻D靈指出,雖然從內(nèi)部構(gòu)造上,機(jī)器和神經(jīng)系統(tǒng)是不同的,但如果嚴(yán)格遵循模蟻游戲的條件,反對(duì)者就不能從這個(gè)差別得到任何有利之處。
(8)來(lái)自行為規(guī)則的論證:“如果每一個(gè)人都有一套行動(dòng)規(guī)則來(lái)制約他的生活,那么,人同機(jī)器就會(huì)相差無(wú)幾了。但實(shí)際上不存在這種規(guī)則,因此,人不能成為機(jī)器。”圖靈指出,這里的論證將“行為規(guī)則”和“行為規(guī)律”混為一談。所謂“行為規(guī)則”是指人們需要服從的,并能夠意識(shí)到的一類(lèi)規(guī)則;而“行為規(guī)律”則是自然規(guī)律。
(9)來(lái)自超感官知覺(jué)的論證。這是圖靈認(rèn)為人同人創(chuàng)造的機(jī)器之間最終的區(qū)別。然而,當(dāng)時(shí)可能被圖靈認(rèn)為超感官知覺(jué)存在的證據(jù),后來(lái)都被證實(shí)是假的。我們相信將來(lái)也不會(huì)找到這樣的證據(jù)。
最著名的反對(duì)意見(jiàn),是索爾(Searle)于1980年提出的“中文屋子”問(wèn)題。它實(shí)際上是上面提到的第(4)點(diǎn)反對(duì)意見(jiàn)的進(jìn)一步發(fā)揮。該問(wèn)題是這樣描述的:
假設(shè)有一間密閉的屋子,除了通過(guò)一個(gè)通訊電纜與外界相連之外,沒(méi)有任何其他方法能夠與外界通訊。屋子里有一臺(tái)通過(guò)了圖靈測(cè)試的運(yùn)行某種算法程序的機(jī)器,該機(jī)器能夠接受輸入的中文句子,井且能夠通過(guò)執(zhí)行程序生成輸出的中文句子。這時(shí),如果由一個(gè)完全不懂中文的人在屋子里,模仿上面的機(jī)器執(zhí)行同樣的算法程序,應(yīng)該也能夠接受輸入的中文句子,并產(chǎn)生輸出。這樣,從屋子外面看,屋子里面的人應(yīng)該是理解中文的,但是實(shí)際上完全不是這樣。
索爾的問(wèn)題的關(guān)鍵在于,僅僅成功執(zhí)行算法本身并不意味著對(duì)所發(fā)生的事有絲毫理解,鎖在他的中文屋子里的人不理解任何句子中的任何詞!索爾的質(zhì)疑引起了熱烈的爭(zhēng)論,在此沒(méi)有篇幅細(xì)說(shuō)了。
三、對(duì)語(yǔ)言學(xué)家和計(jì)算機(jī)科學(xué)家的挑戰(zhàn)——計(jì)算機(jī)能否掌握談話(huà)技巧
以考核言語(yǔ)智能為特點(diǎn)的圖靈測(cè)試程序,其最基本的組成部分就是對(duì)話(huà)系統(tǒng)。對(duì)話(huà)系統(tǒng)的研究不是一個(gè)新課題,實(shí)驗(yàn)系統(tǒng)也很多。
按照對(duì)話(huà)系統(tǒng)的輸入輸出方式,可以分為基于語(yǔ)音的和基于文字的兩種?;谖淖值膶?duì)話(huà)系統(tǒng)所涉及的技術(shù)包括:自然語(yǔ)言理解,機(jī)器翻譯,對(duì)話(huà)分析,故事理解,自然語(yǔ)言生成等部分。而基于語(yǔ)音的對(duì)話(huà)系統(tǒng)在此基礎(chǔ)上,還需要語(yǔ)音識(shí)別和語(yǔ)音生成技術(shù)。
按照對(duì)話(huà)系統(tǒng)的應(yīng)用范圍,可分為面向特定領(lǐng)域的和非面向特定領(lǐng)域的兩種。按照對(duì)話(huà)系統(tǒng)的核心功能,還可以分為技術(shù)型對(duì)話(huà)系統(tǒng)和知識(shí)型對(duì)話(huà)系統(tǒng)兩類(lèi)。早期出現(xiàn)的系統(tǒng)以及目前流行的許多系統(tǒng)都是技術(shù)型系統(tǒng)。這類(lèi)系統(tǒng)的特點(diǎn)是不擁有一個(gè)大型知識(shí)庫(kù)。純憑對(duì)話(huà)技術(shù)與用戶(hù)周旋。本節(jié)主要介紹這類(lèi)系統(tǒng)。
按照對(duì)話(huà)的生成原則,可以分為動(dòng)態(tài)生成型、規(guī)劃型和腳本型三類(lèi)。動(dòng)態(tài)生成型事先沒(méi)有一定的計(jì)劃,根據(jù)對(duì)話(huà)方輸入的內(nèi)容臨時(shí)決定如何應(yīng)答。規(guī)劃型根據(jù)雙方對(duì)話(huà)的進(jìn)展以合作方式逐漸生成一個(gè)對(duì)話(huà)計(jì)劃。腳本型以仙克(Schank)的概念依賴(lài)?yán)碚摵湍_本技術(shù)為依據(jù),事先規(guī)劃好對(duì)話(huà)的基本模式,再按某種狀態(tài)轉(zhuǎn)移圖把用戶(hù)的輸入轉(zhuǎn)換成輸出。這種方法的功能受限,主要用于特定領(lǐng)域的對(duì)話(huà)。
按照所使用的自然語(yǔ)言處理技術(shù),可以把對(duì)話(huà)系統(tǒng)分為語(yǔ)法型、語(yǔ)義型和語(yǔ)用型對(duì)話(huà)系統(tǒng)。語(yǔ)法型對(duì)話(huà)系統(tǒng)通常使用關(guān)鍵宇匹配以及句型匹配和置換技術(shù)。在使用這類(lèi)技術(shù)時(shí),對(duì)方輸入的自然語(yǔ)言其實(shí)并沒(méi)有被真正理解,而是被“望文生義”了,并且是“望關(guān)鍵字和句型生義”。
語(yǔ)義型系統(tǒng)力圈理解用戶(hù)的輸入并做出合理的反應(yīng)。這類(lèi)系統(tǒng)要求有一個(gè)比較完整的自然語(yǔ)言理解模塊。但是因?yàn)樽匀徽Z(yǔ)言理解是一個(gè)目前還不可能完全解決的難題,所以語(yǔ)義型系統(tǒng)的語(yǔ)義理解和處理功能肯定還是有限的。目前的觀(guān)點(diǎn)認(rèn)為,對(duì)話(huà)系統(tǒng)的研究是語(yǔ)用學(xué)的研究,但是在歷史上許多系統(tǒng)是基于句法和語(yǔ)義來(lái)研究,因?yàn)檎Z(yǔ)用學(xué)的研究被認(rèn)為是太難了。
下面舉一個(gè)例子來(lái)說(shuō)明這三種方法在效呆上的區(qū)別。假設(shè)用戶(hù)的輸入是:
“你在20年前還不是一條狗?!?/p>
語(yǔ)法型系統(tǒng)會(huì)找出句型骨架“你**不是**狗”并判斷這是正確命題,從而回答:“對(duì),我在20年前還不是一條狗”。語(yǔ)義型系統(tǒng)會(huì)正確理解整個(gè)句子。由于20年前他確實(shí)不是一條狗,也會(huì)給出相似的回答。頂多加上一句:“我在現(xiàn)在也還不是一條狗?!敝挥姓Z(yǔ)用型系統(tǒng)才會(huì)判斷出這是一句侮辱話(huà)。
從歷史上看,著名的對(duì)話(huà)系統(tǒng)有MlT的維岑寶穆(Joseph Weizenbaum)所寫(xiě)的程序ELIZA,這個(gè)矛盟芋用的是模式及關(guān)鍵宇匹配和置換的方法。設(shè)有如下句型模式:
(* you ** me)
及置換規(guī)則:
(what makes you think I ** you)
那么,當(dāng)輸入為“Yesterday you hurt me.”時(shí),輸出為“What makes you think I hurt you?”。
第二個(gè)例子是由科爾比(Colby)開(kāi)發(fā)的PARRY程序。Parry也沒(méi)有語(yǔ)法分析部分,只是通過(guò)大約6000條模式匹配規(guī)則來(lái)實(shí)現(xiàn)它的功能。它被偽裝成是Veterans醫(yī)院的精神病患者。
目前世界上比較有規(guī)模的圖靈測(cè)試比賽,是柳步納(Hugh Leobner)博士、美國(guó)國(guó)家自然科學(xué)基金和斯龍(Sloan)基金于1991年共同創(chuàng)辦的柳步納大賽。每年舉行一次,在參賽的程序中挑選出最“人性化”的程序。此外,還設(shè)立了一個(gè)10萬(wàn)美元的大獎(jiǎng),獎(jiǎng)勵(lì)第一個(gè)通過(guò)非限制的圖靈測(cè)試的程序。這個(gè)大賽也被稱(chēng)為侃大山程序比賽。
四、對(duì)知識(shí)工程和知識(shí)科學(xué)專(zhuān)家的挑戰(zhàn)——能否建立強(qiáng)大的常識(shí)知識(shí)庫(kù)
侃大山系統(tǒng),或聊天系統(tǒng)的最大缺陷就是不以廣泛的知識(shí)為基礎(chǔ)。它們一般都有一些為了維持聊天所必需的起碼知識(shí),例如,你對(duì)它說(shuō)某些稱(chēng)贊的話(huà),它會(huì)對(duì)你說(shuō)謝謝。你罵它一些難聽(tīng)的話(huà),它也會(huì)對(duì)你不客氣。但是你如果問(wèn)它牛有幾條腿,或天上有幾個(gè)月亮,侃大山系統(tǒng)一般是回答不出來(lái)的。
易見(jiàn)這里所說(shuō)的知識(shí)不是指專(zhuān)業(yè)知識(shí),而是指常識(shí)。常識(shí)與專(zhuān)業(yè)知識(shí)有很大的不同,專(zhuān)業(yè)知識(shí)的重要性是人所共知的。它被廣泛應(yīng)用于各類(lèi)專(zhuān)家系統(tǒng)和應(yīng)用軟件之中,而常識(shí)的重要性卻往往被忽略。麥卡西(John McCarthy)曾指出,缺乏常識(shí)是當(dāng)前專(zhuān)家系統(tǒng)的一大弱點(diǎn)。例如,許多醫(yī)學(xué)專(zhuān)家系統(tǒng)不知道“死”這個(gè)概念,當(dāng)然很難要求這樣的專(zhuān)家系統(tǒng)起到和醫(yī)生一樣的作用。在人機(jī)對(duì)話(huà)中,常識(shí)又是考驗(yàn)一個(gè)對(duì)話(huà)者是否具有正常人的智力和行為的試金石。常識(shí)與專(zhuān)業(yè)知識(shí)的第二個(gè)區(qū)別是:人類(lèi)積累的專(zhuān)業(yè)知識(shí)雖浩如煙海,但比起常識(shí)來(lái),專(zhuān)業(yè)知識(shí)還只如小巫之見(jiàn)大巫。常識(shí)知識(shí)范圍之廣袤,是專(zhuān)業(yè)知識(shí)所不可比擬的。它們的第三個(gè)區(qū)別是:專(zhuān)業(yè)知識(shí)一般都是形式化了的,或比較便于形式化,而常識(shí)知識(shí)卻極難形式化。
由于以上這些原因,在國(guó)際人工智能界,一直公認(rèn)常識(shí)性知識(shí)的處理是人工智能的核心難題,有無(wú)常識(shí)是人和計(jì)算機(jī)的最根本區(qū)別,把常識(shí)問(wèn)題能否解決和人工智能是否能夠?qū)崿F(xiàn)聯(lián)系起來(lái)。人工智能的研究達(dá)到了什么水平?人工智能研究能否最終達(dá)到人們所希望的目標(biāo)……所有這類(lèi)問(wèn)題的答案,無(wú)不和常識(shí)問(wèn)題的研究進(jìn)展密切有關(guān)。因此,很自然地,有無(wú)廣泛的常識(shí)和能否充分、有效地運(yùn)用這些常識(shí)是圖靈測(cè)試能否成功的重要關(guān)鍵。
所以,一個(gè)強(qiáng)有力的常識(shí)知識(shí)庫(kù)是成功實(shí)施圖靈測(cè)試的必要支持。國(guó)外建立常識(shí)知識(shí)庫(kù)的著名例子是雷納(Lenat)的CYC系統(tǒng)。該系統(tǒng)原則上采用一階謂詞演算加框架樹(shù)作知識(shí)表示,以框架樹(shù)表示基本知識(shí)(客觀(guān)世界中物理和精神對(duì)象的分類(lèi)體系),以謂詞演算作推理手段,并為每個(gè)問(wèn)題領(lǐng)域建立一個(gè)微理論(公理體系〉。經(jīng)過(guò)十余年努力,耗費(fèi)數(shù)百人年的工作量,建立起一個(gè)擁有百萬(wàn)斷言的知識(shí)庫(kù)。國(guó)內(nèi)的努力有中科院計(jì)算所曹存根的CNKI海量知識(shí)庫(kù),以及中科院數(shù)學(xué)所、清華大學(xué)和中山大學(xué)合作建立的《盤(pán)古》常識(shí)知識(shí)庫(kù)。還在《盤(pán)古》的支持下作了少兒圖靈測(cè)試的嘗試。該知識(shí)庫(kù)選定Agent作為常識(shí)單元,以Agent類(lèi)屬作為縱向繼承體系,并按本體論原則組織各Agent的橫向聯(lián)系,通過(guò)各類(lèi)本體建立聯(lián)想式的網(wǎng)絡(luò)體系。它的常識(shí)存儲(chǔ)是分布式的,常識(shí)不僅體現(xiàn)在單個(gè)Agent的個(gè)體知識(shí)之中,而且體現(xiàn)在本體的組織結(jié)構(gòu)之中。Agent之間的通信采用KQML。
從國(guó)內(nèi)外的研究情況來(lái)看,開(kāi)發(fā)大型常識(shí)庫(kù)的主要問(wèn)題是完備性(哪些知識(shí)是常識(shí)?如何收羅浩如煙海的常識(shí)?怎樣用有限的庫(kù)容裝進(jìn)無(wú)限的常識(shí)?)、一致性(常識(shí)有強(qiáng)烈的情景依賴(lài)性。如何限定常識(shí)的應(yīng)用前提才能不發(fā)生矛盾?)和高效性(常識(shí)推理所需時(shí)間隨常識(shí)的量而上升,如何使海量的常識(shí)與高效的推理相兼容?)
五、研究圖靈測(cè)試的目的
在圍繞圖靈測(cè)試而展開(kāi)的爭(zhēng)論中,有許多問(wèn)題的哲學(xué)意義大于其科學(xué)意義。人們可以從哲學(xué)角度或科學(xué)角度或技術(shù)角度去研究。我們不想否定任何一種角度。在科學(xué)和技術(shù)的意義上,圖靈測(cè)試可以作為機(jī)器智能的試金石和研究機(jī)器智能的原動(dòng)力。言語(yǔ)智能和常識(shí)處理是其中的兩大研究方向。圖靈測(cè)試的意義不限于基礎(chǔ)研究,它有許多可能的應(yīng)用。我們期待有更多的成果問(wèn)世。
整理不易,歡迎打賞
陸汝鈴,1935年生于上海,1959年7月畢業(yè)于德國(guó)耶拿大學(xué)數(shù)學(xué)系,1959年10月起在中國(guó)科學(xué)院數(shù)學(xué)研究所工作至今。1983年起任研究員。1999年當(dāng)選為中國(guó)科學(xué)院院士。主要研究方向?yàn)槿斯ぶ悄?、知識(shí)工程和基于知識(shí)的軟件工程。共發(fā)表文章百余篇、專(zhuān)著7本。曾獲科學(xué)大會(huì)獎(jiǎng)、中國(guó)科學(xué)院科技進(jìn)步一等獎(jiǎng)兩次、國(guó)家科技進(jìn)步二等獎(jiǎng)一次,以及第六屆華羅庚數(shù)學(xué)獎(jiǎng)一次。
聯(lián)系客服