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

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

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

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

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

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