高原
維特根斯坦哲學(xué)能夠為人工智能的發(fā)展帶來啟示,這其中就包括對于人工智能框架問題的啟示。維特根斯坦在其學(xué)術(shù)生涯的早期和晚期對于框架問題給出了截然相反的解答,而其晚期思想的代表作之一的《哲學(xué)語法》中的一些具體內(nèi)容則體現(xiàn)了其對這一問題的具體解答方式。
維特根斯坦作為語言哲學(xué)的主要代表人物之一,其哲學(xué)思想大致可分為早期的邏輯原子主義和晚期的日常語言學(xué)派兩個階段,我們從人類知識學(xué)的角度對其哲學(xué)思想進行解釋,認為維特根斯坦在這兩個時期分別對人工智能框架問題給出了完全相反的兩種解答:早期的解答是“凡是能夠(用形式系統(tǒng))說的事情(知識),都能夠說清楚,而凡是不能(用形式系統(tǒng))說的事情,都應(yīng)該沉默(不是知識)”,知識能被完全建立在形式系統(tǒng)之上;其晚期思想認定日常語言生生不息,創(chuàng)造一套嚴格的語言(形式系統(tǒng))來表述哲學(xué)(全部知識)是不可能的,人們的日常語言(進而部分人類知識)只是一種語言的游戲,知識無法被完全地建立在形式系統(tǒng)之上。論及維特根斯坦哲學(xué)對人工智能科學(xué)的啟示,就像有的學(xué)者指出的那樣,維特根斯坦哲學(xué)的綜合氣質(zhì)對于當(dāng)前“一盤散沙”式的AI研究而言是很具有啟發(fā)性的。
本文從作為維特根斯坦代表性著作之一的《哲學(xué)語法》入手,探討其對“知識無法完全建立在形式系統(tǒng)之上”這一觀點的具體論證。筆者尊重維特根斯坦“哲學(xué)是思考概念”,先行給出在當(dāng)前語境下對形式系統(tǒng)的定義:形式系統(tǒng)由形式語言與推理規(guī)則或轉(zhuǎn)換規(guī)則共同構(gòu)成,而形式語言有語法和語義兩個組成部分,故語法、語義和推理規(guī)則或轉(zhuǎn)換規(guī)則共同構(gòu)成了一個形式系統(tǒng)。
“如果我們考察一個詞的實際的用法,那么我們看到某種波動的東西。在我們的考察中我們用某種較為固定的東西來對抗這種波動的東西。正如人們?yōu)橐惶庯L(fēng)景的不斷地變動的圖像繪制了一幅靜止的畫像一樣”(第一部分,節(jié)149),就像和知識相對應(yīng)的經(jīng)驗世界本身是不斷波動的一樣,一個詞的實際用法也在不斷波動,自然語言對經(jīng)驗世界的描述只可能是簡單、片面和不真實的,而無涉經(jīng)驗的自然語言中的語詞甚至天然就是波動的。即便如此,從始終處在波動之中且無法被我們把握其確切語義的語詞出發(fā)依然能夠構(gòu)造出知識,進而得出知識無法僅建立在形式系統(tǒng)之上的結(jié)論?!叭藗儾荒苷f,邏輯表現(xiàn)了一種理想化的實際,嚴格說來它只適用于一種理想的語言,還有諸如此類的東西。人們至多能說:‘我們構(gòu)造一種理想語言,比如與口語相對;但是,不能說,我們說出了某種只適用于一種理想語言的東西”(第一部分,節(jié)153),維特根斯坦質(zhì)疑了邏輯規(guī)則的唯一性,所謂理想語言(形式系統(tǒng))只能被人們后天構(gòu)造。建立在形式系統(tǒng)之上的知識有無數(shù)可能被構(gòu)建的方式,卻僅有特定的一些邏輯規(guī)則的合法性(如三段論、類比推理、因果推理等)獲得認同,進而從反面說明僅將知識建立在形式系統(tǒng)之上是無法實現(xiàn)的?!霸凇虑槭侨绱诉@般的這個圖示中,‘事情是真正說來是真值函項的作用點?!虑槭且虼耸且粋€真值函項記號系統(tǒng)中的一個表達式。它是這樣一個表達式,即它向我們表明了在此語法的哪一部分在起作用”(第一部分,節(jié)308),“事情是怎樣的”可被看作是一種自然語言的表述,但同樣能夠被形式化地分析,自然語言在這里處于形式語言之先,形式語言則作為一種對自然語言進行分析的、反思性的語言存在,故無法構(gòu)成全部知識?!拔蚁胝f:‘我的期待是以這樣的方式做成的,即無論出現(xiàn)的是什么東西,它們必定均與它一致或者不一致”(第一部分,節(jié)332),對人類智能而言,不在舊有范式下的全新經(jīng)驗可被允許,且總能夠?qū)ξ粗臀磥碛兴A(yù)期,但對(不包含缺省邏輯的)形式系統(tǒng)并非如此,對原命題集合的否定“不意味著任何事情”——原命題集合和對原命題集合的否定將構(gòu)成全集,“什么都說也就什么都沒說”。人類智能之高明就在于它不對全部非原有命題有所預(yù)期,進而原有命題集合與新預(yù)期(命題)之析取將不構(gòu)成全集,進而對人類行為具有指導(dǎo)意義:這亦是缺省邏輯的本質(zhì),缺省邏輯所缺省的部分恰恰是全集與這種析取之差。這里的局限性在于:缺省邏輯只蘊含對缺省內(nèi)容的忽略,但不蘊含對非缺省內(nèi)容的增強,終究是片面的,無法為“以形式系統(tǒng)構(gòu)建全部知識”立論。
從維特根斯坦晚期著作里任意抽取出一節(jié)文字來,或許我們都能夠由此找到一條合適的邏輯“路徑”對“知識無法完全建立在形式系統(tǒng)之上”進行論證,且每條“路徑”都將給我們一些特有的啟發(fā),因為這將是從不同角度對“知識能否完全建立在形式系統(tǒng)之上?”的解答。我們將上述問題的范圍縮小一些,比如縮小到“為何行動的背景知識無法被形式系統(tǒng)全面表征?”于是在保持對問題的解答基本無變化的前提下我們獲得了關(guān)于人工智能框架問題的一些啟發(fā)。
(作者單位:鄭州大學(xué)公共管理學(xué)院)