本專著以國內(nèi)外新近相關(guān)文獻(xiàn)為基礎(chǔ)，圍繞漢語語篇推理加以研究，并對語篇推理中經(jīng)常遇到的指代消解、歧義消解和并列關(guān)系的語義分析進(jìn)行了形式化處理。具體內(nèi)容包括：語篇推理中的語義問題、語篇推理的基礎(chǔ)理論廣義量詞理論、語篇推理的形式之一廣義三段論、語篇推理的形式之二模態(tài)三段論、動態(tài)謂詞邏輯、范疇類型邏輯及其應(yīng)用等。本書適合于邏輯學(xué)、語言學(xué)的教師和研究生以及對自然語言信息處理、計(jì)算機(jī)科學(xué)中的知識表示和知識推理感興趣的教師、研究生和科研人員閱讀。
|
