魏屹東

(山西大學(xué) 哲學(xué)學(xué)院,山西 太原 030006)

語(yǔ)境(context),也稱脈絡(luò)、背景、環(huán)境、上下文,幾乎影響著動(dòng)物、人類和計(jì)算機(jī)系統(tǒng)行為的方方面面。它不僅影響我們?nèi)绾卫斫馐澜?、如何與他人交流、如何計(jì)劃和執(zhí)行我們的行動(dòng),也影響著計(jì)算機(jī)、人工智能以及認(rèn)知科學(xué)的研究策略,特別是計(jì)算機(jī)和人工智能能夠針對(duì)其所處情境和用戶采取適當(dāng)?shù)男袆?dòng)方式。在科學(xué)哲學(xué)領(lǐng)域,20世紀(jì)80年代開始的“語(yǔ)境化運(yùn)動(dòng)”,不僅給出了現(xiàn)象域和世界之間的指稱關(guān)聯(lián),而且給出了語(yǔ)言中內(nèi)在關(guān)聯(lián)的意義,從而超越了符號(hào)和指稱物之間的關(guān)聯(lián),走向了對(duì)符號(hào)使用者內(nèi)在心理意向狀態(tài)的分析[1]。這種從外在到內(nèi)在的“語(yǔ)境化運(yùn)動(dòng)”使語(yǔ)境在語(yǔ)形、語(yǔ)義、語(yǔ)用和認(rèn)知上得到了統(tǒng)一,闡明了語(yǔ)境是有界的、相對(duì)的并決定研究對(duì)象的意義。

然而,在人工智能、機(jī)器人學(xué)和工程學(xué)領(lǐng)域,語(yǔ)境似乎是一個(gè)可有可無(wú)的概念,使用語(yǔ)境建模和推理要晚得多,比如“建模與使用語(yǔ)境”國(guó)際會(huì)議從1997年到2019年已召開11屆[2],但近幾年似乎銷聲匿跡了。通過研讀“建模和使用語(yǔ)境”歷屆國(guó)際會(huì)議文集和相關(guān)文獻(xiàn),可以發(fā)現(xiàn),這些領(lǐng)域并沒有關(guān)注哲學(xué)中作為世界觀或世界假設(shè)的“語(yǔ)境論”,也很少注意到科學(xué)哲學(xué)中的“科學(xué)語(yǔ)境論”。這是一個(gè)很大的遺憾。它表明哲學(xué)與科學(xué)技術(shù)學(xué)科之間仍存在壁壘,需要強(qiáng)化交叉和溝通。筆者一直主張,人的世界是語(yǔ)境化的世界,居于其中的任何人,以及由人類創(chuàng)造的一切知識(shí)體系,無(wú)論是人文的、社會(huì)的、數(shù)學(xué)的、邏輯的,還是科學(xué)的、技術(shù)的、工程的,甚至是人工智能和機(jī)器人學(xué),都離不開語(yǔ)境。我們對(duì)世界、人類社會(huì)和文化的理解、解釋和說明,均是基于語(yǔ)境的。人工智能要得到很好的解釋和通用,即建構(gòu)通用人工智能(Artificial General Intelligence,AGI),語(yǔ)境是不可或缺的,需要對(duì)人工智能進(jìn)行語(yǔ)境建模。不過,本文的重點(diǎn)不是建構(gòu)一個(gè)人工智能的語(yǔ)境模型,而是要闡明人工智能中語(yǔ)境的意義,語(yǔ)境中的人工智能如何工作,以及多智能體系統(tǒng)中的語(yǔ)境建模及其語(yǔ)境變換問題。

一、人工智能中的語(yǔ)境

在哲學(xué)和語(yǔ)言學(xué)中,語(yǔ)境是人們非常熟悉的一個(gè)概念。在邏輯學(xué)中,弗雷格的語(yǔ)境原則也被廣泛地運(yùn)用。人的世界,是語(yǔ)境化的世界。人工智能世界是人創(chuàng)造的世界,因而也一定是語(yǔ)境化的世界。基于這種認(rèn)識(shí),人工智能的自主學(xué)習(xí)在增強(qiáng)智能的方法上,都在自覺或不自覺地運(yùn)用語(yǔ)境,比如語(yǔ)境建模和語(yǔ)境推理[3]。事實(shí)上,人工智能中常用的“if-then-else”算法規(guī)則,其中的“if”就是語(yǔ)境條件。還有基于案例的推理、基于知識(shí)的推理、基于樣本和經(jīng)驗(yàn)的機(jī)器學(xué)習(xí)、貝葉斯網(wǎng)和語(yǔ)義網(wǎng)絡(luò)的知識(shí)表征等,無(wú)不凸顯了語(yǔ)境條件——案例、知識(shí)、樣本和經(jīng)驗(yàn)、范疇結(jié)構(gòu)等。這里的語(yǔ)境既有靜態(tài)方面(已有知識(shí)、常識(shí)經(jīng)驗(yàn)),也有動(dòng)態(tài)方面(當(dāng)前情境中的感知、決策和行動(dòng)),比如語(yǔ)境-覺知、樹型搜索?？傊?推理過程中的前提條件、臨時(shí)預(yù)設(shè)以及經(jīng)驗(yàn)啟示,均是語(yǔ)境因素。自然語(yǔ)言處理方面遇到的“常識(shí)問題”,實(shí)質(zhì)上是“語(yǔ)境問題”,因?yàn)槿擞谐ＷR(shí)(成長(zhǎng)中習(xí)得的),而機(jī)器沒有(缺乏成長(zhǎng)過程)。

然而問題在于,人的語(yǔ)境化能力能夠嵌入人工智能嗎?即便可以,計(jì)算機(jī)科學(xué)和人工智能中的“語(yǔ)境”究竟指的是什么?語(yǔ)境的多義性使人們普遍擔(dān)心,相對(duì)模糊的語(yǔ)境概念恐怕很難運(yùn)用于人工智能領(lǐng)域,正如鮑曼(R.Bauman)和布里格斯(C.L.Briggs)指出的,“所有關(guān)于語(yǔ)境的定義都具有明顯的包容性,我們無(wú)法知道語(yǔ)境因素的范圍何時(shí)被充分涵蓋。因此,描述一個(gè)性能>語(yǔ)境<這一看似簡(jiǎn)單的任務(wù)可能會(huì)成為無(wú)限的倒退”[4]。這就是語(yǔ)境的模糊性和相對(duì)性問題。這種擔(dān)憂其實(shí)沒有必要,因?yàn)殛P(guān)于語(yǔ)境是什么的問題在哲學(xué)上完全可以澄清。

在計(jì)算范式下,關(guān)于語(yǔ)境的一個(gè)普遍認(rèn)可的定義是:“語(yǔ)境是可用于描述實(shí)體情況的任何信息。實(shí)體被認(rèn)為是與用戶和應(yīng)用程序之間的交互相關(guān)的人、地點(diǎn)或?qū)ο?包括用戶和應(yīng)用程序本身?！盵5]而按照巴齊爾(M.Bazire)和布雷齊隆(P.Brézillon)的說法,“語(yǔ)境可用于表征和解釋用戶在特定時(shí)間與應(yīng)用交互情境的任何信息”[6]。這是將語(yǔ)境視為信息,即任何與所描述的實(shí)體相關(guān)的信息都是語(yǔ)境因素。然而,信息本身是缺乏語(yǔ)義的,語(yǔ)義需要語(yǔ)境來(lái)限定,而“語(yǔ)境是一個(gè)限制解決問題的步驟而又不明確干預(yù)它的東西”[7],類似于化學(xué)反應(yīng)中的催化劑(加速反應(yīng)而又不參與其中)。這意味著,語(yǔ)境的作用類似于一組先定約束,它們對(duì)嵌入在給定任務(wù)中的系統(tǒng)(用戶、計(jì)算機(jī)或機(jī)器人)的行為產(chǎn)生影響。形式地看,一個(gè)語(yǔ)境信息系統(tǒng)可描述為:Γ=(U,A,V,C)[8],其中U是一組對(duì)象的集合,A是一組屬性的集合,V是一組屬性值的集合,C是一組語(yǔ)境的集合。每個(gè)屬性a∈A被定義為從U×C到V的映射,可形式化表達(dá)為:a(u,c)=v,表示與對(duì)象u關(guān)聯(lián)的屬性a在語(yǔ)境c中具有v值?；蛘哒f,對(duì)象u在語(yǔ)境c∈C中由信息Inf(u,c)表示的信息集可用Inf(u,c)={[a,a(u,c)]|a∈A}來(lái)定義,語(yǔ)境c中對(duì)象u的信息集是u的所有屬性以及它們?cè)谡Z(yǔ)境c中獲取的值的集合。

這里是用數(shù)學(xué)工具“集合”來(lái)刻畫語(yǔ)境的結(jié)構(gòu)。筆者也曾將語(yǔ)境分為文本語(yǔ)境、實(shí)踐語(yǔ)境和認(rèn)知語(yǔ)境三類,認(rèn)為語(yǔ)境不是定性的、模糊的,而是可表征計(jì)算的、結(jié)構(gòu)清晰的,具有可表征性、可計(jì)算性和可變換性:“可表征性是指語(yǔ)境的構(gòu)成要素是有限的,可通過某種形式表達(dá)出來(lái)。可計(jì)算性是指語(yǔ)境的這些要素可通過算法(或步驟)獲得數(shù)值或非數(shù)值的結(jié)果?？勺儞Q性是指語(yǔ)境是發(fā)展變化的,語(yǔ)境的變換導(dǎo)致意義的變化。”[9]認(rèn)知語(yǔ)境的表征與計(jì)算模型可用集合表示為:Ce=(A,O,I,M),其中A表示認(rèn)知者,O表示認(rèn)知對(duì)象,I表示儀器,M表示方法。就認(rèn)知活動(dòng)本身而言,它由認(rèn)知者和認(rèn)知對(duì)象構(gòu)成,儀器和方法是中介。其含義是,認(rèn)知者A使用方法M,并利用儀器I探測(cè)對(duì)象O,產(chǎn)生了知識(shí)K,表示為映射:F:(O)→K。在人工智能中,認(rèn)知者A指非人的智能體(agent),O是其要實(shí)現(xiàn)的目標(biāo),I是其算法或程序,M是其實(shí)現(xiàn)的路徑、策略或框架。這樣一來(lái),這個(gè)定義也可用于人工智能中的語(yǔ)境刻畫或表征(這是另一個(gè)問題,這里不展開)。

巴齊爾和布雷齊隆試圖通過回答以下問題來(lái)指定給定情境的語(yǔ)境:誰(shuí)?什么?在哪里?何時(shí)?為什么?如何?其中“誰(shuí)”代表主體,即行動(dòng)者;“什么”代表對(duì)象,即動(dòng)作的作用對(duì)象;“在哪里”和“何時(shí)”提供所關(guān)涉動(dòng)作的時(shí)空位置信息;“為什么”給出了主體的意圖、目標(biāo)(甚至情感);“如何”明確了實(shí)現(xiàn)動(dòng)作所需的程序。這是一個(gè)六元素語(yǔ)境集:C={Who,What,Where,When,Why,How}(5W+H)。也就是說,語(yǔ)境可以用來(lái)描述實(shí)體情況的任何信息。更一般地說,用于描述這種語(yǔ)境信息的要素可歸結(jié)為五類:個(gè)體性、活動(dòng)、位置、時(shí)間和關(guān)系,其中個(gè)體性即實(shí)體(主體),活動(dòng)決定了語(yǔ)境元素在特定情況下的相關(guān)性,而位置和時(shí)間則主要驅(qū)動(dòng)實(shí)體間關(guān)系的建立,并使實(shí)體間的語(yǔ)境信息得以交換[10]。

可以看出,語(yǔ)境作為一個(gè)抽象概念或一個(gè)不變量,與背景、環(huán)境、情境密切相關(guān),也與物理學(xué)中的“場(chǎng)”(field)、人工智能中的“域”(domain)等概念相關(guān)。詹金斯(R.Jenkins)認(rèn)為,“場(chǎng)是一個(gè)重要的中介環(huán)境,在這里,外部因素——不斷變化的環(huán)境——對(duì)個(gè)人實(shí)踐和機(jī)構(gòu)產(chǎn)生影響。場(chǎng)的邏輯、政治和結(jié)構(gòu)塑造并引導(dǎo)著‘外部決定’影響場(chǎng)內(nèi)事情的發(fā)生方式,使它們成為場(chǎng)本身正在進(jìn)行的歷史和運(yùn)作的一部分”[11]。比如多智能體系統(tǒng),它是語(yǔ)境敏感的。語(yǔ)境通常與“域”概念互用,而“域”代表一個(gè)可能世界,其中包括各種研究、開發(fā)過程和分析。可能世界就是虛擬現(xiàn)實(shí)世界。語(yǔ)境的關(guān)鍵是要決定語(yǔ)義或內(nèi)容,也就是要讓人工智能的字符串產(chǎn)生意義。這個(gè)過程必然涉及客體(實(shí)體)、問題及其語(yǔ)義。正是在這個(gè)意義上,語(yǔ)境概念顯得更為適用和準(zhǔn)確。

總之,語(yǔ)境是多因素組成的系統(tǒng)或集合,一般包括物理(環(huán)境)、認(rèn)知(知識(shí))、語(yǔ)言(內(nèi)容)、社會(huì)(實(shí)體交互關(guān)系)、文化(共有信念)和情感(內(nèi)在心理狀態(tài))維度[12]。梅納(T.B.Mena)等人提出了一個(gè)概括性的三元組語(yǔ)境模型:語(yǔ)境{領(lǐng)域,實(shí)體,問題},試圖來(lái)囊括這些因素。但顯然這還不夠。如果將語(yǔ)境所涉及的元素組成一個(gè)集合,那應(yīng)該是:語(yǔ)境{情境,客體,問題,語(yǔ)義},其含義是:一個(gè)當(dāng)前情境(或領(lǐng)域)中的客體和問題的解決或解釋(意義)發(fā)生在特定語(yǔ)境中?；蛘哒f,語(yǔ)境是為了解決問題而存在的,而問題往往是一個(gè)命題或陳述的疑問句,比如“人工智能有智能嗎?”(“人工智能有智能”的疑問句)。在復(fù)雜系統(tǒng)中,語(yǔ)境有多個(gè),構(gòu)成一個(gè)語(yǔ)境子集,而其中的各個(gè)元素也是一個(gè)子集。這種復(fù)雜系統(tǒng)的語(yǔ)境建模,通常使用集合及其映射來(lái)表征。

二、認(rèn)知科學(xué)中的語(yǔ)境

相較于人工智能,認(rèn)知科學(xué)對(duì)語(yǔ)境更為重視。在認(rèn)知科學(xué)中,語(yǔ)境一般被理解并定義為在特定場(chǎng)合影響人類(或認(rèn)知系統(tǒng))行為的所有實(shí)體的集合。這種語(yǔ)境模型假設(shè)了當(dāng)前語(yǔ)境中涉及的心理表征,認(rèn)為語(yǔ)境至少是由感知、記憶和推理三個(gè)過程之間的相互作用形成的[13]——構(gòu)建當(dāng)前環(huán)境新表征的感知、重新激活或構(gòu)建以往經(jīng)驗(yàn)表征的記憶,以及構(gòu)建生成目標(biāo)、推斷事實(shí)、誘導(dǎo)規(guī)則等的表征的推理;而且假設(shè)了語(yǔ)境反過來(lái)會(huì)影響感知、記憶和推理過程。這種語(yǔ)境動(dòng)態(tài)理論的主要原則是:語(yǔ)境是一種心理狀態(tài),沒有明確的界限,由所有關(guān)聯(lián)的相關(guān)元素組成,并且是動(dòng)態(tài)的。這種語(yǔ)境觀并不新鮮,它源于社會(huì)科學(xué)。在社會(huì)科學(xué)中,語(yǔ)境通常被視為相互作用的實(shí)體(人、代理和人工制品)的網(wǎng)絡(luò),比如知識(shí)社會(huì)學(xué)中的行動(dòng)者網(wǎng)絡(luò)理論(1)科學(xué)社會(huì)學(xué)中的“科學(xué)共同體”,科學(xué)知識(shí)社會(huì)學(xué)中的“行動(dòng)者網(wǎng)絡(luò)”,都將某個(gè)松散的、無(wú)形的“社會(huì)團(tuán)體或組織”視為行動(dòng)者(主體)的背景或環(huán)境,這些背景或環(huán)境就是“語(yǔ)境”,所以,“語(yǔ)境”在哲學(xué)上得到了認(rèn)識(shí)論的提升和方法論的擴(kuò)張。參見:魏屹東.科學(xué)社會(huì)學(xué)新論[M].北京:科學(xué)出版社,2009:7-10.。這種方法側(cè)重于實(shí)體之間反復(fù)相互作用所產(chǎn)生的語(yǔ)境的結(jié)構(gòu)屬性,包括網(wǎng)絡(luò)元素和涌現(xiàn)屬性。事實(shí)上,人工智能中的范疇網(wǎng)、貝葉斯網(wǎng)、多智能體系統(tǒng)都將語(yǔ)境視為網(wǎng)絡(luò)結(jié)構(gòu)。

在記憶模型中,傳統(tǒng)認(rèn)知主義假設(shè)記憶作為語(yǔ)境,是存儲(chǔ)的記號(hào)、圖像或信號(hào)。而根據(jù)哲學(xué)和認(rèn)知科學(xué)中的后認(rèn)知主義理論(具身認(rèn)知科學(xué)),記憶作為語(yǔ)境不能被視為有意義的圖形、噪聲或信號(hào),因?yàn)樵谟洃浛茖W(xué)中該假設(shè)作為框架將人類認(rèn)知系統(tǒng)描述為一個(gè)無(wú)維的執(zhí)行控制單元,接收和轉(zhuǎn)換來(lái)自環(huán)境輸入的信號(hào)[14]。因此,傳統(tǒng)認(rèn)知主義的記憶存儲(chǔ)假設(shè)遭到了尖銳的批評(píng)。這意味著,語(yǔ)境在當(dāng)代記憶模型中所扮演的角色充滿了內(nèi)部和外部的不一致。所以,將內(nèi)存的“語(yǔ)境”視為可通過類似計(jì)算過程的轉(zhuǎn)換、存儲(chǔ)的離散項(xiàng)是行不通的?；蛘哒f,將記憶的語(yǔ)境視為不影響記憶過程的存儲(chǔ)刺激,并沒有獲得更好的效果。盡管記憶模型的許多元素都表現(xiàn)出經(jīng)驗(yàn)傾向,且這些傾向只是不完全適合這些模型的編碼-存儲(chǔ)-檢索框架,但語(yǔ)境的確是一個(gè)不可忽視的重要問題。所以,具身認(rèn)知科學(xué)的一個(gè)標(biāo)志是拒絕計(jì)算啟發(fā)的建模方法,而建模方法似乎正是這個(gè)問題的框架。在大多數(shù)情況下,記憶科學(xué)家需要根據(jù)從大量記憶案例中提取的數(shù)據(jù)來(lái)構(gòu)建動(dòng)態(tài)模型。在這樣的動(dòng)態(tài)模型中,語(yǔ)境既不是刺激,也不是識(shí)別刺激的不起眼的背景,而是一種軟組裝框架,即數(shù)據(jù)集合包。

在當(dāng)代學(xué)習(xí)理論中,語(yǔ)境通常被理解為實(shí)驗(yàn)設(shè)備所提供的背景刺激,比如心理學(xué)實(shí)驗(yàn)的斯金納箱(Skinner box)。這種理解或定義類似于關(guān)于人類記憶的研究文獻(xiàn)中使用的定義,其中語(yǔ)境被定義為由實(shí)驗(yàn)線索提供的刺激,如斯金納箱提供的食物線索。這意味著在任何情況下,語(yǔ)境都是一個(gè)相對(duì)持續(xù)的刺激,它圍繞或嵌入了要學(xué)習(xí)或記住的目標(biāo)刺激,無(wú)論它們是條件刺激還是判別性刺激,抑或是列表中的項(xiàng)[15]。這種探索允許被試存儲(chǔ)語(yǔ)境的整合表征,一旦形成整合表征,探索過程就會(huì)減少。這種情境表征對(duì)于情境恐懼條件反射也是必要的,因此在電擊傳遞之前,必須給被試(動(dòng)物)足夠的時(shí)間來(lái)探索其所處空間的情形[16]。

在兒童發(fā)育方面,語(yǔ)境實(shí)際上指的是兒童環(huán)境中相應(yīng)的長(zhǎng)期變化[17]。這些變化主要是指隨時(shí)間推移的相關(guān)性模式,即一個(gè)人的生活軌跡(歷史記憶),而不是可識(shí)別的實(shí)體。也就是說,發(fā)育是指貫穿整個(gè)生命周期的人際環(huán)境組裝。在這里,語(yǔ)境不再被視為可使人處于愉悅狀態(tài)的自變量或環(huán)境,而是指兒童成長(zhǎng)過程的歷史或教育背景。

然而問題在于,我們需要說明一個(gè)實(shí)體(人或智能體)如何工作才能完成其任務(wù)。這就要回答以下問題[18]:哪些角色扮演實(shí)體X?X如何執(zhí)行活動(dòng)Y?在何種語(yǔ)境中X如何與Y交互?哪些事件觸發(fā)X的功能?X如何協(xié)調(diào)活動(dòng)或管理資源?X如何協(xié)調(diào)自身?在特定時(shí)間間隔內(nèi),X扮演什么角色?執(zhí)行哪些活動(dòng)?使用哪些資源?與哪些實(shí)體交互?哪些承諾正在處理?這一系列問題是人際交往和多智能體交互過程中必然會(huì)遇到的。

回答這些問題勢(shì)必需要一個(gè)多實(shí)體交互的整合架構(gòu)。在認(rèn)知建模中,架構(gòu)被用來(lái)解決多主體的復(fù)雜性問題。斯洛曼(A.Sloman)認(rèn)為,認(rèn)知架構(gòu)有三個(gè)基本部分[19]:感知(智能體)框、行動(dòng)(智能)框和連接這兩個(gè)框的內(nèi)部層(中間層)。內(nèi)部層又包括反應(yīng)層(通過感應(yīng)器)、協(xié)商層(多智能體交互)和反映層(反饋循環(huán))。內(nèi)部層的反應(yīng)機(jī)制定義了智能體的前限定行為;協(xié)商機(jī)制與計(jì)劃相對(duì)應(yīng),調(diào)節(jié)和決策相對(duì)應(yīng);反映機(jī)制顯示了主體變化前幾層行為的能力。行動(dòng)層、決策層和反映層之間存在復(fù)雜的相互作用,它們本質(zhì)上是心理模型的物理實(shí)現(xiàn),因?yàn)椤靶睦砟Ｐ褪侨祟惸軌蛏上到y(tǒng)目的和形式描述、系統(tǒng)功能和觀察到的系統(tǒng)狀態(tài)解釋以及未來(lái)系統(tǒng)狀態(tài)預(yù)測(cè)的機(jī)制”[20]。

那么,認(rèn)知或智能的實(shí)現(xiàn)為什么要使用語(yǔ)境呢?原因在于,人類記憶系統(tǒng)的排列方式便于使用語(yǔ)境來(lái)增強(qiáng)編碼和檢索。瓦格納(A.D.Wagner)等人使用fMRI掃描證明,在神經(jīng)學(xué)水平上記憶存在語(yǔ)境依賴性,因?yàn)榇竽X不同區(qū)域是否被激活,具體取決于被試是否熟悉語(yǔ)境[21]。換句話說,被試的大腦區(qū)域能否被激活,依賴于被試早先是否有某方面的經(jīng)歷或知識(shí)。比如問被試是否知道“地球是圓的”,若被試沒有這方面的知識(shí),相關(guān)腦區(qū)就不會(huì)激活,因?yàn)楸辉噷?duì)此問題沒有任何記憶反應(yīng)。這表明基于語(yǔ)境的編碼和檢索過程極大地影響了人類的認(rèn)知行為,包括感知、傾向、學(xué)習(xí)和認(rèn)知。我們使用語(yǔ)境形成的關(guān)聯(lián)指導(dǎo)我們?nèi)绾斡涀⌒畔⒁约笆裁辞闆r會(huì)觸發(fā)其檢索。這基于語(yǔ)境的推理,人類的記憶和推理均是與語(yǔ)境相關(guān)的。[22]所以,學(xué)習(xí)(人或機(jī)器)本質(zhì)上是一個(gè)語(yǔ)境化(解決問題、決策和評(píng)估)、去語(yǔ)境化(總結(jié)經(jīng)驗(yàn)、績(jī)效評(píng)估)和再語(yǔ)境化(利用經(jīng)驗(yàn)教訓(xùn))的過程。

概言之,語(yǔ)境作為要探索的實(shí)體或問題的基底,具有整合性。因此,語(yǔ)境是一組聯(lián)結(jié),聯(lián)結(jié)具有狀態(tài),其相關(guān)性由知識(shí)引導(dǎo),而且語(yǔ)境是有界的和有影響的,不能無(wú)限倒退。如果語(yǔ)境與用戶或設(shè)備的歷史無(wú)關(guān),只與特定情況(如位置)相關(guān)(如辦公室的電腦),那么它就是一種絕對(duì)語(yǔ)境。如果語(yǔ)境與用戶或設(shè)備的歷史記錄數(shù)據(jù)相關(guān)(如電腦的出廠參數(shù)),而與其所處位置無(wú)關(guān),那么它就是一種相對(duì)語(yǔ)境。因此,語(yǔ)境也具有絕對(duì)性和相對(duì)性。

三、語(yǔ)境中的人工智能

人造的智能應(yīng)該是特定語(yǔ)境中的。人工智能、機(jī)器人學(xué)、虛擬實(shí)現(xiàn)技術(shù)都是計(jì)算機(jī)語(yǔ)境中的領(lǐng)域或系統(tǒng)。語(yǔ)境的作用在這些領(lǐng)域中是不言而喻的。比如,一種基于語(yǔ)境的操作決策支持方法[23]側(cè)重于建模和解決動(dòng)態(tài)環(huán)境變化的問題。問題由抽象和操作語(yǔ)境建模,語(yǔ)境整合了信息源和領(lǐng)域知識(shí)提供的信息。這種方法涉及用于知識(shí)集成的范疇管理操作、信息組織的語(yǔ)境管理技術(shù),以及問題定義和面向?qū)ο蟮募s束網(wǎng)絡(luò)機(jī)制,其具體應(yīng)用是針對(duì)即時(shí)便攜式醫(yī)院配置的自適應(yīng)服務(wù)。

在經(jīng)典計(jì)算機(jī)科學(xué)中,語(yǔ)境一般被視為一種狀態(tài),它操作系統(tǒng)維護(hù)表(table)的實(shí)現(xiàn)目標(biāo),這些表具有所有進(jìn)程的條目。條目包含相關(guān)進(jìn)程狀態(tài)(正在運(yùn)行、阻塞或等待)、程序計(jì)數(shù)器、堆棧指針、內(nèi)存分配、打開文件的狀態(tài),以及當(dāng)進(jìn)程從運(yùn)行狀態(tài)切換回就緒或阻塞狀態(tài)時(shí),必須保存的所有內(nèi)容信息,以便之后重新啟用此條目。

在人工智能中,語(yǔ)境通常被視為與某些特定情況(環(huán)境、領(lǐng)域、任務(wù)、智能體、交互、對(duì)話等)相關(guān)的事物(句子、命題、假設(shè)、屬性、程序、規(guī)則、事實(shí)、概念、約束、句子等)的集合,即概念的范疇。這就是語(yǔ)境的“盒子隱喻”[24]——語(yǔ)境被視為一個(gè)容器或框架,其內(nèi)容取決于一組情境參數(shù)或維度。根據(jù)“盒子隱喻”,語(yǔ)境建模在人工智能中的使用主要體現(xiàn)在三方面:

第一,目標(biāo)導(dǎo)向的表征和自然語(yǔ)言處理。這方面的一個(gè)突出例子是環(huán)境智能系統(tǒng)(Ambient Intelligent Systems),該系統(tǒng)是通過感知和推理其環(huán)境來(lái)感知語(yǔ)境的,它們感知用戶的需求并通過語(yǔ)境敏感來(lái)主動(dòng)響應(yīng)這些需求[25]。語(yǔ)境感知是指智能體嘗試檢測(cè)系統(tǒng)處于哪種情境,語(yǔ)境敏感是說智能體根據(jù)系統(tǒng)認(rèn)為它所處的情境而采取行動(dòng)。這是一種語(yǔ)境依賴(2)表征(尤其是語(yǔ)言表征)是一種語(yǔ)境依賴的推理過程,這種語(yǔ)境依賴表征一般是在三個(gè)基本維度——部分性、近似性和透視性——上運(yùn)行的。部分性是說,當(dāng)一個(gè)表征僅描述更全面的事態(tài)的子集時(shí),表征是部分的,無(wú)論在形而上學(xué)上還是在認(rèn)知上;近似性是說,當(dāng)一個(gè)表征提煉出給定事態(tài)的某些方面時(shí),它是近似的,可用二進(jìn)制謂詞(x,y)近似表征,這是最小表征。透視性是說,當(dāng)一個(gè)表征對(duì)事態(tài)進(jìn)行時(shí)空、邏輯或認(rèn)知觀編碼時(shí),表征是透視的。參見:BENERECETTI M,BOUQUET P,GHIDINI C.On the dimensions of context dependence:partiality, approximation, and perspective[A]∥AKMAN V,BOUQUET P,THOMASON R H,YOUNG R A. Context 2001[C].Berlin Heidelberg:Spring-Verlag,2001:59-72.的適應(yīng),即僅在滿足相關(guān)語(yǔ)境條件時(shí)才適應(yīng)軟件系統(tǒng)子部分的行為。因此,語(yǔ)境建模的過程就是適應(yīng)性表征過程。也就是說,行為細(xì)化的一些基本行為,僅在特定語(yǔ)境條件下適用,比如軟件系統(tǒng)本身根據(jù)語(yǔ)境條件、多重性和解決策略,對(duì)基本行為和語(yǔ)境適應(yīng)的組成部分做出自主決策。還有,語(yǔ)境導(dǎo)向的域分析(Context-Oriented Domain Analysis,簡(jiǎn)稱CODA)也是典型的語(yǔ)境依賴和語(yǔ)境適應(yīng)的[26],旨在弄清域的潛在相關(guān)因素。

第二,語(yǔ)義網(wǎng)絡(luò)系統(tǒng)。語(yǔ)義網(wǎng)絡(luò)作為一種圖結(jié)構(gòu),以互連節(jié)點(diǎn)和弧模式表征知識(shí)[27],它是一種將語(yǔ)言處理的表征系統(tǒng)概念化的簡(jiǎn)潔而優(yōu)雅的方式。語(yǔ)義網(wǎng)絡(luò)強(qiáng)調(diào)語(yǔ)言處理中語(yǔ)境關(guān)聯(lián)的有效性,這顯然是一種語(yǔ)境依賴的系統(tǒng),非常適合轉(zhuǎn)化為人工智能系統(tǒng)。實(shí)際上,人工智能本身就是一個(gè)更大的語(yǔ)義網(wǎng)絡(luò)。這種結(jié)構(gòu)以圖形法表征知識(shí),與認(rèn)知語(yǔ)義網(wǎng)絡(luò)的概念結(jié)構(gòu)非常相似。這種方法連接知識(shí)中的相關(guān)概念,不僅可用于表征概念和知識(shí)本身,還可用作其他知識(shí)表征系統(tǒng)的支持功能。而且,語(yǔ)義網(wǎng)絡(luò)有不同的子類型,適合不同的概念關(guān)系如定義性、斷言性和暗示性的分析。這些結(jié)構(gòu)分別用于評(píng)估超型-亞型的關(guān)系,斷言概念關(guān)系的命題,以及表征因果關(guān)系或推理的模式。這種多樣性在語(yǔ)境依賴的語(yǔ)言處理中非常有用,因?yàn)檎Z(yǔ)義網(wǎng)絡(luò)可以有效地與其他語(yǔ)言系統(tǒng)協(xié)同工作,以評(píng)估語(yǔ)言輸入的語(yǔ)境連接性。

第三,隱馬爾可夫模型。人類的情境推理是一個(gè)語(yǔ)境建模過程,即個(gè)人使用語(yǔ)言語(yǔ)境來(lái)突顯相關(guān)信息,以便從人們聽到的無(wú)數(shù)短語(yǔ)中盡可能捕捉意義,這突出了大腦對(duì)語(yǔ)境系統(tǒng)的需求。例如,人工智能中的隱馬爾可夫模型使用語(yǔ)境來(lái)幫助語(yǔ)音識(shí)別,以縮小語(yǔ)句的可能選項(xiàng)數(shù)量[28]。但隱馬爾可夫系統(tǒng)必須首先通過給出正確、理性的句子來(lái)訓(xùn)練,以便構(gòu)建一個(gè)能夠運(yùn)行的概率模型;然后它可以在某種情況下使用此模型來(lái)預(yù)測(cè)序列中的下一個(gè)單詞。這對(duì)于自然語(yǔ)言處理非常有利,因?yàn)樗罁?jù)之前遇到的情況使用其概率模型,從整個(gè)詞匯表來(lái)解析詞語(yǔ)系列中下一個(gè)可能的單詞。ChatGPT的運(yùn)作機(jī)制就是這樣,只是后者增加了自注意力機(jī)制,語(yǔ)境推理能力更強(qiáng)了。

不過,需要注意的是,在語(yǔ)境感知系統(tǒng)和軟件工程中,人們所考慮的語(yǔ)境往往是隱藏的,有些將語(yǔ)境集成到需求分析層次,有些則集成到概念層次,如范疇系統(tǒng)。這種語(yǔ)境工程是人工智能軟件工程的一個(gè)分支,它處理對(duì)語(yǔ)境敏感的系統(tǒng)的設(shè)計(jì)、開發(fā)和制造,同時(shí)處理硬件和軟件。也就是說,語(yǔ)境工程允許構(gòu)建基于內(nèi)容的系統(tǒng),該系統(tǒng)具有動(dòng)態(tài)推理和知識(shí)表征的功能。筆者設(shè)想,如果將文化作為語(yǔ)境來(lái)建模,就可將文化因素嵌入人工智能這種物理系統(tǒng),從而實(shí)現(xiàn)人工“認(rèn)知智能”(即通用人工智能)的理念。

四、語(yǔ)境中的多智能體系統(tǒng)

人工智能中的多智能體系統(tǒng)(Multi-Agent System,簡(jiǎn)稱MAS)是一組交互的智能代理,旨在執(zhí)行一組目標(biāo)。費(fèi)伯(J.Ferber)給出了智能體的經(jīng)典定義:“智能體可以是物理或虛擬實(shí)體,可以采取行動(dòng),(部分地)感知其環(huán)境并與他人交流,是自主的,并且具有實(shí)現(xiàn)其目標(biāo)和趨勢(shì)的技能。”[29]筆者認(rèn)為此定義突顯了智能體的四個(gè)基本屬性:

(1)自主性,即智能體是唯一控制自己行為的實(shí)體。這意味著行動(dòng)與否的選擇僅由它自己的行為驅(qū)動(dòng)。

(2)感知性,即智能體能夠局部感知信息并在局部采取行動(dòng)的環(huán)境(實(shí)際的或虛擬的)中進(jìn)化,此環(huán)境是智能體外部的所有目標(biāo)或內(nèi)容,充當(dāng)交互媒介,可由智能體感知。

(3)交互性,即智能體能夠直接或通過環(huán)境與其他智能體進(jìn)行交互或通信,其他智能體是人工環(huán)境的一部分。

(4)認(rèn)知性,即智能體對(duì)其環(huán)境有部分了解,并擁有自己的資源和技能。

根據(jù)此定義,智能體就是一個(gè)“感知-決策-行動(dòng)”系統(tǒng)。感知是從環(huán)境獲得信息,決策是選擇行動(dòng),行動(dòng)是選擇結(jié)果的運(yùn)用。這種MAS通常在適應(yīng)性方面具有特別的功能,即智能體可以改變自己的行為以及與其他智能體及其環(huán)境的關(guān)系,而且整個(gè)MAS可以刪除或添加新的智能體。

顯然,MAS的這種靈活性使其能夠高效地應(yīng)對(duì)不確定環(huán)境。MAS之所以具有這種類人的能力,是因?yàn)镸AS中針對(duì)問題做決策的智能體通常需要一個(gè)語(yǔ)境來(lái)進(jìn)行推理和決策,進(jìn)而產(chǎn)生我們可以理解的行動(dòng)(意義)。這意味著,在表征的層次上,任何問題的命題或陳述都是有其語(yǔ)境的,由于人工智能本質(zhì)上是解決問題的,因而是語(yǔ)境敏感和語(yǔ)境依賴的。因此,語(yǔ)境建模對(duì)于人工智能是必要的,比如一個(gè)自適應(yīng)語(yǔ)境學(xué)習(xí)模式由一個(gè)開發(fā)機(jī)制和一個(gè)適應(yīng)機(jī)制構(gòu)成,二者都與環(huán)境相互作用,通過感知與行動(dòng)構(gòu)成一個(gè)反饋循環(huán)[30]。這種語(yǔ)境學(xué)習(xí)的多智能體AMASCL(Adaptive Multi-Agent Systems for Context Learning)通過使用智能體的合作自組織實(shí)現(xiàn)了這種適應(yīng)性。研究表明,通過最大限度地減少對(duì)所研究系統(tǒng)的假設(shè),該方法可用于各種復(fù)雜的現(xiàn)實(shí)世界問題,如復(fù)雜系統(tǒng)控制、機(jī)器人或環(huán)境系統(tǒng)。通過使用此方法,用戶在設(shè)備上執(zhí)行的每個(gè)操作都被視為反饋,用戶不僅反饋了當(dāng)前的設(shè)備行為能否滿足需求,而且還提供了足夠的動(dòng)作來(lái)執(zhí)行。比如適應(yīng)性多智能體系統(tǒng)(Adaptive Multi-Agent System,簡(jiǎn)稱AMAS),通過實(shí)驗(yàn)實(shí)現(xiàn)的適應(yīng)性學(xué)習(xí)器(Adaptive Learner by Experiments,簡(jiǎn)稱ALEX),就運(yùn)用基于演示學(xué)習(xí)(Learning from Demonstration)的方法來(lái)應(yīng)對(duì)這一挑戰(zhàn)[31]?；谘菔镜膶W(xué)習(xí)方法可將演示期間觀察到的內(nèi)容推廣到類似人類的情況,使其與系統(tǒng)的交互盡可能自然。也就是說,AMAS通過ALEX能夠動(dòng)態(tài)學(xué)習(xí)和重用指導(dǎo)者執(zhí)行的語(yǔ)境,而且每個(gè)ALEX創(chuàng)建并自組織其語(yǔ)境智能體,以共同產(chǎn)生用戶滿意的行為。實(shí)驗(yàn)表明,兩個(gè)ALEX實(shí)例可以在沒有直接交互的情況下進(jìn)行協(xié)作。這樣的過程可通過添加與每個(gè)信號(hào)相關(guān)的感知智能體來(lái)完成,這些智能體將負(fù)責(zé)了解它們對(duì)語(yǔ)境智能體的效用并與之合作。

當(dāng)然,就像人有自己的目標(biāo)或需求一樣,單個(gè)智能體也可能是“自私的”,有自己的目標(biāo)或需求。這種“自私”需求可能與某些全局目標(biāo)一致,也可能不一致。而MAS必須奉行合作原則,在這種合作系統(tǒng)中,每個(gè)智能體努力實(shí)現(xiàn)共同目標(biāo),以克服單個(gè)智能體的“自私性”。因此,多智能體系統(tǒng)是一種“集體合作”行為體,其中適合語(yǔ)境行為對(duì)于MAS中的智能體格外重要,即MAS作為一個(gè)整體行為必須適合其語(yǔ)境。這意味著MAS的適合語(yǔ)境行為比單個(gè)智能體行為適合其語(yǔ)境更加困難。單個(gè)智能體的語(yǔ)境總是包括其他智能體,而其他智能體在某種程度上可能是不確定和不可預(yù)測(cè)的,并且它們本身的行為方式也受其自身語(yǔ)境的影響。所以,單個(gè)智能體也有機(jī)會(huì)從其他智能體那里獲得信息,以更好地了解它們的語(yǔ)境,但代價(jià)是增加了復(fù)雜性、工作量和時(shí)間。

合作性要求MAS必須是開放的。這就是開放式多智能體系統(tǒng)(Open Multi-Agent System,簡(jiǎn)稱OMAS),其中智能體是自由移動(dòng)的,并且可能不受同一實(shí)體的控制。然而,OMAS的信任決策可能由于一些因素而變得困難。比如“自私的”智能體(邪惡的智能體)通常具有隱藏的或其他不可預(yù)測(cè)的效用函數(shù),因此OMAS需要觀察它們的行為,以檢測(cè)其模式可信度。又如,一種基于語(yǔ)境智能體的信任系統(tǒng)使用了明確表征的語(yǔ)境知識(shí)來(lái)幫助智能體識(shí)別和應(yīng)對(duì)“自私的”智能體[32]。其具體做法是:智能體使用被稱為語(yǔ)境圖示的已知語(yǔ)境或情境,包括環(huán)境特征、當(dāng)前目標(biāo)和可能的跡象或線索,選擇一個(gè)或多個(gè)匹配的語(yǔ)境圖示,實(shí)質(zhì)性地標(biāo)出當(dāng)前語(yǔ)境,然后語(yǔ)境圖示會(huì)針對(duì)這種情況給出適當(dāng)?shù)牟呗浴＿@種信任系統(tǒng)中的語(yǔ)境圖示與適用于所表征語(yǔ)境實(shí)例的所有情況的策略相關(guān)聯(lián),其中的語(yǔ)境是根據(jù)策略的變化來(lái)界定的。這就是MAS的語(yǔ)境化表征或語(yǔ)境建模。比如,語(yǔ)境建模的樹表征可作為MAS——樹作為根隱喻,決策者需要一種可視化表征,將開發(fā)實(shí)際所需的所有語(yǔ)境信息聚集在一起,并允許其方便識(shí)別每個(gè)實(shí)際輸出的表征[33]。

為了說明MAS系統(tǒng)如何工作,惠特塞爾(L.Whitsel)和特納(R.M.Turner)提出了一個(gè)思想實(shí)驗(yàn):兩個(gè)智能體Z和X組成的OMAS系統(tǒng),其中Z是長(zhǎng)期使用的成員。人們對(duì)X的行動(dòng)進(jìn)行長(zhǎng)期觀察,形成了它的歷史語(yǔ)境。將X標(biāo)記為值得信賴的,從而在處理X時(shí)使用了合作策略。在觀察系統(tǒng)中的活動(dòng)時(shí),人們注意到X受到Z的良好對(duì)待,但X對(duì)Z進(jìn)行了不準(zhǔn)確的負(fù)面聲譽(yù)報(bào)告,即誹謗Z。該系統(tǒng)中的智能體會(huì)對(duì)這種情況產(chǎn)生許多假設(shè),諸如“X試圖破壞Z”“Z的聲譽(yù)低于應(yīng)有的水平”“X并不像我們想象的那么值得信賴”等。這些假設(shè)一起或單獨(dú)使用,能通過語(yǔ)境化識(shí)別一個(gè)新的語(yǔ)境,并推薦OMAS應(yīng)該使用的新策略。作為語(yǔ)境識(shí)別的結(jié)果,OMAS應(yīng)該修改它所持有的信念,以反映關(guān)于X行為影響的新假設(shè)和信念。具體做法是:首先,OMAS可能會(huì)添加關(guān)于X和Z關(guān)系的新假設(shè),這將需要提出一個(gè)新的持久假設(shè)。其次,OMAS應(yīng)該降低對(duì)Z聲譽(yù)的信心,因?yàn)樗鼞岩蒟的誹謗損害了Z的聲譽(yù)。由于信念是在每個(gè)決策周期開始時(shí)重新生成的,因此僅僅更新當(dāng)前周期的事實(shí)是不夠的。相反,OMAS的語(yǔ)境化需要修改跟蹤和分析工作知識(shí),以便OMAS做出正確的決策。最后,OMAS應(yīng)該放棄其舊的固有假設(shè),即X是值得信賴的,并通過修改分析做出決策的知識(shí)來(lái)防止它再次出現(xiàn),如斷言X傾向于誹謗Z。

總之,MAS由自主實(shí)體組成,通常被設(shè)計(jì)為自治的,其趨勢(shì)是減少人為干預(yù),以便在環(huán)境發(fā)生變化時(shí)維護(hù)系統(tǒng)的某些屬性或活動(dòng)。這種系統(tǒng)被稱為“自維護(hù)”“自修復(fù)”或“自組織”系統(tǒng),當(dāng)然也是一種適應(yīng)性表征系統(tǒng)。這種屬性使得MAS能夠有效地處理非線性、開放性和不確定性的動(dòng)態(tài)系統(tǒng),如城市交通系統(tǒng)。

五、人工智能的語(yǔ)境性與組合性

鑒于語(yǔ)境概念使用的廣泛性,其語(yǔ)境性(contextuality)必然是一種跨學(xué)科現(xiàn)象[34],即在各個(gè)科學(xué)中都可觀察到并使用,特別是在物理學(xué)、語(yǔ)言學(xué)、人工智能和認(rèn)知科學(xué)領(lǐng)域。

根據(jù)日本學(xué)者丸山(Y.Maruyama)的研究,語(yǔ)境在哲學(xué)上具有本體論、認(rèn)識(shí)論和方法論上的語(yǔ)境性。本體論的語(yǔ)境性是指,主體存在于語(yǔ)境中,其中的實(shí)體與環(huán)境密不可分。這種本體論的語(yǔ)境性源于海德格爾的哲學(xué),與情境人工智能、嵌入式-具身人工智能和海德格爾式人工智能有關(guān)。認(rèn)識(shí)論中關(guān)于真理的語(yǔ)境性是說,真理是語(yǔ)境的函數(shù),一個(gè)命題在一種情況下可能為真,在另一種情況下可能為假,也就是在不同語(yǔ)境中,命題可能有不同的真值。這種認(rèn)識(shí)論的語(yǔ)境論源于維特根斯坦后期哲學(xué)。方法論的語(yǔ)境性是關(guān)于語(yǔ)言中意義的語(yǔ)境性,即單詞在語(yǔ)境中獲得意義,它們的含義在不同語(yǔ)境中可能不同,語(yǔ)境在意義確定過程中的不可或缺性導(dǎo)致了某種弱奎因式語(yǔ)義整體論(沒有更廣語(yǔ)境就沒有意義)。這實(shí)際上是弗雷格“語(yǔ)境原則”(詞的意義由其語(yǔ)境決定)的擴(kuò)展版。

認(rèn)知的這種語(yǔ)境性在量子力學(xué)中特別明顯。這就是量子力學(xué)中關(guān)于測(cè)量實(shí)在的語(yǔ)境性,即量子的測(cè)量值及其統(tǒng)計(jì)數(shù)據(jù)存在于測(cè)量語(yǔ)境中,可能不存在測(cè)量值和概率的全局分配。量子力學(xué)中的這種語(yǔ)境性源于貝爾和科亨-施佩克爾的No-Go定理(Bell’s and Kochen-Specker’s No-Go)對(duì)經(jīng)典(非局部)實(shí)在論的反駁。這就是著名的量子非局域性。這種非局域的語(yǔ)境性意味著在所涉及的不同語(yǔ)境中,所有變量的值或概率分布沒有一致的分配。換句話說,測(cè)量值或測(cè)量統(tǒng)計(jì)數(shù)據(jù)基本上取決于特定的測(cè)量語(yǔ)境。我們可以在每個(gè)語(yǔ)境中測(cè)量每個(gè)變量,但當(dāng)組合在一起時(shí),由此獲得的結(jié)果作為一個(gè)整體并不一致。因此,量子力學(xué)中的真值是語(yǔ)境依賴的,即物理命題的真值只存在于特定的測(cè)量語(yǔ)境中。

量子測(cè)量的語(yǔ)境性可能導(dǎo)致認(rèn)知在量子力學(xué)中的體現(xiàn),即導(dǎo)致量子認(rèn)知科學(xué)的產(chǎn)生(3)量子認(rèn)知科學(xué)的出現(xiàn)意味著:如果物理學(xué)和認(rèn)知科學(xué)都存在共同的結(jié)構(gòu)機(jī)制,它將為克服物質(zhì)和心智的笛卡爾二元論鋪平道路,就像查爾默斯的屬性二元論或信息的雙面理論旨在闡明控制物質(zhì)和認(rèn)知的實(shí)在規(guī)律信息的高級(jí)結(jié)構(gòu)定律一樣。它最終可能導(dǎo)致查爾默斯屬性二元論或信息雙面理論的科學(xué)合理化。適應(yīng)性表征作為一個(gè)概念框架,試圖將物理科學(xué)和認(rèn)知科學(xué)統(tǒng)一起來(lái),量子認(rèn)知科學(xué)若成立,也一定是適應(yīng)性表征系統(tǒng)。。我們知道,在認(rèn)知科學(xué)中,語(yǔ)境性在理性上非常突出,即認(rèn)知行為是語(yǔ)境的函數(shù)(與語(yǔ)境共變)。因此,一個(gè)問題在不同語(yǔ)境中可能有不同的答案,現(xiàn)實(shí)世界中共存的信息和環(huán)境噪音等情境效應(yīng)可能會(huì)影響或改變認(rèn)知決策的結(jié)果。這意味著,認(rèn)知和智能不是存在于真空中的,它們是嵌入的、具身的和情境化的。如果說認(rèn)知的語(yǔ)境性是由行動(dòng)者集體狀態(tài)動(dòng)態(tài)的統(tǒng)計(jì)性和實(shí)驗(yàn)設(shè)置的特殊結(jié)構(gòu)引起的,那么量子的語(yǔ)境性就是由其單態(tài)動(dòng)力學(xué)的統(tǒng)計(jì)性和特殊狀態(tài)或操作的存在引起的。語(yǔ)境性可能是溝通物理系統(tǒng)和認(rèn)知系統(tǒng)的橋梁,因?yàn)檎Z(yǔ)境性具有強(qiáng)烈的適應(yīng)性表征特征,或者說,適應(yīng)性表征本身就是基于語(yǔ)境的。

然而,有一個(gè)問題需要澄清,那就是組合性和語(yǔ)境性之間的區(qū)別[35]。在哲學(xué)和社會(huì)科學(xué)中,實(shí)體的語(yǔ)境性較為突出,而在認(rèn)知科學(xué)和人工智能中,組合性較為突出,尤其是人工智能的知識(shí)表征,其表現(xiàn)出的智能更多是行為的組合(模塊化、積木組合)。丸山將實(shí)體在不同領(lǐng)域或?qū)W科表現(xiàn)出的這兩種特征概括為組合性原則和語(yǔ)境性原則。

組合性原則:整體(表達(dá))的意義是其各部分的含義(以及它們組合在一起的語(yǔ)法方式)的功能,并完全由其決定。這基本上是原子論觀念。原子表達(dá)式的含義遞歸生成更復(fù)雜的表達(dá)式的含義。在人工智能中,組合性被認(rèn)為是語(yǔ)言生產(chǎn)力、系統(tǒng)性和學(xué)習(xí)性的來(lái)源,如明斯基(M.Minsky)的《心智社會(huì)》所描述的那樣。由于組合性,我們可以系統(tǒng)地創(chuàng)建新的表達(dá)方式,因此我們可以說,人工智能的知識(shí)表征主要是基于組合性的。

語(yǔ)境性原則:單詞(或更復(fù)雜的表達(dá))的含義是語(yǔ)境的函數(shù),并且只能在語(yǔ)境中確定;部分的意義取決于圍繞它們的更大整體。這基本上是關(guān)于意義的整體論?？虻恼w論可被認(rèn)為是一種強(qiáng)語(yǔ)境論形式。在原子論中,部分先于整體,整體是次要的;而在整體論中,部分只作為整體的一部分存在。

可以看出,組合性原則給出了形式語(yǔ)言學(xué)、符號(hào)邏輯和編程語(yǔ)言理論中占主導(dǎo)地位的語(yǔ)義學(xué)范式。相比而言,語(yǔ)境性原則似乎顯得微不足道。二者之間貌似存在著不可調(diào)和的矛盾。在我看來(lái),二者的矛盾可通過適應(yīng)性表征來(lái)消除。因?yàn)檎J(rèn)知的組合性和語(yǔ)境性都具有目標(biāo)導(dǎo)向的適應(yīng)性和表征性,它們是適應(yīng)性表征這枚“硬幣”的兩面?；蛘哒f,實(shí)體的組合需要語(yǔ)境作為介導(dǎo),因?yàn)閷?shí)體的范疇是語(yǔ)境化的。簡(jiǎn)言之,凡是需要使用語(yǔ)言描述的對(duì)象或目標(biāo),不管它們是組合性的還是語(yǔ)境性的,都離不開語(yǔ)境。因此,系統(tǒng)或?qū)嶓w的語(yǔ)境性蘊(yùn)含了其組合性。

機(jī)器人的語(yǔ)境感知建模就是一個(gè)典型例子[36]。在這個(gè)例子中,情境化的語(yǔ)義智能體在計(jì)算機(jī)系統(tǒng)中體現(xiàn)了上述兩個(gè)原則的統(tǒng)一。這可通過沃森(P.Vossen)等人設(shè)想的一個(gè)社交機(jī)器人L的行為來(lái)說明。假設(shè)L具有認(rèn)知能力和溝通技巧,以支持其社交行為。打開電源后,L會(huì)掃描環(huán)境中的對(duì)象和人員,并將它們與新的實(shí)例化語(yǔ)境相關(guān)聯(lián)。接下來(lái),L嘗試通過推理以前的語(yǔ)境或詢問可用的來(lái)源來(lái)確定其位置。在遇到人時(shí),L嘗試辨別是第一次見到此人,還是過去已經(jīng)認(rèn)識(shí)。在這種情況下,一個(gè)認(rèn)識(shí)序列就被初始化了。隨后,L通過提問或陳述來(lái)等待與此人發(fā)起對(duì)話。這個(gè)過程意味著讓機(jī)器人處于某個(gè)語(yǔ)境中,就像人的語(yǔ)境化一樣。沃森等人還定義了機(jī)器人L的四個(gè)層次:傳感器處理層、響應(yīng)傳感器輸入或內(nèi)部驅(qū)動(dòng)器的通信層、處理問題和陳述的語(yǔ)言處理層,以及查詢或存儲(chǔ)通信結(jié)果或訪問Web的知識(shí)層。他們?cè)趥鞲衅魈幚韺又欣昧藥讉€(gè)現(xiàn)成的模塊——用于語(yǔ)音檢測(cè)的WebRTC,用于對(duì)象識(shí)別的初始神經(jīng)網(wǎng)絡(luò),用于人臉識(shí)別的OpenFace和用于語(yǔ)音識(shí)別的Google Cloud Speech-to-Text(簡(jiǎn)稱API)。這些現(xiàn)成的模塊可被視為不同的已知語(yǔ)境,它們的組合與合作可被視為不同語(yǔ)境的組合和變換。

六、結(jié)束語(yǔ)

綜上所述,人的行為是語(yǔ)境介導(dǎo)的行為(context-mediated behavior),人工系統(tǒng)和機(jī)器人的行為若要有(類人)智能,也應(yīng)該是這樣。這就是系統(tǒng)或?qū)嶓w的語(yǔ)境化或語(yǔ)境建模。未來(lái)的通用人工智能也一定是語(yǔ)境化的,是作為適應(yīng)性表征系統(tǒng)實(shí)現(xiàn)的。因此,對(duì)于人工智能來(lái)說,適合語(yǔ)境的行為與人類一樣是十分重要的。畢竟,無(wú)法針對(duì)其將要實(shí)施的語(yǔ)境做出適當(dāng)行為的機(jī)器人,即不能很好適應(yīng)其語(yǔ)境的機(jī)器人,原則上是無(wú)用的。尤其是用于模擬人類行為的智能體“虛擬人”(virtual human)[37]更需要語(yǔ)境作為介導(dǎo),因?yàn)楸M管這種虛擬人目前只存在于計(jì)算機(jī)這種特殊語(yǔ)境中,但有著極其廣泛的應(yīng)用,從軍事和社會(huì)模擬到商用視頻游戲無(wú)處不在?？梢灶A(yù)計(jì),使用語(yǔ)境為人工智能建模是未來(lái)人工智能發(fā)展的一個(gè)主要方向,一種實(shí)現(xiàn)通用人工智能的有效方法論。