意義與計算——論語義計算中的哲學預設.pdf

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

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

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

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

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