意義與計算——論語義計算中的哲學(xué)預(yù)設(shè).pdf

1、語義計算（或意義計算）是自然語言處理和人工智能領(lǐng)域一個核心課題，該研究成果可以廣泛應(yīng)用到文本挖掘、信息搜索、機(jī)器翻譯、人機(jī)交互等領(lǐng)域。在計算主義框架下，語義計算可以看成是計算機(jī)對自然語言語義的理解。一方面，語言哲學(xué)、語義學(xué)等學(xué)科需要為語義計算提供具有可操作性的語義理論，另一方面計算機(jī)學(xué)科需要根據(jù)語義理論進(jìn)行形式化處理以便實現(xiàn)語義計算。正是這兩方面要求形成了一個矛盾，即意義和計算的矛盾。
　　可計算理論認(rèn)為所有可計算的函數(shù)都是通過符

2、號串的變換來實現(xiàn)其計算過程的，即計算就是符號的變換。在這個思想的指導(dǎo)下，語義理論需要給出對自然語言表達(dá)式意義的形式化表征，給出具有形式化規(guī)則的意義概念，這一點(diǎn)邏輯語義學(xué)可以保證。圍繞意義和計算之間潛存的不融貫特性，如果語義計算可行，那么它做出了一系列的哲學(xué)預(yù)設(shè)，包括:真值條件語義學(xué)的意義觀點(diǎn)、意義組合性原則、世界（或語境）的形式化表征。其中真值條件語義學(xué)提供了對每一句自然語言表達(dá)式的意義;意義組合原則解釋了語言的可學(xué)習(xí)性和可理解性;世界

3、的形式化表征則將語義值賦予自然語言表達(dá)式。但是自然語言語義遠(yuǎn)比真值條件復(fù)雜，而且這三大工作假設(shè)并非那么合理，甚至是特設(shè)性假設(shè)。
　　句子的真值條件僅僅是其意義的一部分，而且在真實交流中，存在大量沒有真值但卻有意義的句子，這類句子是完成行為式表達(dá)式，是一種言語行為。這種完成行為式?jīng)]有所謂的真值條件，因為這些句子不在于描述某個事件，而在完成一件事情。所以計算機(jī)要理解自然語言，必須要能理解這種言語行為表達(dá)式。言語行為是一種受規(guī)則支配的行

4、為，如構(gòu)成規(guī)則和調(diào)節(jié)規(guī)則，而且對言語行為意義的理解和說話人的意圖、言語行為發(fā)生的語境關(guān)系非常密切。所以計算機(jī)必須能夠形式化地表征這些規(guī)則、意圖和語境。但是一切知識都可以以命題的形式，甚至可以形式化的形式表達(dá)，這一認(rèn)識論假設(shè)在實際操作中，特別是在形式化構(gòu)造模型或語境時，并不能唯一確定語言的意義。因為規(guī)則、語境或世界以一種整體樣式被我們所理解，這和計算機(jī)以離散的、孤立的數(shù)據(jù)處理對象的本質(zhì)要求不相符合。
　　塞爾借助“中文屋”實驗反駁了

5、計算機(jī)理解自然語言的可能性，認(rèn)為理解并非是句法演算過程，而是由意向性所保證的。有學(xué)者給出了意向性的計算主義解釋，認(rèn)為有選擇的表征和模型構(gòu)建可以模擬心靈的意向性狀態(tài)。但是兩個條件無法真正實現(xiàn)系統(tǒng)的意向性，作為生物所共有的深層背景和人類獨(dú)有的局部文化實踐同樣以整體樣式呈現(xiàn)出來。
　　本文并不敢妄下結(jié)論認(rèn)為語義計算是不可實現(xiàn)的，僅僅想表明要實現(xiàn)語義計算所面臨的困難。但有一點(diǎn)我們是確定的，即不能用微世界(mircoworld)理論的簡單推