發(fā)布時間：2024-02-27 17:37

　　涉及三個或三個以上的語句的推理叫做語篇推理。在自然語言中,很多語篇推理都是涉及到包含標準量詞或廣義量詞的量化語句的語篇推理。本文在大量然語言實例的基礎上,利用廣義量詞理論和集合論等知識,對包括傳統(tǒng)三段論和/或廣義三段論在內的語篇推理進行形式化和有效性研究。語篇推理研究是自然語言信息處理的重點和難點,其研究成果不僅能夠有助于語言學與邏輯學交叉研究的發(fā)展,而且有助于計算機科學中的知識表示和知識推理的研究。具體結構安排如下:第一部分主要論述了與涉及量化語句的自然語言語篇推理研究關系最為密切的<1>類型和<1,1>類型廣義量詞。第二部分在闡釋了廣義量詞的單調性概念的基礎上,利用大量自然語言實例,說明了如何把兩個量化語句之間的單調性推理還原為廣義三段論推理。第三部分根據某一廣義量詞單調性與該廣義量詞的三種否定量詞的單調性之間的轉換關系,證明了不同的廣義三段論之間的可化歸關系。第四部分分別對自然語言中由多個傳統(tǒng)三段論組成的語篇推理實例和由多個廣義三段論推理組成的大語篇推理實例進行了研究�？傊�,文章的研究說明:(1)包含兩個量化語句之間的單調性推理,實則是省略了大前提或小前提...

【文章頁數】：58 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 選題背景以及意義
    1.2 國內外研究現狀
        1.2.1 語篇推理方面的研究現狀
        1.2.2 廣義量詞理論方面的研究現狀
2 廣義量詞理論基礎
    2.1 廣義量詞理論
    2.2 <1>類型量詞及其語義定義
    2.3 <1,1>類型量詞及其語義定義
    2.4 基于量詞真值定義的語篇推理
    2.5 量詞的三種否定形式
    2.6 基于量詞的否定關系的語句推理
3 基于廣義量詞單調性的語句推理
    3.1 單調性及廣義量詞的單調性
    3.2 <1>類型量詞單調性及相關推理
    3.3 <1,1>類型量詞單調性及其語句推理
    3.4 包含<1,1>類型單調性量詞的廣義三段論推理
        3.4.1 包含右單調遞增的<1,1>類型量詞的廣義三段論推理
        3.4.2 包含右單調遞減的<1,1>類型量詞的廣義三段論推理
        3.4.3 包含左單調遞增的<1,1>類型量詞的廣義三段論推理
        3.4.4 包含左單調遞減的<1,1>類型量詞的廣義三段論推理
    3.5 量詞的對稱性及其相關推理
4 基于量詞語義性質的廣義三段論間的可化歸關系
    4.1 量詞的單調性關系
    4.2 基于右單調遞增量詞的<1,1>類型量詞的廣義三段論間的可化歸性
    4.3 基于其他單調性量詞的廣義三段論間的可化歸性
5 基于多個三段論的語篇推理
    5.1 基于多個傳統(tǒng)三段論的語篇推理
    5.2 基于多個廣義三段論的語篇推理
6 結束語
參考文獻
致謝



本文編號：3912739