漢語指代消解及其推理模式研究

內容簡介

《漢語指代消解及其推理模式研究》以國內外新近相關文獻為基礎，主要圍繞漢語主謂句的邏輯語義、指代消解，以及自然語言的推理模式加以研究。第一章是引論。第二章是基於動態謂詞邏輯的自然語言指代消解。第三章是基於範疇類型邏輯的指代消解和歧義消解。第四章是廣義量詞理論基礎。第五、六章是基於廣義量詞理論的傳統i段論和廣義三段論的有效性及相關語篇推理的形式化研究。第七章是基於廣義量詞理論的亞里士多德模態三段論的有效性及其公理化的探索性研究。

《漢語指代消解及其推理模式研究》創新研究主要分布在第五、六、七章，特色研究是第七章。

《漢語指代消解及其推理模式研究》適合於邏輯學、語言學的教師和研究生，以及對自然語言信息處理、計算機科學中的知識表示和知識推理感興趣的教師、研究生和科研人員閱讀。

圖書目錄

序言

引論

第一節為何面向自然語言信息處理的語言學研究離不開邏輯學

一、開啟語言學與邏輯學的溝通交流模式

二、交叉研究中存在的主要問題及相應對策

三、邏輯、語言、信息與計算的交叉研究亟待加強

第二節何為語言表達式的意義

一、語言表達式的意義是邏輯哲學研究的重要課題

二、意義的靜態理論

三、意義的動態理論

四、意義的算法理論

1．算法理論的形成過程

2．算法理論的理論預設

3．同義概念與等價算法

4．算法理論的思想脈絡

第三節指代消解的主要方法及其機制

一、指代消解的主要方法

二、指代消解的主要機制

1．中介機制

2．動態約束機制

3．加標機制

4．複合機制

5．範疇機制

第一章動態謂詞邏輯

第一節動態謂詞邏輯產生的最初動力

第二節動態謂詞邏輯的動態機制

一、合取式和存在量化式的動態解釋

二、蘊涵式的動態解釋

三、全稱量化式、否定式與析取式的動態解釋

第三節動態謂詞邏輯的形式系統

一、語法和語義

二、意義、真和等值

三、轄域與約束

四、一些邏輯事實

五、動態後承

第四節動態謂詞邏輯的主要特徵

一、組合性的語義特徵

二、表達式的測試特徵

三、變元的復位特徵

第五節動態謂詞邏輯與其相關邏輯的關係

一、動態謂詞邏輯與標準謂詞邏輯的比較

二、動態謂詞邏輯與量化動態邏輯的比較

三、動態謂詞邏輯與話語表現理論的比較

第六節動態謂詞邏輯研究展望

漢語指代消解及其推理模式研究

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條