摘要

計算語義研究的是一種可計算的語義表示形式。要使漢語語義分析過程成為一個計算過程，必須將漢語語句抽象為數學表達式。函子是漢語語句與其邏輯式之間的中介形式，它耦合了一個從漢語句子到函子的生成過程與另一個從函子典式到高階謂詞式的轉換過程，從而使構造漢語語句到邏輯公式的自動轉換成為可能。函子兼有邏輯謂詞和動詞核心結構的特點，因此兼有分析語義和理解語義的作用。函子及其自動提取技術可以直接應用於動詞詞義自動分析、派生詞詞典生成、詞典文本轉換數據庫等方面。

_{[目錄 | 語言文字應用 | 其他文獻 | 訂講表格| 查詢 ]}

如有任何意見或建議，歡迎電郵至 hkier-journal@cuhk.edu.hk。