摘要

自然語言理解的核心問題在於語義理解。首先要求語義解釋是形式化的，不僅人能看得懂，而且在機器上是可操作、可計算的。形式化語義研究的首要內容是將自然語言語句、語段、篇章轉換成高階邏輯公式集或者其他等價形式（轉換規則與語言有關）。本文研究將漢語語句轉換成邏輯公式的過程中需要哪些漢語語法理論支撐。

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

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