形勢語義學及其與計算機語言學關系現狀簡介

摘要：作為從20世紀70年代開始逐漸發展出來的一個新的理論，形式語義學最初的研究始于蒙太古運用數理邏輯方法進行對英語的研究。在語言學家和哲學家的共同努力，這一研究發展成為一個獨立的學科。形式語義是理論語言學與計算語言學之間的橋梁，因此形式語義學在今天這個信息技術時代地位越來越重要。

關鍵詞：語言學 語義學 計算機語言學

一、 形式語義學

語言學研究的是語言的體系，反映在兩個方面：第一個是語言學在語言，形態，句法等層面上的描寫分工；第二個是描寫各層面上的內部系統的狀態和關系。隨著語言學學科的發展，語言學的研究方向越來越寬，語義學越來越受到重視。交流的語言由聲音，文字，語法構成，語言的語義是語言學研究的目的。語義學研究采用研究人工語言的方法研究自然語言，形式語義學是介于語言學和邏樣學之間的交叉學科，它的起源可以追溯到德國邏輯學家Frege。他的主張是使用邏輯的方法來研究語言意義。隨后，經Wittgenstein， Rnssel， Carnap等人將邏輯和哲學結合起來研究，使很多意義現象得到了較為精確的刻畫。上世紀70年邏輯學家兼哲學家蒙太古奠定了形式語義學的基本輪廓。從此形式語義學在語言學界得到了廣泛的討論，形式語義學研究也在諸多方而取得了進展。形式語義學的理論根據是理論語言學為語言研究，研究工具是以數理邏輯的方法，目標是對自然語言的語義進行形式化描述，從而到達機器對自然語言的自動理解。最近的30年，形式語義學在國際上發展迅猛，新的理論不斷涌現，并且與理論語言學、計算語言學交叉互動。

在形式語義學走向成熟和發展的過程中做出過重要貢獻的學者包括道蒂、帕蒂、庫珀等等。已經形成許多具有廣泛影響力的形式語法理論主要包括：詞匯功能語法、動態句法學、情境語義學、范疇語法、樹鄰接語法等等。至今，上述理論中的每種理論都仍有大量學者進行研究。這些充分說明形式語言學已經日趨成熟，逐步形成了所謂語言和邏輯交叉研究的風格，既推動了語言學的發展，也引起了對自然語言信息處理領域的高度重視。

但是形式語言學所討論的問題主要是以英語為對象語言的研究，缺少對其他自然語言所開展的相關研究。在國內語言學界，有很多文獻是研究漢語句式，但尚不多見應用形式語言學方法對漢語各種句式進行刻畫和計算的專著。將漢語句式中所表達的語義內容轉化為經得起計算機語言自動分析檢驗的形式化的邏輯表達式，這個研究不但是語言學領域期待的，而且是中文信息處理領域迫切需要的。

二、形勢語義學與計算機語言學

計算語言學家馮志偉教授曾指出：“計算機對自然語言的研究和處理，一般應該經過如下三個方面的過程：第一，把需要研究的問題在語言學上加以形式化，使之能以一定的數學形式嚴密而規整地表示出來；第二，把這種嚴密而規整的數學形式表示為算法，使之在計算上形式化；第三，根據算法編寫計算機程序，使之在計算機上加以實現”。形式語義學做的就是這一工作，我們可以說形式語義是理論語言學與計算語言學之間的橋梁。如果沒有形式語義學做中介，理論語言學很難直接與計算語言學中的自然語言語義處理做對接，因此形式語義學在今天這個信息技術時代地位越來越重要。

自然語言作為人類知識的主要載體，人類用來表達、保存、傳播、傳承知識，進行知識的創新。在今天這個高速發展的時代，對自然語言信息的分析處理，已成為社會持續發展的必然要求。語言信息處理已經超越計算語言學的范疇，成為計算科學、語言學、邏輯學和人工智能等多種學科共同關注的領域。

直接借助自然語言，在人與計算機之間實現信息交流是自然語言信息處理的目標。這項任務分應用部分和理論研究。應用部分指的是建立各種處理自然語言的計算機應用軟件系統和建設語言信息處理的基礎資源。這主要是計算語言學的任務。理論研究的目的是發現語言的內在規律來探索語言理解和生成的計算方法。這一任務應該由有形式語義學背景的語言學家擔當。但是現狀是令人擔憂的，語言學研究與自然語言處理存在脫節現象。2008年12月清華大學孫茂松教授在首都師范大學召開的語言學學科建設討論會上就指出：我國的語言學家和計算語言學家在上個世紀八九十年代曾有過一段甜蜜的合作階段，但現在雙方在一起合作的現象少了。在過去30年里，計算語言學重點放在語形處理上，理論語言學為句法結構分析提供成熟的理論支持，從而語言學和計算語言學有很多合作。隨著語形處理技術日趨成熟，其技術潛力也基本被挖掘殆盡，技術并未得到實質提升。這種現象很大程度上可以歸因于自然語言形式語義分析技術的滯后。

近幾十年來，隨著自然語言處理這一研究方向的興起，語言學、邏輯學、計算機科學緊密地結合在了一起。計算機信息技術要求人們在邏輯的框架內去描述自然語言的特征。邏輯的應用范圍擴大到語言學和計算機人工智能科學等領域，語言學的研究也逐漸融入了大量邏輯學方法，尤其在形式語言學領域，邏輯方法更是受到廣泛關注。

漢語部分句式的語義問題是我們首要關心的。自然語言有別于人工語言的最顯著形式是歧義現象。自然語言處理中的核心問題之一對始終是歧義問題的研究。已有很多從不同角度對漢語歧義的研究，但從邏輯語義學的視角對漢語歧義句式進行分析的研究不多見。我們可以遵循典型的邏輯語義的分析對于漢語部分歧義句式進行描述。在這過程中，不可少的兩條原則是語義類重設原則和邏輯謂詞原則。語義類重設原則既考慮到了漢語某些句式的特殊性，又考慮到計算機語言學實現過程中的實際需要；邏輯謂詞原則是出于保證語義描寫過程一致性的考慮。更多地尊重漢語語言的事實，并且也充分考慮到邏輯語義分析的計算機語言實現的可操作性。

三、結語

面向計算語言學的漢語語法研究已經受到一定程度的關注，已經取得了一定的進展。面向計算語言學的漢語語義研究已日漸成為這一領域的主攻方向。從目前的研究來看，基于形式語義的漢語語義研究有很大的研究空間和研究價值。在語義研究的這一方向上，依照語言學分析思路對相關的漢語現象進行形式化的邏輯語義描寫，并在此基礎上選取合適的算法加以計算機語言的實現，無疑對于中文信息處理的相關問題的解決大有裨益。

參考文獻：

[1]Portner，P.Partee，B.H.Formal Semantics：The Essential Readings，Oxford： Blackwell， 2002.

[2]馮志偉.自然語言的計算機處理[M].上海外語教育出版社，1996

[3]呂叔湘.漢語語法分析問題[M].北京：商務印書館，1979.

[4]呂叔湘.歧義類例[J].中國語文，1984（05）

[5]彭家法.當代形式語義學的爭鳴與進展[J].外語學刊，2005 （03）.

[6]吳平.句式語義的形式分析與計算[M].北京語言大學出版社，2007.